.png){kind=logo}
Computer programming / software development
Results 1841 - 1860 of 7832
Computer programming / software development
Hardback. Num Pages: 167 pages, 14 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 167
- Condition
- New
- SKU
- V9783319554822
- ISBN
- 9783319554822
Hardback
Condition: New
€ 94.45
€ 94.45
Hardback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 304 pages, 60 black & white illustrations, 4 colour illustrations, 4 colour tables, biography. BIC Classification: PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 304
- Condition
- New
- SKU
- V9783319555584
- ISBN
- 9783319555584
Hardback
Condition: New
€ 106.73
€ 106.73
Paperback. Editor(s): Squillero, Giovanni; Sim, Kevin. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 57 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 233
- Condition
- New
- SKU
- V9783319557915
- ISBN
- 9783319557915
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. Series: Modern Acoustics and Signal Processing. Num Pages: 480 pages, 149 black & white illustrations, 5 colour illustrations, 5 colour tables, biography. BIC Classification: PBW; PDDM; TTA; TTBM; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319558707
- ISBN
- 9783319558707
Hardback
Condition: New
€ 119.02
€ 119.02
paperback. Series: Communications in Computer and Information Science. Num Pages: biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9783319559063
- ISBN
- 9783319559063
Paperback
Condition: New
€ 65.46
€ 65.46
Paperback. Editor(s): Bianco, Simone; Schettini, Raimondo; Tremeau, Alain; Tominaga, Shoji. Series: Lecture Notes in Computer Science. Num Pages: 263 pages, 132 black & white illustrations, biography. BIC Classification: UML; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 263
- Condition
- New
- SKU
- V9783319560090
- ISBN
- 9783319560090
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Blanas, Spyros; Bordawekar, Rajesh; Levandoski, Justin; Pavlo, Andrew; Larhiri, Tirthankar. Series: Lecture Notes in Computer Science. Num Pages: 157 pages, 99 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 157
- Condition
- New
- SKU
- V9783319561103
- ISBN
- 9783319561103
Paperback
Condition: New
€ 65.62
€ 65.62
Evaluation of Novel Approaches to Software Engineering
. Ed(S): Maciaszek, Leszek A.; Filipe, Joaqui...
Paperback. Editor(s): Maciaszek, Leszek A.; Filipe, Joaquim. Series: Communications in Computer and Information Science. Num Pages: 236 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 236
- Condition
- New
- SKU
- V9783319563893
- ISBN
- 9783319563893
Paperback
Condition: New
€ 66.37
€ 66.37
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