Computer programming / software development
Results 4021 - 4040 of 8591
Computer programming / software development
Paperback. Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems. Editor(s): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540612544
- ISBN
- 9783540612544
Paperback
Condition: New
€ 67.01
€ 67.01
Paperback / so. Originally presented as the author's thesis (doctoral)--Universit'at M'unchen, 1996. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; TBC; TD; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540611042
- ISBN
- 9783540611042
Paperback
Condition: New
€ 67.71
€ 67.71
paperback. These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems. Editor(s): Gaudel, M-.C.; Woodcock, J. C. P. Series: Lecture Notes in Computer Science. Num Pages: 711 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1996th Edition
- Number of pages
- 711
- Condition
- New
- SKU
- V9783540609735
- ISBN
- 9783540609735
Paperback
Condition: New
€ 132.81
€ 132.81
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; TD; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 10. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609612
- ISBN
- 9783540609612
Paperback
Condition: New
€ 67.91
€ 67.91
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: 150 pages, black & white illustrations, bibliography. BIC Classification: TBC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540609605
- ISBN
- 9783540609605
Paperback
Condition: New
€ 67.73
€ 67.73
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: TGB; TJFM; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609599
- ISBN
- 9783540609599
Paperback
Condition: New
€ 67.57
€ 67.57
Hardback. The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications. The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 248 pages, biography. BIC Classification: UGK; UKX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 1996. 2nd corr. printing 1997
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540609438
- ISBN
- 9783540609438
Hardback
Condition: New
€ 178.94
€ 178.94
Deutscher Multimedia Kongreß ’96: Perspektiven multimedialer Kommun...
. Ed(S): Glowalla, Ulrich; Schoop, Eric
paperback. Deutscher Multimedia Kongre '96, Leipzig, 12.-14. Mai 1996 Editor(s): Glowalla, Ulrich; Schoop, Eric. Num Pages: 424 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540609070
- ISBN
- 9783540609070
Paperback
Condition: New
€ 81.00
€ 81.00
Paperback. Series: Springer-Lehrbuch. Num Pages: 201 pages, black & white illustrations, bibliography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 350.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 201
- Condition
- New
- SKU
- V9783540608608
- ISBN
- 9783540608608
Paperback
Condition: New
€ 79.00
€ 79.00
Paperback / so. Der sichere Einstieg in das Computer-Algebra-system Mathe- matica fur Anwender zum Selbststudium! Leicht verstandlich und gut strukturiert wird der Umgang mit Mathematica sowie die konkrete Losung mathematischer Probleme geschildert. Num Pages: 119 pages, black & white illustrations, bibliography. BIC Classification: PBF; PBW; PHU; UMB. Category: (G) General (US: Trade). Dimension: 234 x 156 x 7. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Number of pages
- 119
- Condition
- New
- SKU
- V9783540607441
- ISBN
- 9783540607441
Paperback
Condition: New
€ 57.73
€ 57.73
Paperback. This text focuses on the development of adequate spatial representations for robot motion planning. The authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: PBM; PBP; TJFM1; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540606208
- ISBN
- 9783540606208
Paperback
Condition: New
€ 66.29
€ 66.29
Paperback / so. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1995. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: AKP; TBC; TBD; TD; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 10. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540606062
- ISBN
- 9783540606062
Paperback
Condition: New
€ 94.23
€ 94.23
paperback. SCM is the discipline of managing software evolution, concerned with controlling evolving software products and supporting teams and activities involved in the development of complex software systems. These papers offer an overview on, and introduce, software configuration management issues. Editor(s): Estublier, Jacky. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1020.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1995th Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540605782
- ISBN
- 9783540605782
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback / so. Series: Iwb Forschungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJM; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540603252
- ISBN
- 9783540603252
Paperback
Condition: New
€ 68.25
€ 68.25
Hardback. Explains how OLE for D&M enables users to introduce and manipulate CAD models within regular text-processing and DTP-documents. This book tells the user why even high-end 3D design objects can be transferred between different systems using easy "drag and drop" operations. Translator(s): Intergraph GmbH. Num Pages: 162 pages, 52 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UGC; UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 471.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 162
- Condition
- New
- SKU
- V9783540602927
- ISBN
- 9783540602927
Hardback
Condition: New
€ 64.05
€ 64.05
Paperback. This text contains the proceedings of the 22nd International Colloquium on Automata, Languages and Programming. The topics addressed in this volume include concurrency, automata, formal languages, algorithms, communication protocols, computational complexity and foundations of programming. Editor(s): Fulop, Zoltan; Gecseg, F. Series: Lecture Notes in Computer Science. Num Pages: 708 pages, biography. BIC Classification: TJFM1; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 35. Weight in Grams: 2150.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 708
- Condition
- New
- SKU
- V9783540600848
- ISBN
- 9783540600848
Paperback
Condition: New
€ 138.94
€ 138.94
paperback. Conventional object-oriented data models are closed: although they allow users to define application-specific classes, they usually come with a fixed set of modelling primitives. Using an extended metaclass concept, this book provides an object-oriented data model for the solution of this problem. Editor(s): Klas, Wolfgang; Schrefl, Michael. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, biography. BIC Classification: PBWH; UMN; UN; UYD. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 12. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1995th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9783540600633
- ISBN
- 9783540600633
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research. Editor(s): Nerode, Anil; Truszczynski, Mirek. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 279 x 216 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540594871
- ISBN
- 9783540594871
Paperback
Condition: New
€ 69.56
€ 69.56
Paperback. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 185 pages, 26 black & white illustrations, 16 colour illustrations, 3 black & white tables. BIC Classification: UGK; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783540593157
- ISBN
- 9783540593157
Paperback
Condition: New
€ 79.17
€ 79.17
Paperback. A manual on the ISO international standard of the programming language, Prolog. It contains a comprehensible full description of the standardized language together with an executable specification. Num Pages: 272 pages, 6 black & white tables, biography. BIC Classification: TGPQ; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 910.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540593041
- ISBN
- 9783540593041
Paperback
Condition: New
€ 135.21
€ 135.21