×


 x 

Shopping cart

Computer programming / software development

Results 6981 - 7000 of 7783

Computer programming / software development

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): 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): 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. 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. 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. 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. 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

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): 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

€ 70.06

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

€ 68.83

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

€ 69.14

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

€ 73.16

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

€ 250.99

Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Edition
1st ed. Softcover of orig. ed. 1998
Number of pages
501
Condition
New
SKU
V9789048150502
ISBN
9789048150502
Paperback
Condition: New

€ 251.49

Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 518 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 789.
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
518
Condition
New
SKU
V9783642029585
ISBN
9783642029585
Paperback
Condition: New

€ 69.19

Paperback. This book gets you up to speed with Grunt using practical hands-on examples, so you can wrangle your projects with ease. You'll learn how to create and maintain tasks and project builds, and automate your workflow with plugins and custom tasks. Num Pages: 80 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 234 x 195 x 5. Weight in Grams: 170.
Publisher
The Pragmatic Programmers
Format
Paperback
Publication date
2014
Edition
1st Edition
Condition
New
SKU
V9781941222119
ISBN
9781941222119
Paperback
Condition: New

€ 19.29

Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
1142
Condition
New
SKU
V9783662476710
ISBN
9783662476710
Paperback
Condition: New

€ 135.08

Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
756
Condition
New
SKU
V9783662476659
ISBN
9783662476659
Paperback
Condition: New

€ 70.85

Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
654
Condition
New
SKU
V9783662439500
ISBN
9783662439500
Paperback
Condition: New

€ 69.91

Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
1124
Condition
New
SKU
V9783662439470
ISBN
9783662439470
Paperback
Condition: New

€ 74.15

Subscribe to our newsletter

News on special offers, signed editions & more!