Computer programming / software development
Results 889 - 912 of 8434
Computer programming / software development
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 239.07
€ 239.07
Paperback. This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation. Editor(s): Ganzinger, Harald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UM; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540662228
- ISBN
- 9783540662228
Paperback
Condition: New
€ 70.20
€ 70.20
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Editor(s): Bonacina, Maria Paola. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 482 pages, 95 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 482
- Condition
- New
- SKU
- V9783642385735
- ISBN
- 9783642385735
Paperback
Condition: New
€ 65.68
€ 65.68
paperback. Editor(s): Felty, Amy P.; Middeldorp, Aart. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1009.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 668
- Condition
- New
- SKU
- V9783319214009
- ISBN
- 9783319214009
Paperback
Condition: New
€ 66.74
€ 66.74
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 64.73
€ 64.73
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
€ 153.70
€ 153.70
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
€ 103.28
€ 103.28
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
€ 66.18
€ 66.18
Paperback. Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories. Editor(s): Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 568 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783540710691
- ISBN
- 9783540710691
Paperback
Condition: New
€ 66.78
€ 66.78
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
€ 66.93
€ 66.93
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 126.88
€ 126.88
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
€ 58.98
€ 58.98
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Galmiche, Didier; Larchey-Wendling, ...
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
€ 58.43
€ 58.43
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 65.30
€ 65.30
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
€ 66.06
€ 66.06
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
€ 66.53
€ 66.53
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
€ 65.84
€ 65.84
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
€ 65.33
€ 65.33
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 425 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642047602
- ISBN
- 9783642047602
Paperback
Condition: New
€ 65.44
€ 65.44
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
€ 66.61
€ 66.61
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
€ 65.78
€ 65.78
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 66.30
€ 66.30
Automated Technology for Verification and Analysis: 12th International...
. Ed(S): Cassez, Franck; Raskin, Jean-Francoi...
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
€ 65.14
€ 65.14