.png){kind=logo}
Computer programming / software development
Results 4033 - 4056 of 8428
Computer programming / software development
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
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. 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
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. These papers on algorithmic learning theory are organized in topical sections on statistical learning, inductive logic programming, inductive inference, complexity, neural networks and other paradigms, support vector machines. Editor(s): Arimura, Hiroki; Jain, Sanjay; Sharma, Arun. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 348 pages, biography. BIC Classification: UMB; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540412373
- ISBN
- 9783540412373
Paperback
Condition: New
€ 71.35
€ 71.35
Hardback. With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim, J. Espeleta, B. Farwer, M.P. Gervais, S. Haddad, J.M. Ilie, F. Kordon, R. Mackenthun, D. Moldt, D. Poitrenaud, M. Silva,M.-O. Stehr, E. Teruel, I. Vernier-Mounier, M. Voorhoeve Num Pages: 607 pages, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 156 x 234 x 33. Weight in Grams: 1051.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 607
- Condition
- New
- SKU
- V9783540412175
- ISBN
- 9783540412175
Hardback
Condition: New
€ 131.66
€ 131.66
Paperback. These proceedings papers offer topical sections on data warehouses, databases, computer networks, constraint programming, content-based image retrieval, Internet technologies, information systems, information retrieval, and artificial intelligence. Editor(s): Yakhno, Tatyana. Series: Lecture Notes in Computer Science. Num Pages: 460 pages, biography. BIC Classification: UM; UNC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540411840
- ISBN
- 9783540411840
Paperback
Condition: New
€ 73.79
€ 73.79
Hardback. Series: Xpert.press. BIC Classification: UMB. Dimension: 235 x 155. Weight in Grams: 1380.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540411642
- ISBN
- 9783540411642
Hardback
Condition: New
€ 78.59
€ 78.59
Paperback. This volume covers two topics: Specifying and implementing conversation policies (SICP) and agent communication languages. It contains an overview of each subject and presents research in each field. Editor(s): Dignum, Frank; Greaves, Mark. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 351 pages, biography. BIC Classification: UMC; UMX; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 351
- Condition
- New
- SKU
- V9783540411444
- ISBN
- 9783540411444
Paperback
Condition: New
€ 70.75
€ 70.75
Paperback. The papers offer topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modelling, behavioural modelling, methodology, actions and constraints, patterns, architecture, and state charts. Editor(s): Evans, Andy; Kent, Stuart; Selic, Bran. Series: Lecture Notes in Computer Science. Num Pages: 575 pages, biography. BIC Classification: UMC; UMN; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 30. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 575
- Condition
- New
- SKU
- V9783540411338
- ISBN
- 9783540411338
Paperback
Condition: New
€ 136.76
€ 136.76
Hardback. Offers an introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. This book represents a logical approach to formal design of real-time systems. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 260 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540408239
- ISBN
- 9783540408239
Hardback
Condition: New
€ 132.74
€ 132.74
Paperback. Includes proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. Series: Lecture Notes in Computer Science. Num Pages: 300 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 233 x 155 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540405054
- ISBN
- 9783540405054
Paperback
Condition: New
€ 70.46
€ 70.46
Hardback. Based on a common semantic domain of abstract systems, their composition and development, this book integrates various model-based software specification approaches. It shows the applicability of integration approach through semantic interpretations and compositional comparisons of different specification approaches. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 339 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783540402572
- ISBN
- 9783540402572
Hardback
Condition: New
€ 195.54
€ 195.54
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 224 pages, biography. BIC Classification: UMJ. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 224
- Condition
- New
- SKU
- V9783540401322
- ISBN
- 9783540401322
Paperback
Condition: New
€ 68.74
€ 68.74
Project Scheduling with Time Windows and Scarce Resources
Neumann, Klaus; Schwindt, Christoph; Zimmerma...
Hardback. Num Pages: 385 pages, 149 black & white illustrations, 60 black & white tables, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003
- Number of pages
- 385
- Condition
- New
- SKU
- V9783540401254
- ISBN
- 9783540401254
Hardback
Condition: New
€ 202.06
€ 202.06
Paperback. Constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. This book presents the results on the analysis and verification of distributed software systems using the SPIN model checker. Editor(s): Ball, Thomas; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science. Num Pages: 249 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540401179
- ISBN
- 9783540401179
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. This book addresses various aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, and security and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540377566
- ISBN
- 9783540377566
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback. Constitutes the refereed post-proceedings of the 5th International Workshop on Software Composition, SC 2006, a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006. This book presents 21 revised full papers. Editor(s): Lowe, Welf; Sudholt, Mario. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 352 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540376576
- ISBN
- 9783540376576
Paperback
Condition: New
€ 71.23
€ 71.23
Paperback. Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. Editor(s): Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 635 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 889.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 635
- Condition
- New
- SKU
- V9783540372158
- ISBN
- 9783540372158
Paperback
Condition: New
€ 131.18
€ 131.18
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. This book covers topics that include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and more. Editor(s): Pfenning, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 432 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 432
- Condition
- New
- SKU
- V9783540368342
- ISBN
- 9783540368342
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This title covers various issues of research in logic programming. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 488 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 22
- Number of pages
- 488
- Condition
- New
- SKU
- V9783540366355
- ISBN
- 9783540366355
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Includes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. This book offers coverage that includes issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540356332
- ISBN
- 9783540356332
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. This book addresses issues that range from algorithmics to support for program construction in programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 654.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540356318
- ISBN
- 9783540356318
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback. Includes the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in Vasteras, Sweden in June/July 2006. This title features the papers covering issues concerned with the development of software-intensive systems from reusable parts, the development of reusable parts, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 408 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1260.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 408
- Condition
- New
- SKU
- V9783540356288
- ISBN
- 9783540356288
Paperback
Condition: New
€ 72.29
€ 72.29