.png){kind=logo}
Computer programming / software development
Results 4393 - 4416 of 8431
Computer programming / software development
Paperback. This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming. Editor(s): Parigot, Michel; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 504 pages, biography. BIC Classification: PBCD; UMX; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540412854
- ISBN
- 9783540412854
Paperback
Condition: New
€ 74.27
€ 74.27
Paperback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540412861
- ISBN
- 9783540412861
Paperback
Condition: New
€ 72.50
€ 72.50
Learning Software Organizations - Methodology and Applications
. Ed(S): Ruhe, Guenther; Bomarius, Frank
Paperback. Editor(s): Ruhe, Guenther; Bomarius, Frank. Series: Lecture Notes in Computer Science. Num Pages: 238 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540414308
- ISBN
- 9783540414308
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. With contributions by numerous experts Editor(s): Wieczorek, Martin; Meyerhoff, Dirk. Num Pages: 288 pages, 84 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 238 x 179 x 17. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540414414
- ISBN
- 9783540414414
Paperback
Condition: New
€ 71.95
€ 71.95
Paperback. The 10 revised papers presented here were carefully reviewed and selected for inclusion and are organized in topical sections on emerging issues in multi-agent systems engineering, co-ordination models and technologies for multi-agent systems, and methodologies and tools. Editor(s): Omicini, Andrea; Tolksdorf, Robert; Zambonelli, Franco. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 150 pages, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540414773
- ISBN
- 9783540414773
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. This work is devoted to investigating and developing the synergy between software engineering for multi-agent systems and agent-based social simulation. The text offers topical sections on model design issues, applications, simulating social relations and processes, and formal approaches. Editor(s): Moss, Scott; Davidsson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540415220
- ISBN
- 9783540415220
Paperback
Condition: New
€ 69.76
€ 69.76
Coordination of Internet Agents: Models, Technologies, and Application...
. Ed(S): Omicini, Andrea; Zambonelli, Franco;...
hardcover. This monograph-like anthology is a systematic guide to models and enabling technologies for the co-ordination of intelligent agents on the Internet and respective applications. Editor(s): Omicini, Andrea; Zambonelli, Franco; Klusch, Matthias; Tolksdorf, Robert. Num Pages: 524 pages, 16 black & white tables, biography. BIC Classification: UDB; UMZ; UT; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 953.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Nature Germany
- Edition
- 2001st Edition
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540416135
- ISBN
- 9783540416135
Hardback
Condition: New
€ 77.83
€ 77.83
Hardback. Editor(s): Muller, Gunter; Reichenbach, Martin. Series: Xpert.press. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 502.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540417033
- ISBN
- 9783540417033
Hardback
Condition: New
€ 78.35
€ 78.35
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 304 pages, 31 black & white illustrations, 1 colour illustrations, 30 black & white tables, biograph. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540417842
- ISBN
- 9783540417842
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 224 pages, 2 black & white illustrations, 14 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 224
- Condition
- New
- SKU
- V9783540417866
- ISBN
- 9783540417866
Paperback
Condition: New
€ 69.14
€ 69.14
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 392 pages, 22 black & white illustrations, 30 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 1260.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540417873
- ISBN
- 9783540417873
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Focusing on increasing software productivity, all current aspects in formal methods are covered in this volume of selected papers. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications. Editor(s): Oliveira, Jose N.; Zave, Pamela. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540417910
- ISBN
- 9783540417910
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. These are the proceedings of the 10th International Conference on Compiler Construction (CC 2001). The 22 revised full papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UL; UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 216 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540418610
- ISBN
- 9783540418610
Paperback
Condition: New
€ 68.29
€ 68.29
Paperback. The refereed proceedings of the 10th European Symposium on Programming, covering various programming paradigms and their integration development of correct, secure and efficient software, systems and type systems, program analysis, and program transformation. Editor(s): Sands, David. Series: Lecture Notes in Computer Science. Num Pages: 438 pages, biography. BIC Classification: UMC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783540418627
- ISBN
- 9783540418627
Paperback
Condition: New
€ 73.12
€ 73.12
Fundamental Approaches to Software Engineering: 4th International Conf...
Heinrich . Ed(S): Hussmann
paperback. This volume comprises papers which are organized in topical sections on various aspects of software engineering. Topics covered include metamodelling, distributed components, UML, testing, formal methods, and case studies. Editor(s): Hussmann, Heinrich. Series: Lecture Notes in Computer Science. Num Pages: 364 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 364
- Condition
- New
- SKU
- V9783540418634
- ISBN
- 9783540418634
Paperback
Condition: New
€ 71.47
€ 71.47
Paperback. Software science topics covered in this text include algebraic, categorical, logical and geometric theories. Also discussed are synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems. Editor(s): Honsell, Furio; Miculan, Marino. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540418641
- ISBN
- 9783540418641
Paperback
Condition: New
€ 72.73
€ 72.73
Paperback. This work constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised papers address all aspects of hybrid systems including algorithms and heuristics and computational tools. Editor(s): Benedetto, Maria D.Di; Sangiovanni-Vincentelli, Alberto L. Series: Lecture Notes in Computer Science. Num Pages: 530 pages, biography. BIC Classification: UK; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 530
- Condition
- New
- SKU
- V9783540418665
- ISBN
- 9783540418665
Paperback
Condition: New
€ 135.60
€ 135.60
Paperback. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 346.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540419419
- ISBN
- 9783540419419
Paperback
Condition: New
€ 49.66
€ 49.66
Concurrent Object-Oriented Programming and Petri Nets
. Ed(S): Agha, Gul A.; Cindio, Fiorella De; R...
Paperback. This volume presents results on Petri nets and concurrent object-oriented programming. The 24 thoroughly reviewed and revised papers are organized in three sections including a detailed approach to integrating Petri nets and object-orientation, and concrete examples to demonstrate the approach. Editor(s): Agha, Gul A.; Cindio, Fiorella de; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540419426
- ISBN
- 9783540419426
Paperback
Condition: New
€ 135.92
€ 135.92
Paperback. The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation. Editor(s): Lau, Kung-Kiu. Series: Lecture Notes in Computer Science. Num Pages: 196 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540421276
- ISBN
- 9783540421276
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540422068
- ISBN
- 9783540422068
Paperback
Condition: New
€ 73.06
€ 73.06
Paperback. Editor(s): Ambriola, Vincenzo. Series: Lecture Notes in Computer Science. Num Pages: 258 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 258
- Condition
- New
- SKU
- V9783540422648
- ISBN
- 9783540422648
Paperback
Condition: New
€ 69.38
€ 69.38
Hardback. Devoted to relational data mining, this coherently written multi-author monograph provides a thorough introduction and systematic overview of the area. The book covers the basics of classical knowledge discovery; the techniques in relational data mining; and advanced applications in various fields. Num Pages: 398 pages, 69 black & white tables, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540422891
- ISBN
- 9783540422891
Hardback
Condition: New
€ 135.84
€ 135.84
Hardback. Series: X.Systems.Press. Num Pages: 470 pages, black & white illustrations, bibliography. BIC Classification: UB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 25. Weight in Grams: 833.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 470
- Condition
- New
- SKU
- V9783540422990
- ISBN
- 9783540422990
Hardback
Condition: New
€ 36.54
€ 36.54