×


 x 

Shopping cart

Computer programming / software development

Results 1849 - 1872 of 7836

Computer programming / software development

Hardcover. Series: X.systems.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 808.
Format
Hardback
Publication date
2006
Publisher
Springer
Edition
2006th Edition
Condition
New
SKU
V9783540002994
ISBN
9783540002994
Hardback
Condition: New

€ 30.78

Paperback. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UMX; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
Format
Paperback
Publication date
2004
Publisher
Springer
Edition
2004th Edition
Condition
New
SKU
V9783540210443
ISBN
9783540210443
Paperback
Condition: New

€ 70.97

Paperback. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 231 x 160 x 23. Weight in Grams: 640.
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2004th Edition
Number of pages
414
Condition
New
SKU
V9783540223801
ISBN
9783540223801
Paperback
Condition: New

€ 72.41

Hardcover. Addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, this book describes useful foundations, principles and techniques of software product line engineering. Num Pages: 493 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 252 x 203 x 34. Weight in Grams: 1158.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2005th Edition
Number of pages
494
Condition
New
SKU
V9783540243724
ISBN
9783540243724
Hardback
Condition: New

€ 109.68

Hardcover. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 28. Weight in Grams: 726. 412 pages, black & white illustrations. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Cateogry: (P) Professional & Vocational. BIC Classification: UMZ. Dimension: 243 x 165 x 28. Weight: 726.
Format
Hardback
Publication date
2005
Publisher
Springer
Edition
2006th Edition
Number of pages
412
Condition
New
SKU
V9783540259930
ISBN
9783540259930
Hardback
Condition: New

€ 196.27

Hardcover. Predicting the future for financial gain is a difficult, sometimes profitable activity. This book focuses on the application of biologically inspired algorithms (BIAs) to financial modelling. It explains computer trading on financial markets and the difficulties faced in financial market modelling. Series: Natural Computing Series. Num Pages: 292 pages, 39 black & white tables, biography. BIC Classification: KFFM; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 23. Weight in Grams: 570.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2006th Edition
Number of pages
296
Condition
New
SKU
V9783540262527
ISBN
9783540262527
Hardback
Condition: New

€ 133.41

Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
Format
Hardback
Publication date
2001
Publisher
Springer
Edition
2001st Edition
Condition
New
SKU
V9783540415237
ISBN
9783540415237
Hardback
Condition: New

€ 186.93

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: 280 pages, 15 black & white illustrations, 14 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 157 x 18. Weight in Grams: 446. Software Configuration and Change Management. Series: Software Best Practice S. 296 pages, 15 black & white illustrations, 14 black & white tables. 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. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMZ. Dimension: 234 x 157 x 18. Weight: 446.
Format
Paperback
Publication date
2001
Publisher
Springer
Edition
2001st Edition
Number of pages
296
Condition
New
SKU
V9783540417859
ISBN
9783540417859
Paperback
Condition: New

€ 70.15

Hardcover. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 160 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 16. Weight in Grams: 380. Series: Monographs in Theoretical Computer Science : an Eatcs Series. 159 pages, 1, black & white illustrations. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMB. Dimension: 241 x 166 x 16. Weight: 380.
Format
Hardback
Publication date
2002
Publisher
Springer
Edition
2003rd Edition
Number of pages
159
Condition
New
SKU
V9783540422006
ISBN
9783540422006
Hardback
Condition: New

€ 130.82

Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
Format
Hardback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Condition
New
SKU
V9783540627524
ISBN
9783540627524
Hardback
Condition: New

€ 62.07

Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
Format
Paperback
Publication date
1998
Publisher
Springer
Edition
1998th Edition
Number of pages
562
Condition
New
SKU
V9783540646082
ISBN
9783540646082
Paperback
Condition: New

€ 136.32

Hardcover. Merging fundamental concepts of analysis and recursion theory to a new theory, this book provides a solid basis for studying various aspects of computability and complexity in analysis. It is written for graduate-level and senior students in computer science or mathematics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 288 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBK; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 680.
Format
Hardback
Publication date
2000
Publisher
Springer
Edition
2000th Edition
Condition
New
SKU
V9783540668176
ISBN
9783540668176
Hardback
Condition: New

€ 68.44

Hardcover. As Software Development moves towards a more agile and more flexible approach, this book provides best practices and recommendations for introducing agile software development. There is strong emphasis on real life project examples. Num Pages: 179 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 19. Weight in Grams: 448.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2009th Edition
Condition
New
SKU
V9783540708308
ISBN
9783540708308
Hardback
Condition: New

€ 70.75

Paperback. Constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007. This book includes the 18 revised full papers, 5 revised poster papers, and 7 system descriptions together with 2 invited papers that are reviewed and selected for presentation. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 510.
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2007th Edition
Number of pages
344
Condition
New
SKU
V9783540721994
ISBN
9783540721994
Paperback
Condition: New

€ 71.02

Hardcover. This book explains in clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. Num Pages: 397 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 168 x 244 x 28. Weight in Grams: 844.
Format
Hardback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2008th Edition
Condition
New
SKU
V9783540788287
ISBN
9783540788287
Hardback
Condition: New

€ 69.22

Hardcover. With this book, the authors aim to provide an overview of enterprise architecture including the process of creating, applying and maintaining it. The book successfully combines technology and business perspectives, and it questions standard approaches. Series: The Enterprise Engineering Series. Num Pages: 160 pages, 5 black & white tables, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 245 x 163 x 16. Weight in Grams: 398.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2009th Edition
Number of pages
162
Condition
New
SKU
V9783540852315
ISBN
9783540852315
Hardback
Condition: New

€ 105.59

Paperback. Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control. Series: Communications in Computer and Information Science. Num Pages: 883 pages, biography. BIC Classification: UGK; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1329.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2008th Edition
Number of pages
728
Condition
New
SKU
V9783540884781
ISBN
9783540884781
Paperback
Condition: New

€ 199.83

Hardcover. Engineering Web applications involves many challenges due to their distributed nature, content orientation, and wide spectrum of end users. The authors analyze these challenges, covering the entire product lifecycle from design to deployment and maintenance. Editor(s): Daniel, Florian. Series: Data-Centric Systems and Applications. Num Pages: 349 pages, 109 black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 239 x 161 x 27. Weight in Grams: 676.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2009th Edition
Number of pages
364
Condition
New
SKU
V9783540922001
ISBN
9783540922001
Hardback
Condition: New

€ 112.62

Hardcover. This text covers most of the theoretical foundations and mathematical derivations that will be used in higher-level related subjects such as signal processing, communication and control, minimizing the mathematical difficulty and computational burden. Num Pages: 474 pages, 17 black & white tables, biography. BIC Classification: PBKF; UM; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 870.
Format
Hardback
Publication date
2009
Publisher
Springer
Edition
2009th Edition
Condition
New
SKU
V9783540929536
ISBN
9783540929536
Hardback
Condition: New

€ 137.31

Hardcover. This textbook introduces the constructs of Coloured Petri Nets (CPN) modelling language and presents the related analysis methods in detail. It also provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies. Num Pages: 384 pages, 27 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1620.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2009th Edition
Number of pages
396
Condition
New
SKU
V9783642002830
ISBN
9783642002830
Hardback
Condition: New

€ 113.34

Hardcover. XBRL (eXtensible Business Reporting Language) is a key enabling technology for interactive data. This book provides business and policy makers, technologists and information engineers with an essential toolkit to understand the complete implementation of XBRL. Num Pages: 214 pages, 15 black & white tables, biography. BIC Classification: UMX; UN; UT. Category: (P) Professional & Vocational. Dimension: 244 x 165 x 20. Weight in Grams: 548.
Format
Hardback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2009th Edition
Number of pages
248
Condition
New
SKU
V9783642014369
ISBN
9783642014369
Hardback
Condition: New

€ 67.51

Paperback. This brilliant textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. Lots of practical exercises are included. Num Pages: 484 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 26. Weight in Grams: 692.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
1st ed. Softcover of orig. ed. 2007
Number of pages
455
Condition
New
SKU
V9783642072567
ISBN
9783642072567
Paperback
Condition: New

€ 68.80

Paperback. Num Pages: 452 pages, 51 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 29. Weight in Grams: 698.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of hardcover 1st ed. 1999
Number of pages
473
Condition
New
SKU
V9783642084744
ISBN
9783642084744
Paperback
Condition: New

€ 68.74

Paperback. This is an expanded edition of a popular textbook that provides a purely algebraic, self-contained and in-depth exposition of the theory of function fields. It contains numerous exercises, some fairly simple, some quite difficult. Series: Graduate Texts in Mathematics. Num Pages: 374 pages, biography. BIC Classification: PBF; PBMW; PBW; UGC; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 575.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition
Softcover reprint of hardcover 2nd ed. 2008
Condition
New
SKU
V9783642095566
ISBN
9783642095566
Paperback
Condition: New

€ 78.84

Subscribe to our newsletter

News on special offers, signed editions & more!