Computer programming / software development
Results 4225 - 4248 of 8712
Computer programming / software development
Paperback. This book constitutes the refereed joint proceedings of four international workshops held in conjunction with the 22nd International Conference on Conceptual Modelling, ER 2003, held in Chicago, IL, USA in October 2003. Series: Lecture Notes in Computer Science. Num Pages: 414 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540202578
- ISBN
- 9783540202578
Paperback
Condition: New
€ 69.72
€ 69.72
Hardback. Series: X.Systems.Press. Num Pages: 498 pages, bibliography. BIC Classification: UL; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 871.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 498
- Condition
- New
- SKU
- V9783540203995
- ISBN
- 9783540203995
Hardback
Condition: New
€ 87.84
€ 87.84
Hardback. Series: X.Systems.Press. Num Pages: 336 pages, black & white illustrations. BIC Classification: UL; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540204404
- ISBN
- 9783540204404
Hardback
Condition: New
€ 80.57
€ 80.57
Paperback. This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 19. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540205272
- ISBN
- 9783540205272
Paperback
Condition: New
€ 66.01
€ 66.01
Hardback. Introduces an analysis and design method customized to form-based enterprise applications, the predominant type of business application. This work explains their common properties and gives an introduction to the modeling of such systems. Num Pages: 372 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 22. Weight in Grams: 727.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540205937
- ISBN
- 9783540205937
Hardback
Condition: New
€ 129.03
€ 129.03
Hardback. Series: Xpert.Press. Num Pages: 316 pages, X, 304 S. 250 Abb. BIC Classification: PBF; PBW; UM; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 621.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540208129
- ISBN
- 9783540208129
Hardback
Condition: New
€ 80.20
€ 80.20
Hardback. UML models are used to derive the testing architecture for an application, the testing interfaces and component testers. This book describes a method that provides a process and guidelines for modeling and developing the artifacts. It also discusses the implications of built-in contract testing with other component-based development technologies. Num Pages: 316 pages, biography. BIC Classification: UMZL. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 20. Weight in Grams: 640.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540208648
- ISBN
- 9783540208648
Hardback
Condition: New
€ 65.22
€ 65.22
hardcover. Series: Xpert.Press. Num Pages: 376 pages, XIII, 361 S. 99 Abb. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 704.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540208723
- ISBN
- 9783540208723
Hardback
Condition: New
€ 81.35
€ 81.35
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
€ 123.06
€ 123.06
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
€ 241.35
€ 241.35
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
€ 58.21
€ 58.21
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
Hardback
Condition: New
€ 69.75
€ 69.75
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
€ 81.03
€ 81.03
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
€ 106.64
€ 106.64
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
€ 70.77
€ 70.77
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
€ 124.54
€ 124.54
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
€ 127.09
€ 127.09
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
€ 70.10
€ 70.10
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
€ 128.04
€ 128.04
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
€ 89.60
€ 89.60
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
€ 67.24
€ 67.24
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
€ 66.72
€ 66.72
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
€ 130.98
€ 130.98
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
€ 69.15
€ 69.15