×


 x 

Shopping cart

Computer programming / software development

Results 801 - 820 of 7837

Computer programming / software development

Hardcover. This book describes an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure defines people roles, necessary technology, and interactions between people and technology. Num Pages: 426 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 163 x 32. Weight in Grams: 800.
Format
Hardback
Publication date
2007
Publisher
John Wiley & Sons Inc United Kingdom
Edition
1st Edition
Number of pages
426
Condition
New
SKU
V9780470042120
ISBN
9780470042120
Hardback
Condition: New

€ 154.72

Paperback. Editor(s): Olivetti, Nicola; Tiwari, Ashish. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, 101 black & white illustrations, biography. BIC Classification: UM; UYA; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 908.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
600
Condition
New
SKU
V9783319402284
ISBN
9783319402284
Paperback
Condition: New

€ 108.12

Paperback. Editor(s): Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 556 pages, 101 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
556
Condition
New
SKU
V9783319085869
ISBN
9783319085869
Paperback
Condition: New

€ 69.04

Paperback. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Editor(s): Gramlich, Bernhard; Miller, Dale; Sattler, Ulrike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 582 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
582
Condition
New
SKU
V9783642313646
ISBN
9783642313646
Paperback
Condition: New

€ 69.70

Paperback. This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics. Editor(s): Bonacina, Maria Paola; Stickel, Mark E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 259 pages, 27 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
259
Condition
New
SKU
V9783642366741
ISBN
9783642366741
Paperback
Condition: New

€ 61.44

Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
299
Condition
New
SKU
V9783642405365
ISBN
9783642405365
Paperback
Condition: New

€ 61.20

Paperback. Editor(s): Artho, Cyrille; Legay, Axel; Peled, Doron. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 102 black & white illustrations, biography. BIC Classification: UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 817.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
541
Condition
New
SKU
V9783319465197
ISBN
9783319465197
Paperback
Condition: New

€ 68.92

Paperback. Editor(s): Hung, Dang van; Ogawa, Mizuhito. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 542 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
Format
Paperback
Publication date
2013
Publisher
Springer International Publishing AG Switzerland
Number of pages
542
Condition
New
SKU
V9783319024431
ISBN
9783319024431
Paperback
Condition: New

€ 69.40

Paperback. Editor(s): Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun. Series: Lecture Notes in Computer Science. Num Pages: 533 pages, 96 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 813.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
533
Condition
New
SKU
V9783319249520
ISBN
9783319249520
Paperback
Condition: New

€ 68.86

Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
444
Condition
New
SKU
V9783540883869
ISBN
9783540883869
Paperback
Condition: New

€ 68.47

Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Editor(s): Bultan, Tevfik; Hsiung, Pao-Ann. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 764.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
546
Condition
New
SKU
V9783642243714
ISBN
9783642243714
Paperback
Condition: New

€ 69.38

Paperback. Constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. Editor(s): Mukund, Madhavan; Chakraborty, Supratik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 452 pages, 106 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 630.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
452
Condition
New
SKU
V9783642333859
ISBN
9783642333859
Paperback
Condition: New

€ 68.53

paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
Format
Paperback
Publication date
2014
Publisher
Springer Switzerland
Edition
2014th Edition
Number of pages
454
Condition
New
SKU
V9783319119359
ISBN
9783319119359
Paperback
Condition: New

€ 68.13

Paperback. Num Pages: 230 pages, 19 black & white illustrations, 16 colour illustrations, biography. BIC Classification: PBW; UMN; UMX. Category: (P) Professional & Vocational. Dimension: 180 x 254 x 16. Weight in Grams: 464.
Publisher
Apress
Format
Paperback
Publication date
2016
Edition
1st ed.
Condition
New
SKU
V9781484221778
ISBN
9781484221778
Paperback
Condition: New

€ 76.99
€ 65.57

Paperback. Num Pages: 382 pages, 81 black & white illustrations, 20 colour illustrations, 8 black & white tables, biograph. BIC Classification: UMB; UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 23. Weight in Grams: 526.
Format
Paperback
Publication date
2011
Publisher
Springer Fachmedien Wiesbaden Germany
Edition
2012
Number of pages
382
Condition
New
SKU
V9783834815422
ISBN
9783834815422
Paperback
Condition: New

€ 128.21

Paperback. Covers the state of the art in automatic differentiation theory and practice. Intended for computational scientists and engineers, this book aims to provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 388 pages, 108 black & white illustrations, 33 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1190.
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
388
Condition
New
SKU
V9783540284031
ISBN
9783540284031
Paperback
Condition: New

€ 254.29

Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 101 pages, 31 black & white illustrations, 2 black & white tables, biography. BIC Classification: UMZ; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 174.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
101
Condition
New
SKU
V9783662434284
ISBN
9783662434284
Paperback
Condition: New

€ 75.25

Paperback. Editor(s): Danvy, Olivier; Henglein, Fritz; Mairson, Harry; Pettorossi, Alberto. Num Pages: 272 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Edition
1st ed. Softcover of orig. ed. 2008
Number of pages
272
Condition
New
SKU
V9789048176748
ISBN
9789048176748
Paperback
Condition: New

€ 127.73

Hardcover. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 234 pages, biography. BIC Classification: UGC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
Format
Hardback
Publication date
1990
Publisher
Kluwer Academic Publishers United States
Edition
1990th Edition
Number of pages
234
Condition
New
SKU
V9780792391128
ISBN
9780792391128
Hardback
Condition: New

€ 199.00

Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 234 pages, biography. BIC Classification: THR; TJFC; UGC; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 1990
Number of pages
234
Condition
New
SKU
V9781461288312
ISBN
9781461288312
Paperback
Condition: New

€ 193.71

Subscribe to our newsletter

News on special offers, signed editions & more!