Computer programming / software development
Results 3745 - 3768 of 6615
Computer programming / software development
Paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540631767
- ISBN
- 9783540631767
Paperback
Condition: New
€ 48.54
€ 48.54
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 64.99
€ 64.99
Paperback. This text constitutes the refereed proceedings of the 7th International Workshop on Software Configuration Management, SCM-7, held in conjunction with the 1997 IEEE/CS International Conference on Software Engineering, ICSE'97, in Boston, USA, in May 1997. Editor(s): Conradi, Reidar. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540630142
- ISBN
- 9783540630142
Paperback
Condition: New
€ 66.24
€ 66.24
Paperback. This research report assembles and analyzes reports from real-world applications of advanced techniques for software evolution and reuse in different companies working in different domains and using diverse software development methodologies. Series: Research Reports ESPRIT. Num Pages: 147 pages, 18 black & white illustrations, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 147
- Condition
- New
- SKU
- V9783540628644
- ISBN
- 9783540628644
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 253 pages, 14 black & white illustrations, 9 colour illustrations. BIC Classification: PHDF; UGK; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 253
- Condition
- New
- SKU
- V9783540627081
- ISBN
- 9783540627081
Paperback
Condition: New
€ 69.18
€ 69.18
Paperback. Series: Objekttechnologie. Num Pages: 456 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 636.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540625582
- ISBN
- 9783540625582
Paperback
Condition: New
€ 62.79
€ 62.79
Paperback. Series: VDI-Buch. Num Pages: 83 pages, black & white illustrations, bibliography. BIC Classification: KJU; UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 5. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 83
- Condition
- New
- SKU
- V9783540622628
- ISBN
- 9783540622628
Paperback
Condition: New
€ 77.74
€ 77.74
Paperback. Series: Beitrage zur Graphischen Datenverarbeitung. Num Pages: 175 pages, 7 black & white illustrations, 12 colour illustrations. BIC Classification: UGK; UML. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 175
- Condition
- New
- SKU
- V9783540620945
- ISBN
- 9783540620945
Paperback
Condition: New
€ 68.40
€ 68.40
Paperback. This volume consists of a collection of refereed revised papers selected from the submissions for presentation at the 6th International Workshop on Software Configuration Management, SCM-6, held in conjunction with ICSE '96 in Berlin in March 1996. Editor(s): Sommerville, Ian. Series: Lecture Notes in Computer Science. Num Pages: 299 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 960.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783540619642
- ISBN
- 9783540619642
Paperback
Condition: New
€ 67.11
€ 67.11
Hardback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 2670.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540619437
- ISBN
- 9783540619437
Hardback
Condition: New
€ 196.99
€ 196.99
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 123.68
€ 123.68
Paperback. This volume constitutes the proceedings of the 15th International Conference on Conceptual Modeling, ER'96, held in Cottbus, Germany, in October 1996. The papers cover current aspects of the entity-relationship approach and conceptual modelling. Editor(s): Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, biography. BIC Classification: UGK; UM; UN; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540617846
- ISBN
- 9783540617846
Paperback
Condition: New
€ 71.18
€ 71.18
Paperback. These conference proceedings are organized into sections on frameworks, architectures, evolution, metrics, descriptive approaches, organizational modelling and management, and an industrial experience session. Issues addressed include product modelling and configuration management. Editor(s): Montangero, Carlo. Series: Lecture Notes in Computer Science. Num Pages: 298 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 960.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783540617716
- ISBN
- 9783540617716
Paperback
Condition: New
€ 67.11
€ 67.11
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
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. 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. 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. 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 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. 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