.png){kind=logo}
Computer programming / software development
Results 4729 - 4752 of 8429
Computer programming / software development
Paperback. Third International Conference, CP '97, Linz, Austria, October 29 - November 1, 1997. Series: Lecture Notes in Computer Science. 575 pages, black & white illustrations. Editor(s): Smolka, Gert. Taken from the Third International Conference of Constraint Programming, this volume presents 37 revised full papers, abstracts of two invited talks and three tutorials. The papers address all aspects of constraint programming, including constraint matching, routing and graphs. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UM. Dimension: 232 x 154 x 33. Weight: 748.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer
- Edition
- 1997th Edition
- Number of pages
- 584
- Condition
- New
- SKU
- V9783540637530
- ISBN
- 9783540637530
Paperback
Condition: New
€ 136.50
€ 136.50
Paperback. Series: Objekttechnologie. Num Pages: 404 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UMX; UY. Category: (G) General (US: Trade). 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
- Edition
- 5
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540637769
- ISBN
- 9783540637769
Paperback
Condition: New
€ 55.67
€ 55.67
Paperback. This volume contains 22 revised papers, abstracts or full versions of three invited talks, three tutorials and six presentations. The papers are organized in topical sections on subjects such as: materialized view maintenance; extending DBM features; and managing change in object databases. Editor(s): Bry, Francois; Ramakrishnan, Raghu; Ramamohanarao, Kotagiri. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, biography. BIC Classification: UMN; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1390.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540637929
- ISBN
- 9783540637929
Paperback
Condition: New
€ 73.16
€ 73.16
Paperback. This work provides an overview of co-ordination technology for collaborative applications. It covers organizational co-ordination; agent-based co-ordination; workflow and co-ordination; collaborative work; and technological considerations. Editor(s): Conen, Wolfram; Neumann, Gustaf. Series: Lecture Notes in Computer Science. Num Pages: 368 pages, biography. BIC Classification: UM; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540641704
- ISBN
- 9783540641704
Paperback
Condition: New
€ 70.06
€ 70.06
Hardback. Many-valued logics are increasingly important in different areas of computer science. This book emphasizes automated reasoning, practical applications, and the developments in fuzzy logic and rough set theory. It presents the applications in software specification and electronic circuit verification. Num Pages: 303 pages, 11 black & white tables, biography. BIC Classification: PBWX; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783540645078
- ISBN
- 9783540645078
Hardback
Condition: New
€ 73.16
€ 73.16
Paperback. Num Pages: 156 pages, 22 black & white illustrations. BIC Classification: KJQ; UKN; UL; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 260.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783540645276
- ISBN
- 9783540645276
Paperback
Condition: New
€ 82.27
€ 82.27
Paperback. Series: Springer-Lehrbuch. Num Pages: 310 pages, bibliography. BIC Classification: UMB; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1. Aufl. 1999. Korr. Nachdruck
- Number of pages
- 310
- Condition
- New
- SKU
- V9783540645412
- ISBN
- 9783540645412
Paperback
Condition: New
€ 83.64
€ 83.64
Paperback. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540646549
- ISBN
- 9783540646549
Paperback
Condition: New
€ 71.87
€ 71.87
Paperback. This volume contains papers from a conference on object-oriented programming. They are organized in sections, which include: modelling ideas and experience; design patterns and frameworks; language problems and solutions; distributed memory systems; and extensible objects and types. Editor(s): Jul, Eric. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540647379
- ISBN
- 9783540647379
Paperback
Condition: New
€ 138.06
€ 138.06
Paperback. Taken from the proceedings of the 1st International Workshop on Collective Robotics, part of the Agents' World 1998 conference in Paris, this text includes multi-agent collaboration; collective learning; self-organization; artificial life; simulation; mobile robots; and human-robot collaboration. Editor(s): Drogoul, Alexis; Tambe, Milind; Fukuda, Toshio. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 176 pages, biography. BIC Classification: TJFM1; UMZ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 262.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540647683
- ISBN
- 9783540647683
Paperback
Condition: New
€ 67.79
€ 67.79
Solving Irregularly Structured Problems in Parallel: 5th International...
. Ed(S): Ferreira, Alfonso; Rolim, Jose D. P....
paperback. The proceedings of a symposium on solving irregularly structured problems in parallel. It includes 26 papers, abstracts of four invited talks, and six invited presentations, on applicational and systems aspects arising in the development of parallel solutions to irregularly structured problems. Editor(s): Ferreira, Alfonso; Rolim, Jose D. P.; Simon, Horst D.; Teng, Shang-Hua. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UM; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 1998th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540648093
- ISBN
- 9783540648093
Paperback
Condition: New
€ 72.62
€ 72.62
Paperback. This volume constitutes the post-workshop proceedings of a conference on the implemetation of functional languages. The 21 revised papers are divided into sections including: compilation; types; benchmarking and profiling; parallelism; interaction; language design; and garbage collection. Editor(s): Clack, Chris; Hammond, Kevin; Davie, Tony. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540648499
- ISBN
- 9783540648499
Paperback
Condition: New
€ 71.98
€ 71.98
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
€ 138.38
€ 138.38
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
€ 70.43
€ 70.43
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
€ 84.79
€ 84.79
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
€ 67.60
€ 67.60
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
€ 69.44
€ 69.44
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
€ 74.41
€ 74.41
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
€ 71.25
€ 71.25
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
€ 74.41
€ 74.41
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
€ 72.24
€ 72.24
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
€ 72.90
€ 72.90
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
€ 67.52
€ 67.52
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
€ 51.25
€ 51.25