Computer programming / software development
Results 4633 - 4656 of 8431
Computer programming / software development
Paperback. Reports on an ESPRIT project which has produced a prototype of a comprehensive information systems environment, including languages, methods and tools, for managing the whole process of information systems development and maintenance. Editor(s): Jarke, Matthias. Series: Research Reports Esprit / Project 892.Daida. Num Pages: 558 pages, biography. BIC Classification: UMZ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540562917
- ISBN
- 9783540562917
Paperback
Condition: New
€ 130.39
€ 130.39
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1991. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJM; KJT; UMZ. Category: (G) General (US: Trade). Dimension: 216 x 140 x 9. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540563075
- ISBN
- 9783540563075
Paperback
Condition: New
€ 70.95
€ 70.95
paperback. An introduction to a tool for the development of numerical algorithms that delivers highly accurate and automatically verified results. The text explains advanced computer arithmetic, describes the C and C++ programming languages and gives sample programs. Translator(s): Corliss, G.F. Num Pages: 269 pages, 1 black & white illustrations, biography. BIC Classification: PBT; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 269
- Condition
- New
- SKU
- V9783540563280
- ISBN
- 9783540563280
Paperback
Condition: New
€ 127.69
€ 127.69
Paperback. Editor(s): Hofmann, Georg R. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 368 pages, 60 black & white illustrations, 16 black & white tables. BIC Classification: UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540563730
- ISBN
- 9783540563730
Paperback
Condition: New
€ 84.29
€ 84.29
Cognitive Models and Intelligent Environments for Learning Programming
. Ed(S): Lemut, Enrica; Duboulay, Benedict; D...
hardcover. Proceedings of the NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments for Learning Programming, held near Genova, Italy, March 17-21, 1992 Editor(s): Lemut, Enrica; DuBoulay, Benedict; Dettori, Giuliana. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 312 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1993rd Edition
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540565802
- ISBN
- 9783540565802
Hardback
Condition: New
€ 200.23
€ 200.23
Paperback. Provides a general presentation of the COMANDOS platform, structured into two parts. The first part provides a user view of the platform and focuses on its functionality, on design choices and innovative aspects. The second part gives an overview of the implementation of the platform. Editor(s): Cahill, Vinny; Balter, Roland; Harris, N. R.; Rousset De Pina, Xavier. Series: Research Reports Esprit / Project 2071. Comandos. Num Pages: 312 pages, 6 black & white illustrations, biography. BIC Classification: UFC; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540566601
- ISBN
- 9783540566601
Paperback
Condition: New
€ 67.35
€ 67.35
FME '93: Industrial-Strength Formal Methods: First International Sympo...
. Ed(S): Woodcock, J. C. P.; Larsen, Peter Go...
paperback. The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace. Editor(s): Woodcock, J. C. P.; Larsen, Peter Gorm. Series: Lecture Notes in Computer Science. Num Pages: 695 pages, biography. BIC Classification: UFC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 36. Weight in Grams: 2170.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 695
- Condition
- New
- SKU
- V9783540566625
- ISBN
- 9783540566625
Paperback
Condition: New
€ 145.16
€ 145.16
Paperback / so. Num Pages: 143 pages, black & white illustrations, bibliography. BIC Classification: PBF; PBW; PHU; PNR; UM; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Number of pages
- 143
- Condition
- New
- SKU
- V9783540567059
- ISBN
- 9783540567059
Paperback
Condition: New
€ 71.13
€ 71.13
Paperback. Presenting the proceedings of the 5th Conference on Advanced Information Systems Engineering, held at the University of Paris in June 1993, this volume contains papers on the modelling of information systems, as well as aspects of systems development such as reuse, schema integration and evolution. Editor(s): Rolland, C.; Bodart, Francois; Cauvet, C. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UL; UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 34. Weight in Grams: 2050.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 668
- Condition
- New
- SKU
- V9783540567776
- ISBN
- 9783540567776
Paperback
Condition: New
€ 81.99
€ 81.99
hardcover. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992 Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 416 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540569435
- ISBN
- 9783540569435
Hardback
Condition: New
€ 257.67
€ 257.67
paperback. Containing the proceedings of the 7th European Conference on Object-Oriented Programming, this volume contains selected papers ranging in topic from programming languages and database issues to the analysis, design and reuse of object-oriented programming systems. Editor(s): Nierstrasz, Oscar M. Series: Lecture Notes in Computer Science. Num Pages: 540 pages, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1993rd Edition
- Number of pages
- 540
- Condition
- New
- SKU
- V9783540571209
- ISBN
- 9783540571209
Paperback
Condition: New
€ 75.15
€ 75.15
Paperback. The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs. Series: Lecture Notes in Computer Science. Num Pages: 799 pages, biography. BIC Classification: PBW; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 210 x 40. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 799
- Condition
- New
- SKU
- V9783540571827
- ISBN
- 9783540571827
Paperback
Condition: New
€ 71.33
€ 71.33
paperback. Originally presented as the author's thesis (doctoral--Technische Hochschule in Darmstadt, 1992) under the title: Definition und Visualisierung zeitvarianter Texturen zur optischen Simulation turbulenter Gasbewegung. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 254 pages, 63 black & white illustrations, 22 black & white tables. BIC Classification: UGK; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 400.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540572008
- ISBN
- 9783540572008
Paperback
Condition: New
€ 83.19
€ 83.19
Paperback. Num Pages: 283 pages, 42 black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783540572282
- ISBN
- 9783540572282
Paperback
Condition: New
€ 72.84
€ 72.84
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 8. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540572848
- ISBN
- 9783540572848
Paperback
Condition: New
€ 70.89
€ 70.89
Paperback. Series: Springer-Lehrbuch. Num Pages: 285 pages, 3 black & white tables. BIC Classification: TJF; TJFM; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783540574279
- ISBN
- 9783540574279
Paperback
Condition: New
€ 72.50
€ 72.50
Hardback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 1450.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540574583
- ISBN
- 9783540574583
Hardback
Condition: New
€ 79.09
€ 79.09
Paperback. Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Editor(s): Moller, B.; Partsch, Helmut A.; Schuman, Steve. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783540574996
- ISBN
- 9783540574996
Paperback
Condition: New
€ 71.97
€ 71.97
Foundations of Software Technology and Theoretical Computer Science
Rudrapatna K. . Ed(S): Shyamasundar
Paperback. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory. Editor(s): Shyamasundar, Rudrapatna K. Series: Lecture Notes in Computer Science. Num Pages: 938 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 938
- Condition
- New
- SKU
- V9783540575290
- ISBN
- 9783540575290
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; TBC; TD; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540575351
- ISBN
- 9783540575351
Paperback
Condition: New
€ 70.95
€ 70.95
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1993. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540575498
- ISBN
- 9783540575498
Paperback
Condition: New
€ 70.91
€ 70.91
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; TTBL; UMZ. Category: (G) General (US: Trade). Dimension: 229 x 152 x 9. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540575771
- ISBN
- 9783540575771
Paperback
Condition: New
€ 71.15
€ 71.15
Hardback. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 836.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540576891
- ISBN
- 9783540576891
Hardback
Condition: New
€ 97.16
€ 97.16
Paperback. Fur DOS-, Windows-, UNIX- und Mac-Systeme" Num Pages: 411 pages, 3 black & white illustrations. BIC Classification: UGC; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 645.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 411
- Condition
- New
- SKU
- V9783540577720
- ISBN
- 9783540577720
Paperback
Condition: New
€ 84.79
€ 84.79