.png){kind=logo}
Computer programming / software development
Results 4153 - 4176 of 8429
Computer programming / software development
Paperback. Editor(s): Ryan, Mark D.; Meyer, John-Jules Ch.; Hans-Dieter, Enrich. Series: Lecture Notes in Computer Science. Num Pages: 240 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783540219897
- ISBN
- 9783540219897
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, 5 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540219804
- ISBN
- 9783540219804
Paperback
Condition: New
€ 69.46
€ 69.46
Hardback. Commercial-off-the-shelf (COTS) components enable developers to use and integrate third-party components into their own products. This book covers various related aspects: from testing components in a context-independent manner through testing components in the context of a specific system to testing systems built from different components. Editor(s): Beydeda, Sami; Gruhn, Volker. Num Pages: 410 pages, 38 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540218715
- ISBN
- 9783540218715
Hardback
Condition: New
€ 136.04
€ 136.04
Paperback. This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2004, held in Nice, France in April 2004. Series: Lecture Notes in Computer Science. Num Pages: 428 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783540218364
- ISBN
- 9783540218364
Paperback
Condition: New
€ 72.82
€ 72.82
Paperback. This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. Series: Lecture Notes in Computer Science. Num Pages: 296 pages, biography. BIC Classification: KNTX; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540218340
- ISBN
- 9783540218340
Paperback
Condition: New
€ 70.15
€ 70.15
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 588
- Condition
- New
- SKU
- V9783540214212
- ISBN
- 9783540214212
Paperback
Condition: New
€ 76.03
€ 76.03
paperback. Editor(s): Graf, Susanne; Mounier, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 324 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 324
- Condition
- New
- SKU
- V9783540213147
- ISBN
- 9783540213147
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Editor(s): Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 432 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 22. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 432
- Condition
- New
- SKU
- V9783540213130
- ISBN
- 9783540213130
Paperback
Condition: New
€ 162.21
€ 162.21
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540213123
- ISBN
- 9783540213123
Paperback
Condition: New
€ 72.01
€ 72.01
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540212997
- ISBN
- 9783540212997
Paperback
Condition: New
€ 137.36
€ 137.36
Hardback. The robust capability of Evolutionary Algorithms (EAs) to find solutions to difficult problems has permitted them to become the optimization and search techniques for many practical static problems. This book addresses the issues involved in the design of EAs that operate in dynamic environments without human intervention. Series: Natural Computing Series. Num Pages: 149 pages, 82 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 11. Weight in Grams: 415.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783540212317
- ISBN
- 9783540212317
Hardback
Condition: New
€ 70.06
€ 70.06
paperback. Series: Lecture Notes in Computer Science. Num Pages: 296 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540211822
- ISBN
- 9783540211822
Paperback
Condition: New
€ 70.03
€ 70.03
Hardback. Series: Xpert.Press. Num Pages: 266 pages, XII, 245 S. 70 Abb. BIC Classification: UF; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 551.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540211785
- ISBN
- 9783540211785
Hardback
Condition: New
€ 94.12
€ 94.12
Hardback. Covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 768 pages, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 34. Weight in Grams: 1358.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006
- Number of pages
- 768
- Condition
- New
- SKU
- V9783540211518
- ISBN
- 9783540211518
Hardback
Condition: New
€ 133.73
€ 133.73
Hardback. Covers the basic principles and techniques of specifying systems and languages. This work deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity, Petri nets, live sequence charts, statecharts, and temporal logics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 780 pages, 151 black & white illustrations, 27 black & white tables, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 42. Weight in Grams: 1298.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783540211501
- ISBN
- 9783540211501
Hardback
Condition: New
€ 73.01
€ 73.01
Hardback. Covering the basic principles and techniques of formal methods abstraction and modelling, this book provides an insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. It also discuuses basic property- and model-oriented specification principles and techniques. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 714 pages, 38 black & white illustrations, biography. BIC Classification: UMZ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 39. Weight in Grams: 1226.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 714
- Condition
- New
- SKU
- V9783540211495
- ISBN
- 9783540211495
Hardback
Condition: New
€ 132.47
€ 132.47
Hardback. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540211464
- ISBN
- 9783540211464
Hardback
Condition: New
€ 130.04
€ 130.04
Solving Problems in Scientific Computing Using Maple and MATLAB
. Ed(S): Gander, Walter; Hrebicek, Jiri
Paperback. Presents non-trivial problems in scientific computing and their solutions using Maple (symbolic computation) and MATLAB (a numeric computation and visualization program). This title includes chapters that were revised using fresh possibilities offered by Maple and MATLAB. Editor(s): Gander, Walter; Hrebicek, Jiri. Num Pages: 476 pages, 50 black & white illustrations, 12 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4th, expanded and rev. ed. 2004
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540211273
- ISBN
- 9783540211273
Paperback
Condition: New
€ 74.15
€ 74.15
Hardback. A title that reflects the developments in its emphasis on randomized and approximation algorithms and communication models. In it, all topics are considered from an algorithmic point of view stressing the implications for algorithm design. Translator(s): Pruim, R. Num Pages: 308 pages, 18 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540210450
- ISBN
- 9783540210450
Hardback
Condition: New
€ 111.86
€ 111.86
Paperback. Num Pages: 490 pages, XVIII, 471 S. 48 Abb. BIC Classification: UMZ; UYF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 25. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3., uberarb. Aufl.
- Number of pages
- 490
- Condition
- New
- SKU
- V9783540209584
- ISBN
- 9783540209584
Paperback
Condition: New
€ 84.93
€ 84.93
Book. Num Pages: Etwa 450 S. 70 Abb. BIC Classification: UB; UL; UM; UYD; UYM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 490.
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540209409
- ISBN
- 9783540209409
Paperback
Condition: New
€ 72.77
€ 72.77
Hardback. Series: Xpert.Press. Num Pages: 274 pages, X, 262 S. 143 Abb. BIC Classification: UKP; UMZ; UT. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 274
- Condition
- New
- SKU
- V9783540209119
- ISBN
- 9783540209119
Hardback
Condition: New
€ 61.11
€ 61.11
hardcover. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540209072
- ISBN
- 9783540209072
Hardback
Condition: New
€ 253.27
€ 253.27
Hardback. Introduces the reader to the creation and implementation of space-related models by applying a learning-by-doing and problem-oriented approach. This book teaches the required procedural skills to transfer a model into a computer program. It moves from simple to more complex applications, covering various important topics in the sequence. Num Pages: 305 pages, 36 colour illustrations, 86 black & white tables, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 649.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540208778
- ISBN
- 9783540208778
Hardback
Condition: New
€ 129.05
€ 129.05