Computer programming / software development
Results 2701 - 2720 of 6463
Computer programming / software development
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
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. 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. 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. 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. 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
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
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
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
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: 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. 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)--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. 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. This collection of 13 papers emphasizes methods of studying, analyzing and comparing designs and design methods. The topical focus is primarily in the software architecture level of design and on techniques suitable for dealing with large software systems. Editor(s): Lamb, David Alex. Series: Lecture Notes in Computer Science. Num Pages: 200 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 288.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 200
- Condition
- New
- SKU
- V9783540612858
- ISBN
- 9783540612858
Paperback
Condition: New
€ 65.36
€ 65.36
paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Berlin Heidelberg
- Edition
- 1996th Edition
- Condition
- New
- SKU
- V9783540613992
- ISBN
- 9783540613992
Paperback
Condition: New
€ 54.67
€ 54.67
Paperback. This work presents a survey of logic programs as representational and reasoning tools. It examines the use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning and a variety of knowledge representation formalisms, such as default negation. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMX; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540614883
- ISBN
- 9783540614883
Paperback
Condition: New
€ 67.97
€ 67.97
Paperback. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 251 pages, 60 black & white illustrations, 5 colour illustrations. BIC Classification: RB; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783540615965
- ISBN
- 9783540615965
Paperback
Condition: New
€ 68.96
€ 68.96
Paperback. Series: Springer-Lehrbuch. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 983.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540616924
- ISBN
- 9783540616924
Paperback
Condition: New
€ 88.39
€ 88.39
Paperback. This text presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. Series: Lecture Notes in Logic. Num Pages: 139 pages, biography. BIC Classification: PBCD; PBCH; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 8. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 139
- Condition
- New
- SKU
- V9783540616993
- ISBN
- 9783540616993
Paperback
Condition: New
€ 62.52
€ 62.52