Computer programming / software development
Results 6481 - 6494 of 6494
Computer programming / software development
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
Stabilization, Safety, and Security of Distributed Systems: 18th Inter...
. Ed(S): Bonakdarpour, Borzoo; Petit, Franck
paperback. Editor(s): Bonakdarpour, Borzoo; Petit, Franck. Series: Lecture Notes in Computer Science. Num Pages: 445 pages, 72 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Number of pages
- 445
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319492582
- ISBN
- 9783319492582
Paperback
Condition: New
€ 65.44
€ 65.44
Paperback. Editor(s): Bonakdarpour, Borzoo; Smolka, Scott A. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 376
- Condition
- New
- SKU
- V9783319111636
- ISBN
- 9783319111636
Paperback
Condition: New
€ 64.63
€ 64.63
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 64.58
€ 64.58
Algorithms and Models for the Web Graph: 13th International Workshop, ...
. Ed(S): Bonato, Anthony; Graham, Fan Chung; ...
paperback. Editor(s): Bonato, Anthony; Graham, Fan Chung; Pralat, Pawel. Series: Lecture Notes in Computer Science. Num Pages: 175 pages, 42 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 279.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 175
- Condition
- New
- SKU
- V9783319497860
- ISBN
- 9783319497860
Paperback
Condition: New
€ 62.74
€ 62.74
Paperback. Editor(s): Bonato, Anthony; Graham, Fan Chung; Pralat, Pawel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 170 pages, 30 black & white illustrations, biography. BIC Classification: PBD; UMB; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319131221
- ISBN
- 9783319131221
Paperback
Condition: New
€ 52.40
€ 52.40
Paperback. Editor(s): Bonato, Anthony; Mitzenmacher, Michael; Pralat, Pawel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 243 pages, 40 black & white illustrations, biography. BIC Classification: PBD; UMB; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 243
- Condition
- New
- SKU
- V9783319035352
- ISBN
- 9783319035352
Paperback
Condition: New
€ 63.08
€ 63.08
Paperback. Editor(s): Bonato, Vanderlei; Bouganis, Christos-Savvas; Gorgon, Marek. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, 195 colour illustrations, biography. BIC Classification: UK; UMB; UNH; UT; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 384
- Condition
- New
- SKU
- V9783319304809
- ISBN
- 9783319304809
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Editor(s): Bondavalli, Andrea; Ortmeier, Frank. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 474 pages, 155 black & white illustrations, biography. BIC Classification: UMZ; UR; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 474
- Condition
- New
- SKU
- V9783319105567
- ISBN
- 9783319105567
Paperback
Condition: New
€ 65.49
€ 65.49
Paperback. Editor(s): Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 47 black & white illustrations, biography. BIC Classification: UGK; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 173
- Condition
- New
- SKU
- V9783319075112
- ISBN
- 9783319075112
Paperback
Condition: New
€ 62.74
€ 62.74
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 65.50
€ 65.50
Paperback. Editor(s): Bonnevay, Stephane; Legrand, Pierrick; Monmarche, Nicolas; Lutton, Evelyne; Schoenauer, Marc. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 93 black & white illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQ; UYQP; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319314709
- ISBN
- 9783319314709
Paperback
Condition: New
€ 63.48
€ 63.48
Exploring Services Science: 7th International Conference, IESS 2016, B...
. Ed(S): Borangiu, Theodor; Dragoicea, Monica...
paperback. Editor(s): Borangiu, Theodor; Dragoicea, Monica; Novoa, Henriqueta. Series: Lecture Notes in Business Information Processing. Num Pages: 778 pages, 195 black & white illustrations, biography. BIC Classification: JPP; KJQ; UBH; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 39. Weight in Grams: 1161.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Number of pages
- 778
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319326887
- ISBN
- 9783319326887
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 65.44
€ 65.44
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 69.04
€ 69.04
Hardback. This reference text presents some of the tools and algorithms currently being used to create new ways of making enhanced interactive presentations and multimedia courses. The accompanying CD-ROM enables readers to get a hands on experience of the material in the book. Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PB; UG; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783540424505
- ISBN
- 9783540424505
Hardback
Condition: New
€ 239.02
€ 239.02
Paperback. This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate matica e Aplica" Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PBV; UG; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642627019
- ISBN
- 9783642627019
Paperback
Condition: New
€ 238.15
€ 238.15
Paperback. Editor(s): Bos, Herbert; Blanc, Gregory; Monrose, Fabian. Series: Lecture Notes in Computer Science. Num Pages: 651 pages, 147 colour illustrations, biography. BIC Classification: UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 651
- Condition
- New
- SKU
- V9783319263618
- ISBN
- 9783319263618
Paperback
Condition: New
€ 66.84
€ 66.84
Paperback. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540434771
- ISBN
- 9783540434771
Paperback
Condition: New
€ 63.89
€ 63.89
Paperback. Editor(s): Bostrom, Henrik; Knobbe, Arno; Soares, Carlos; Papapetrou, Panagiotis. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 146 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 417
- Condition
- New
- SKU
- V9783319463483
- ISBN
- 9783319463483
Paperback
Condition: New
€ 65.01
€ 65.01