Computer programming / software development
Results 4141 - 4160 of 8560
Computer programming / software development
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
€ 70.34
€ 70.34
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
€ 82.32
€ 82.32
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
€ 78.46
€ 78.46
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
€ 78.81
€ 78.81
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
€ 64.11
€ 64.11
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
€ 43.10
€ 43.10
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
€ 78.31
€ 78.31
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
€ 68.33
€ 68.33
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
€ 78.21
€ 78.21
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
€ 78.43
€ 78.43
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
€ 123.36
€ 123.36
Paperback. Series: Betriebs- und Wirtschaftsinformatik. Num Pages: 218 pages, black & white illustrations, bibliography. BIC Classification: KJQ; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783540526285
- ISBN
- 9783540526285
Paperback
Condition: New
€ 79.49
€ 79.49
paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 199 pages, 18 black & white illustrations. BIC Classification: UKN; UL; UMX. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 199
- Condition
- New
- SKU
- V9783540525516
- ISBN
- 9783540525516
Paperback
Condition: New
€ 79.21
€ 79.21
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 183 pages, 4 black & white illustrations, 8 black & white tables. BIC Classification: UKN; UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783540525424
- ISBN
- 9783540525424
Paperback
Condition: New
€ 79.01
€ 79.01
Paperback. Editor(s): Kansy, Klaus; Wisskirchen, Peter. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 132 pages, 14 black & white illustrations. BIC Classification: UML; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 7. Weight in Grams: 265.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 132
- Condition
- New
- SKU
- V9783540525035
- ISBN
- 9783540525035
Paperback
Condition: New
€ 78.49
€ 78.49
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 205 pages, 28 black & white illustrations. BIC Classification: UKS; UMB; UNH; UYF. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783540524878
- ISBN
- 9783540524878
Paperback
Condition: New
€ 79.29
€ 79.29
Paperback. Series: Informatik-Fachberichte. Num Pages: 259 pages, black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 244 x 170 x 14. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783540524670
- ISBN
- 9783540524670
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Editor(s): Endres-Niggemeyer, Brigitte; Herrmann, Thomas A.; Kobsa, Alfred; Rosner, Dietmar. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 175 pages, 8 black & white illustrations, biography. BIC Classification: KCP; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 10. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 175
- Condition
- New
- SKU
- V9783540524137
- ISBN
- 9783540524137
Paperback
Condition: New
€ 79.01
€ 79.01
Paperback. Series: Lecture Notes in Control and Information Sciences. Num Pages: 165 pages, 21 black & white illustrations, biography. BIC Classification: PBF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 9. Weight in Grams: 301.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 165
- Condition
- New
- SKU
- V9783540523611
- ISBN
- 9783540523611
Paperback
Condition: New
€ 62.95
€ 62.95
Hardback. Provides an introduction to formal specification and transformational programming. Series: Monographs in Computer Science. Num Pages: 506 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1106.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540523567
- ISBN
- 9783540523567
Hardback
Condition: New
€ 68.01
€ 68.01