Computer programming / software development
Results 4561 - 4584 of 8407
Computer programming / software development
Paperback. This volume contains the proceedings of a joint symposium, held in Moscow in June 1990, which provided a platform for scientists and engineers to exchange results and discuss the most recent advances in the fields of information processing, software and systems design automation. Editor(s): Schwartzel, Heinz; Mizin, Igor A. Num Pages: 397 pages, biography. BIC Classification: UL; UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 21. Weight in Grams: 701.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783540526834
- ISBN
- 9783540526834
Paperback
Condition: New
€ 129.44
€ 129.44
Visualisierung von Umweltdaten in Supercomputersystemen
. Ed(S): Bode, Arndt; Dierstein, Rudiger; Gob...
Paperback. Meeting was organized by the Gesellschaft f'ur Informatik and held at the Kernforschungszentrum Karlsruhe. Editor(s): Bode, Arndt; Dierstein, Rudiger; Gobel, Martin; Jaeschke, Andreas. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 128 pages, 12 black & white illustrations. BIC Classification: PSAF; RBGB; RNP; TQSW; UMB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 7. Weight in Grams: 255.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 128
- Condition
- New
- SKU
- V9783540527466
- ISBN
- 9783540527466
Paperback
Condition: New
€ 82.20
€ 82.20
Paperback. Originally presented as the author's thesis (doctoral)--TH Aachen. Series: Fir+Iaw Forschung fur die Praxis. Num Pages: 152 pages, black & white illustrations, bibliography. BIC Classification: KJU; TGXT; UGC; UK; UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 9. Weight in Grams: 215.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 152
- Condition
- New
- SKU
- V9783540527565
- ISBN
- 9783540527565
Paperback
Condition: New
€ 81.97
€ 81.97
Paperback / so. Series: Fir+iaw Forschung Fa1/4r Die Praxis. Num Pages: 231 pages, black & white illustrations, bibliography. BIC Classification: KJC; TBC; TD; UGC; UKP; UMZ. Category: (G) General (US: Trade). Dimension: 216 x 140 x 13. Weight in Grams: 286.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783540527572
- ISBN
- 9783540527572
Paperback
Condition: New
€ 71.61
€ 71.61
Paperback. Originally presented as the author's thesis--Universit'at Erlangen-N'urnberg. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 118 pages, 15 black & white illustrations. BIC Classification: PSAN; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 6. Weight in Grams: 235.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 118
- Condition
- New
- SKU
- V9783540527893
- ISBN
- 9783540527893
Paperback
Condition: New
€ 82.09
€ 82.09
Paperback. Series: Springer-Lehrbuch. BIC Classification: UMZ. Dimension: 205 x 133. Weight in Grams: 1330.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540527909
- ISBN
- 9783540527909
Paperback
Condition: New
€ 45.10
€ 45.10
Paperback. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540528371
- ISBN
- 9783540528371
Paperback
Condition: New
€ 67.31
€ 67.31
Paperback. Num Pages: 168 pages, black & white illustrations, bibliography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 304.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540528531
- ISBN
- 9783540528531
Paperback
Condition: New
€ 82.80
€ 82.80
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 131 pages, black & white illustrations, bibliography. BIC Classification: UKN; UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 7. Weight in Grams: 260.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 131
- Condition
- New
- SKU
- V9783540528548
- ISBN
- 9783540528548
Paperback
Condition: New
€ 82.23
€ 82.23
Paperback. Editor(s): Fasol, Karl H.; Diekmann, Klaus. Series: Fachberichte Simulation. Num Pages: 507 pages, 6 black & white illustrations. BIC Classification: PHU; PN; TJFM; UGK; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 26. Weight in Grams: 870.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 507
- Condition
- New
- SKU
- V9783540529422
- ISBN
- 9783540529422
Paperback
Condition: New
€ 86.29
€ 86.29
Geometrische Verfahren Der Graphischen Datenverarbeitung
. Ed(S): Encarnacao, Jose L; Hoschek, Josef; ...
Paperback / so. Editor(s): Encarnacao, Jose L; Hoschek, Josef; Rix, Joachim (Fraunhofer Institute for Computer Graphics, Darmstadt, Germany). Series: Beitrage Zur Graphischen Datenverarbeitung. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: PBV; UGC; UMB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 20. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540530114
- ISBN
- 9783540530114
Paperback
Condition: New
€ 73.71
€ 73.71
Paperback. Num Pages: 289 pages, black & white illustrations, bibliography. BIC Classification: TBC; TBD; TJFM; UGC; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783540530565
- ISBN
- 9783540530565
Paperback
Condition: New
€ 72.89
€ 72.89
Paperback. Editor(s): Bullinger, Hans-Jorg. Series: IPA-Iao - Forschung und Praxis Tagungsberichte. Num Pages: 133 pages, black & white illustrations, bibliography. BIC Classification: KJU; UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 7. Weight in Grams: 455.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 133
- Condition
- New
- SKU
- V9783540531401
- ISBN
- 9783540531401
Paperback
Condition: New
€ 83.52
€ 83.52
Paperback / so. Editor(s): Bullinger, Hans-Jarg. Series: IPA-Iao Forschung Und Praxis. Num Pages: 213 pages, black & white illustrations, bibliography. BIC Classification: KJC; UKP; UMZ. Category: (G) General (US: Trade). Dimension: 297 x 210 x 12. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783540531418
- ISBN
- 9783540531418
Paperback
Condition: New
€ 74.15
€ 74.15
Paperback. 2nd Proceedings of the International Conference, Montreux, Switzerland, September 1990 Editor(s): Collier, Harry R. Num Pages: 232 pages, 4 black & white illustrations, 23 black & white tables, biography. BIC Classification: PN; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 13. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540531999
- ISBN
- 9783540531999
Paperback
Condition: New
€ 127.57
€ 127.57
Paperback / so. Editor(s): Milberg, Joachim. Series: CIM-Fachmann. Num Pages: 196 pages, black & white illustrations, bibliography. BIC Classification: KJC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 11. Weight in Grams: 304.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540532446
- ISBN
- 9783540532446
Paperback
Condition: New
€ 72.06
€ 72.06
Paperback. Editor(s): Weck, Manfred. Series: Cim-Fachmann. Num Pages: 210 pages, black & white illustrations, bibliography. BIC Classification: KJQ; KJT; KJU; TGXT; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540532491
- ISBN
- 9783540532491
Paperback
Condition: New
€ 83.14
€ 83.14
Kommunikationstechnik fur den Rechnerintegrierten Fabrikbetrieb
. Ed(S): Kuhn, Paul J.; Pritschow, Gunter
Paperback. Editor(s): Kuhn, Paul J.; Pritschow, Gunter. Series: Cim-Fachmann. Num Pages: 238 pages, black & white illustrations, bibliography. BIC Classification: KJQ; KJT; KJU; TGXT; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540532538
- ISBN
- 9783540532538
Paperback
Condition: New
€ 83.50
€ 83.50
Objektorientierte Sprachkonzepte und Diskrete Simulation
Frauenstein, Thomas; Pape, Uwe; Wagner, Olaf
Paperback. Series: Fachberichte Simulation. Num Pages: 304 pages, black & white illustrations, bibliography. BIC Classification: TJFM; UGK; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 17. Weight in Grams: 530.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540532880
- ISBN
- 9783540532880
Paperback
Condition: New
€ 73.04
€ 73.04
Paperback. Editor(s): Biethahn, Jorg; Hummeltenberg, Wilhelm; Schmidt, Bernd. Series: Fachberichte Simulation. Num Pages: 251 pages, black & white illustrations, bibliography. BIC Classification: KCA; KJU; TBJ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783540532897
- ISBN
- 9783540532897
Paperback
Condition: New
€ 83.52
€ 83.52
Paperback. Series: Springer-Lehrbuch. Num Pages: 328 pages, black & white illustrations, bibliography. BIC Classification: KJQ; MBP; UK; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540533030
- ISBN
- 9783540533030
Paperback
Condition: New
€ 83.84
€ 83.84
paperback. Series: Iwb Forschungsberichte. Num Pages: 152 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJM; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 152
- Condition
- New
- SKU
- V9783540533269
- ISBN
- 9783540533269
Paperback
Condition: New
€ 82.03
€ 82.03
Paperback. "Graphische Benutzerschnittstellen" sollen den Umgang mit dem "Werkzeug" Computer erleichtern. Wie man solche Benutzerschnittstellen realisiert, das zeigt das vorliegende Buch. Es liefert den methodischen Leitfaden fur den Entwurf und die praktische Anleitung fur die Programmierung." Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 333 pages, 19 black & white illustrations, 10 black & white tables. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 333
- Condition
- New
- SKU
- V9783540534389
- ISBN
- 9783540534389
Paperback
Condition: New
€ 84.34
€ 84.34
paperback. Organized by the working group Num Pages: 237 pages, 226 black & white illustrations, 28 black & white tables, biography. BIC Classification: PNR; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 14. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 237
- Condition
- New
- SKU
- V9783540535324
- ISBN
- 9783540535324
Paperback
Condition: New
€ 127.69
€ 127.69