.png){kind=logo}
Computer programming / software development
Results 5065 - 5088 of 8429
Computer programming / software development
Tool Support for System Specification, Development and Verification
Berghammer, Rudolf. Ed(S): Berghammer, Rudolf...
Paperback. This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies. Editor(s): Berghammer, Rudolf; Lakhnech, Y. Series: Advances in Computing Sciences. Num Pages: 241 pages, 53 black & white illustrations. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 241
- Condition
- New
- SKU
- V9783211832820
- ISBN
- 9783211832820
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Arnaldi, B.; Purgathofer, Werner; Hewitt, W.T.; Hansmann, W.; Hegron, Gerard. Series: Eurographics S. Num Pages: 133 pages, 82 figs. BIC Classification: UG; UGK; UMZ. Category: (G) General (US: Trade); (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. .
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag, Austria Austria
- Number of pages
- 133
- Condition
- New
- SKU
- V9783211832578
- ISBN
- 9783211832578
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Provides a presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, this book also covers the theory and techniques of resultants and Grobner bases. Series: Texts and Monographs in Symbolic Computation. Num Pages: 257 pages, 8 black & white illustrations, biography. BIC Classification: PBF; PBM; PBP; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 257
- Condition
- New
- SKU
- V9783211832417
- ISBN
- 9783211832417
Paperback
Condition: New
€ 128.19
€ 128.19
Paperback. The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more. Editor(s): Brink, Chris; Kahl, Wolfram; Schmidt, Gunther. Series: Advances in Computing Sciences. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMZ; UN; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 287
- Condition
- New
- SKU
- V9783211829714
- ISBN
- 9783211829714
Paperback
Condition: New
€ 67.36
€ 67.36
Paperback. Considers methodological aspects related to design and implementation of symbolic computation systems. This volume describes the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues. Editor(s): Miola, Alfonso; Temperini, Marco. Series: Texts and Monographs in Symbolic Computation. Num Pages: 286 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 286
- Condition
- New
- SKU
- V9783211828441
- ISBN
- 9783211828441
Paperback
Condition: New
€ 130.43
€ 130.43
paperback. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UDB; UMZ; UN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9783211828281
- ISBN
- 9783211828281
Paperback
Condition: New
€ 73.61
€ 73.61
Paperback. Part of the "Eurographics" series, this book presents novel animation techniques and animation systems that simulate the dynamics and interactions of physical objects (solid, fluid and gaseous), as well as the behaviours of living systems, such as plant, lower animals and animals. Editor(s): Veltkamp, Remco C.; Blake, Edwin H. Series: Eurographics. Num Pages: 172 pages, 40 black & white illustrations. BIC Classification: UG; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 10. Weight in Grams: 350.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 172
- Condition
- New
- SKU
- V9783211827888
- ISBN
- 9783211827888
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 220 pages, black & white illustrations, bibliography. BIC Classification: UMX; UMZ; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 220
- Condition
- New
- SKU
- V9783211825785
- ISBN
- 9783211825785
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback / so. Num Pages: 332 pages, black & white illustrations, bibliography. BIC Classification: GPF; PBCD; UMB; UMX; UYF. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 332
- Condition
- New
- SKU
- V9783211825273
- ISBN
- 9783211825273
Paperback
Condition: New
€ 73.88
€ 73.88
Paperback. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Vienna
- Condition
- New
- SKU
- V9783211824504
- ISBN
- 9783211824504
Paperback
Condition: New
€ 78.53
€ 78.53
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCN; PBF; PBW; UL; UMB; UMN; UMX. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211824467
- ISBN
- 9783211824467
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Discussing the translation of programs written in a high level programming language into machine code, this volume deals with all of the major aspects of compilation systems. The discussion of error handling is followed by consideration of code generation and optimization. Num Pages: 176 pages, 19 black & white illustrations, biography. BIC Classification: UL; UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 10. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 176
- Condition
- New
- SKU
- V9783211824313
- ISBN
- 9783211824313
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 17. Weight in Grams: 513.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211824153
- ISBN
- 9783211824153
Paperback
Condition: New
€ 73.42
€ 73.42
Paperback. A volume of conference proceedings which addressed the issues of object-orientation and the need for multi-paradigmatic computer systems. The contributors discussed such topics as artificial intelligence, project management, language features, methodology and software engineering education. Editor(s): Mittermeir, Roland. Num Pages: 252 pages, biography. BIC Classification: UF; UMN; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 495.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 252
- Condition
- New
- SKU
- V9783211824085
- ISBN
- 9783211824085
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. A selection of conference papers which covers actual research aspects of databases, such as deductivity and object orientation, as well as applications for software engineering. The implication of new data models such as the OO-model are included in the modelling sessions. Editor(s): Tjoa, A. Min; Ramos, Isidro. Num Pages: 546 pages, 481 black & white illustrations. BIC Classification: UMN; UN; UYQE. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 279 x 210 x 29. Weight in Grams: 1510.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 546
- Condition
- New
- SKU
- V9783211824009
- ISBN
- 9783211824009
Paperback
Condition: New
€ 73.93
€ 73.93
Paperback. This is an introduction to the basic concepts that underlie various high level computer programming languages. It considers the most important aspects of language processing and illustrates concepts with examples from ADA, PASCAL, MODULA-2, OBERON, C++, SIMULA 67, SMALLTALK-80 and EIFFEL. Num Pages: 208 pages, 50 black & white illustrations. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 12. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 208
- Condition
- New
- SKU
- V9783211823156
- ISBN
- 9783211823156
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 346 pages, black & white illustrations, bibliography. BIC Classification: AV; UB; UDB; UGC; UM; UNH; UTX; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 346
- Condition
- New
- SKU
- V9783211822913
- ISBN
- 9783211822913
Paperback
Condition: New
€ 101.60
€ 101.60
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UB; UF; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211822883
- ISBN
- 9783211822883
Paperback
Condition: New
€ 72.17
€ 72.17
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ; UYF; UYQL. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211822357
- ISBN
- 9783211822357
Paperback
Condition: New
€ 72.70
€ 72.70
Paperback / so. Editor(s): Gottlob, Georg; Fruhwirth, Thom (Universitat Ulm, Germany); Horn, Werner, Dip; Fruhwirth, Thomas. Series: Springers Angewandte Informatik. Num Pages: 232 pages, black & white illustrations, bibliography. BIC Classification: PBCD; UB; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 232
- Condition
- New
- SKU
- V9783211822210
- ISBN
- 9783211822210
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback / so. Illustrator(s): Clauer, Alexander A. Series: Springers Angewandte Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: UG; UMB; UYM; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211822203
- ISBN
- 9783211822203
Paperback
Condition: New
€ 72.32
€ 72.32
Paperback / so. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: TJFM1; UKP; UMZ; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 25. Weight in Grams: 785.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211821718
- ISBN
- 9783211821718
Paperback
Condition: New
€ 75.62
€ 75.62
Paperback / so. Num Pages: 231 pages, black & white illustrations, bibliography. BIC Classification: UMB; UYQ. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 244 x 170 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 231
- Condition
- New
- SKU
- V9783211820797
- ISBN
- 9783211820797
Paperback
Condition: New
€ 72.77
€ 72.77
Paperback / so. Num Pages: 492 pages, black & white illustrations, colour illustrations, bibliography. BIC Classification: TJFM1; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 492
- Condition
- New
- SKU
- V9783211820230
- ISBN
- 9783211820230
Paperback
Condition: New
€ 76.28
€ 76.28