.png){kind=logo}
Computer programming / software development
Results 1849 - 1872 of 7831
Computer programming / software development
Information Geometry (Ergebnisse der Mathematik und ihrer Grenzgebiete...
Ay, Nihat, Jost, Jürgen, Lê, Hông Vân
Hardcover. Series: Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics. Num Pages: biography. BIC Classification: PBKF; PBMP; PBMW; PBW; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319564777
- ISBN
- 9783319564777
Hardback
Condition: New
€ 196.19
€ 196.19
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
€ 30.78
Coordination Models and Languages: 6th International Conference, COORD...
Ferrari, Gianluigi, Nicola, Rocco De, Meredit...
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
€ 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
€ 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
€ 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
€ 196.27
Biologically Inspired Algorithms for Financial Modelling
Brabazon, Anthony; O'Neill, Michael (Universi...
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
€ 133.41
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
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
€ 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
€ 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
€ 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
€ 62.07
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 68.74