Computer programming / software development
Results 3961 - 3980 of 8559
Computer programming / software development
Paperback. This text presents innovative methods for the solution of multibody descriptor models. It emphasizes the interdependence of modelling and numerical solutions of the arising system of differential algebraic equations and stresses the importance of software development in scientific computing. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 362 pages, 24 black & white illustrations, biography. BIC Classification: PBWH; UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 362
- Condition
- New
- SKU
- V9783540656623
- ISBN
- 9783540656623
Paperback
Condition: New
€ 222.21
€ 222.21
Paperback. Editor(s): Ewers, Harald; Glombitza, Gerald; Lehmann, Thomas; Meinzer, Hans-Peter. Series: Informatik Aktuell. Num Pages: 471 pages, 172 black & white illustrations. BIC Classification: UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 471
- Condition
- New
- SKU
- V9783540656272
- ISBN
- 9783540656272
Paperback
Condition: New
€ 81.84
€ 81.84
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 323 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540655169
- ISBN
- 9783540655169
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Editor(s): Sichman, Jaime S.; Conte, Rosaria; Gilbert, Nigel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 245 pages, biography. BIC Classification: UGK; UMZ; UYQ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 245
- Condition
- New
- SKU
- V9783540654766
- ISBN
- 9783540654766
Paperback
Condition: New
€ 66.41
€ 66.41
Hardcover. Object-Process Methodology (OPM) is an intuitive approach to systems engineering. This book presents the theory and practice of OPM with examples from various industry segments and engineering disciplines, as well as daily life. Num Pages: 455 pages, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 164 x 35. Weight in Grams: 858.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540654711
- ISBN
- 9783540654711
Hardback
Condition: New
€ 120.53
€ 120.53
Hardback. Database technology and entity-relationship modelling have become established technologies. This text presents advances in this field in a comprehensive survey. It deals with the entity-relationship model and its relation with the integrated development and modelling of database applications. Num Pages: 640 pages, biography. BIC Classification: UGK; UMZ; UNS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1072.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783540654704
- ISBN
- 9783540654704
Hardback
Condition: New
€ 67.31
€ 67.31
paperback. Editor(s): Demeyer, Serge; Bosch, Jan. Series: Lecture Notes in Computer Science. Num Pages: 604 pages, biography. BIC Classification: UMN. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 835.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 604
- Condition
- New
- SKU
- V9783540654605
- ISBN
- 9783540654605
Paperback
Condition: New
€ 73.09
€ 73.09
Paperback. Editor(s): Merx, Oliver. Series: X.Media.Interaktiv. Num Pages: 386 pages, black & white illustrations. BIC Classification: UGD; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540654094
- ISBN
- 9783540654094
Paperback
Condition: New
€ 81.00
€ 81.00
Paperback. Series: Springer-Lehrbuch. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540653899
- ISBN
- 9783540653899
Paperback
Condition: New
€ 49.23
€ 49.23
Paperback. This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming. Editor(s): Fuchs, N. E. Series: Lecture Notes in Computer Science. Num Pages: 353 pages, 9 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540650744
- ISBN
- 9783540650744
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. This volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and real-time systems; semantic theory; reasoning and consistency issues; and object orientation. Editor(s): Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540650706
- ISBN
- 9783540650706
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization. Editor(s): Levi, Giorgio. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540650140
- ISBN
- 9783540650140
Paperback
Condition: New
€ 69.35
€ 69.35
paperback. A collection of papers from the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, and the 6th International Conference on Algebraic and Logic Programming. They are organized in sections on topics such as verification, logic programming and term rewriting. Editor(s): Glaser, Hugh; Palamidessi, Catuscia; Meinke, Karl. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540650126
- ISBN
- 9783540650126
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 68.40
€ 68.40
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. These papers present the proceedings of an international workshop on evolutionary robotics. They outline the research and developments in the field and the introductory paper offers a survey of the use of evolutionary computing techniques for the automatic design of adaptive robots. Editor(s): Husbands, Philip; Meyer, Jean-Arcady. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: TJFM1; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540649571
- ISBN
- 9783540649571
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. The proceedings of the Sixth European Workshop on Software Process Technology. It contains 16 papers and 10 position papers which cover all aspects of software process technology, taking into account both the academic point of view as well as the needs of practitioners from industry. Editor(s): Gruhn, Volker. Series: Lecture Notes in Computer Science. Num Pages: 172 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783540649564
- ISBN
- 9783540649564
Paperback
Condition: New
€ 64.89
€ 64.89
Paperback. Editor(s): Dassow, Jurgen; Kruse, Rudolf. Series: Informatik Aktuell. Num Pages: 419 pages, 104 black & white illustrations. BIC Classification: UML; UYQ; UYQL; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783540649380
- ISBN
- 9783540649380
Paperback
Condition: New
€ 81.37
€ 81.37
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in March 1998. This book presents 13 papers, organized topically on typed intermediate languages, program analyses, program transformations and code generation, memory management, and others. Editor(s): Leroy, Xavier; Ohori, Atsushi. Series: Lecture Notes in Computer Science. Num Pages: 308 pages, biography. BIC Classification: UMC; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540649250
- ISBN
- 9783540649250
Paperback
Condition: New
€ 67.61
€ 67.61
Paperback. These papers present the proceedings of an international conference on concurrency theory. They discuss topics which include moduls of computation and semantic domains, process algebras, petri nets, event structures, real-time systems, hybrid systems, model checking and verification techniques. Editor(s): Sangiorgi, Davide; Simone, Robert de. Series: Lecture Notes in Computer Science. Num Pages: 663 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 933.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 663
- Condition
- New
- SKU
- V9783540648963
- ISBN
- 9783540648963
Paperback
Condition: New
€ 132.73
€ 132.73