Computer programming / software development
Results 5941 - 5960 of 6464
Computer programming / software development
Paperback. Henry presents an integrated approach to testing based on cutting-edge methodologies, processes and tools in an IT context. The value of this book is the in-depth explanation of all processes and relevant methodologies and tools to address this complexity. Num Pages: 438 pages, 180 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 438
- Condition
- New
- SKU
- V9783642097256
- ISBN
- 9783642097256
Paperback
Condition: New
€ 65.38
€ 65.38
Hardback. In exploring the theoretical analysis of evolutionary algorithms, this work introduces basic concepts such as the progress rate, the quality gain, and the self-adaption response. Series: Natural Computing Series. Num Pages: 401 pages, 9 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 744.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783540672975
- ISBN
- 9783540672975
Hardback
Condition: New
€ 192.45
€ 192.45
Paperback. Series: Natural Computing Series. Num Pages: 401 pages, 9 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 401
- Condition
- New
- SKU
- V9783642086700
- ISBN
- 9783642086700
Paperback
Condition: New
€ 185.98
€ 185.98
Paperback. This book offers a comprehensive review of the mathematical theory of the solitaire game The Tower of Hanoi, from its invention in 1883 by the number theorist Edouard Lucas to current research in mathematics and applications in computer science and psychology. Num Pages: 350 pages, biography. BIC Classification: PBK; PBUD; PBV; PBX; UMB. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Basel Switzerland
- Number of pages
- 350
- Condition
- New
- SKU
- V9783034807692
- ISBN
- 9783034807692
Paperback
Condition: New
€ 55.44€ 48.91
€ 55.44
€ 48.91
paperback. This volume constitutes the proceedings of the International Workshop on the Unified Modeling Language held in June 1998. It presents research and development results as well as advanced applications. Series: Lecture Notes in Computer Science. Num Pages: 460 pages, biography. BIC Classification: UMC; UMN; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540662525
- ISBN
- 9783540662525
Paperback
Condition: New
€ 70.35
€ 70.35
The Unified Modeling Language. Second International Conference, Fort C...
. Ed(S): France, Robert B.; Rumpe, Bernhard
Paperback. Editor(s): France, Robert B.; Rumpe, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 743 pages, biography. BIC Classification: TJ; UMN; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 233 x 155 x 37. Weight in Grams: 1030.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 743
- Condition
- New
- SKU
- V9783540667124
- ISBN
- 9783540667124
Paperback
Condition: New
€ 130.44
€ 130.44
The Unified Modeling Language. Technical Aspects and Applications.
. Ed(S): Schader, Martin; Korthaus, Axel
Paperback. The Unified Modelling Language is the official OMG standard for object-oriented modelling languages. The papers presented here are in three chapters: UML versus other approaches; business process modelling and applications; and technical aspects and concepts. Editor(s): Schader, Martin; Korthaus, Axel. Num Pages: 282 pages, 43 black & white illustrations, 15 black & white tables, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 282
- Condition
- New
- SKU
- V9783790811056
- ISBN
- 9783790811056
Paperback
Condition: New
€ 121.93
€ 121.93
Paperback. Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book focuses on the design and implementation skeletal versions of systems for purposes of testing early in the life cycle for quality control. Num Pages: 295 pages, 1, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 178 x 17. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Taylor & Francis Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 295
- Condition
- New
- SKU
- V9781929629015
- ISBN
- 9781929629015
Paperback
Condition: New
€ 62.39
€ 62.39
Paperback. Is the Unified Process the be all and end all standard for developing object-oriented component-based software? This book presents a critical review of the Unified Process. It shows how you can implement a software process that goes beyond the UP with details of development and production. Num Pages: 340 pages, black & white illustrations. BIC Classification: UF; UKR; UMN. Category: (P) Professional & Vocational. Dimension: 229 x 178 x 18. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Taylor & Francis Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 340
- Condition
- New
- SKU
- V9781929629107
- ISBN
- 9781929629107
Paperback
Condition: New
€ 62.06
€ 62.06
Paperback. Num Pages: 340 pages. BIC Classification: UMZ. Dimension: 235 x 191. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Taylor & Francis Ltd
- Edition
- 1st Edition
- Number of pages
- 340
- Condition
- New
- SKU
- V9781578200924
- ISBN
- 9781578200924
Paperback
Condition: New
€ 62.39
€ 62.39
Paperback. Series: SpringerBriefs in Energy. Num Pages: 93 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: THRD; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 185.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 93
- Condition
- New
- SKU
- V9783319492285
- ISBN
- 9783319492285
Paperback
Condition: New
€ 78.14
€ 78.14
Paperback. This book is for everyone who needs to test the web. As a tester, you'll automate your tests. As a developer, you'll build more robust solutions. And as a team, you'll gain a vocabulary and a means to coordinate how to write and organize automated tests for the web. Num Pages: 180 pages, colour illustrations. BIC Classification: UMZT. Category: (XV) Technical / Manuals. Dimension: 192 x 233 x 18. Weight in Grams: 456.
- Publisher
- The Pragmatic Programmers
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680501834
- ISBN
- 9781680501834
Paperback
Condition: New
€ 31.99€ 22.87
€ 31.99
€ 22.87
Paperback. This text surveys a variety of Scripting Languages, illustrating their use in a wide variety of application domains, including Perl V, Tcl, Word Basic, Java Script, Visual Basic, and VB Script. It also explores object architectures such as COM, OLE and ActiveX and how they rely on scripting. Series: Worldwide Series in Computer Science. Num Pages: 506 pages, illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 193 x 29. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 506
- Condition
- New
- SKU
- V9780471998860
- ISBN
- 9780471998860
Paperback
Condition: New
€ 77.17
€ 77.17
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 69.04
€ 69.04
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
€ 71.42
€ 71.42
paperback. Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 331 pages, biography. BIC Classification: UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2008th Edition
- Number of pages
- 331
- Condition
- New
- SKU
- V9783540710653
- ISBN
- 9783540710653
Paperback
Condition: New
€ 64.69
€ 64.69
Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 496
- Condition
- New
- SKU
- V9783319467498
- ISBN
- 9783319467498
Paperback
Condition: New
€ 65.52
€ 65.52
paperback. Editor(s): Zhou, Qihai. Series: Communications in Computer and Information Science. Num Pages: 630 pages, biography. BIC Classification: UKN; UMB; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 630
- Condition
- New
- SKU
- V9783642249983
- ISBN
- 9783642249983
Paperback
Condition: New
€ 125.43
€ 125.43
Theoretical and Practical Aspects of Spin Model Checking
. Ed(S): Dams, Dennis; Gerth, Robert; Leue, S...
Paperback. This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540664994
- ISBN
- 9783540664994
Paperback
Condition: New
€ 67.19
€ 67.19
Theoretical Aspects of Computer Software: 4th International Symposium,...
. Ed(S): Kobayashi, Naoki; Pierce, Benjamin C...
paperback. This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic. Editor(s): Kobayashi, Naoki; Pierce, Benjamin C. Series: Lecture Notes in Computer Science. Num Pages: 576 pages, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9783540427360
- ISBN
- 9783540427360
Paperback
Condition: New
€ 72.25
€ 72.25