×


 x 

Shopping cart

Computer programming / software development

Results 625 - 648 of 8712

Computer programming / software development

Paperback. The 31 papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams. Editor(s): Anderson, Michael; Cheng, Peter; Haarslev, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 520 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 26. Weight in Grams: 1590.
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
520
Condition
New
SKU
V9783540679158
ISBN
9783540679158
Paperback
Condition: New

€ 129.76

Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
371
Condition
New
SKU
V9783642215803
ISBN
9783642215803
Paperback
Condition: New

€ 66.30

Paperback. Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 86 black & white illustrations, biography. BIC Classification: UGK; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
425
Condition
New
SKU
V9783642396977
ISBN
9783642396977
Paperback
Condition: New

€ 65.15

Paperback. Series: Springer-Lehrbuch. Num Pages: 201 pages, black & white illustrations, bibliography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 350.
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
201
Condition
New
SKU
V9783540608608
ISBN
9783540608608
Paperback
Condition: New

€ 79.00

Paperback / so. Num Pages: 332 pages, black & white illustrations, bibliography. BIC Classification: GPF; PBCD; UMB; UMX; UYF. Category: (G) General (US: Trade). Dimension: 244 x 170 x 19. Weight in Grams: 562.
Format
Paperback
Publication date
1993
Publisher
Springer Verlag GmbH Austria
Number of pages
332
Condition
New
SKU
V9783211825273
ISBN
9783211825273
Paperback
Condition: New

€ 70.37

Paperback. Containing information about fundamental techniques and concepts in software construction, this book unifies pure theory with pragmatic details. With brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML, this book also includes sections on open problems in software theory and practice. Num Pages: 369 pages, 29 black & white illustrations, 6 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 522.
Format
Paperback
Publication date
2005
Publisher
Springer London Ltd United Kingdom
Number of pages
369
Condition
New
SKU
V9781846280214
ISBN
9781846280214
Paperback
Condition: New

€ 64.71

Paperback. Editor(s): Diaz, Josep; Sangiorgi, Davide. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 57 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
371
Condition
New
SKU
V9783662446010
ISBN
9783662446010
Paperback
Condition: New

€ 64.39

Paperback. Editor(s): Calude, Christian S.; Sassone, Vladimiro. Series: IFIP Advances in Information and Communication Technology. Num Pages: 400 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
400
Condition
New
SKU
V9783642423116
ISBN
9783642423116
Paperback
Condition: New

€ 64.77

Hardback. Constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, that was held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Calude, Christian S.; Sassone, Vladimiro. Series: IFIP Advances in Information and Communication Technology. Num Pages: 400 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 735.
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
400
Condition
New
SKU
V9783642152399
ISBN
9783642152399
Hardback
Condition: New

€ 65.85

Paperback. Series: Natural Computing Series. Num Pages: 509 pages, 15 black & white tables, biography. BIC Classification: KJT; PBKS; PHS; PSA; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 711.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of hardcover 1st ed. 2001
Number of pages
509
Condition
New
SKU
V9783642086762
ISBN
9783642086762
Paperback
Condition: New

€ 186.95

Paperback. Editor(s): Roychoudhury, Abhik; D'Souza, Meenakshi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 74 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
271
Condition
New
SKU
V9783642329425
ISBN
9783642329425
Paperback
Condition: New

€ 81.64

Paperback. Editor(s): Ciobanu, Gabriel; Mery, Dominique. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 496 pages, 97 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
496
Condition
New
SKU
V9783319108810
ISBN
9783319108810
Paperback
Condition: New

€ 65.49

Paperback. Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 100 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 700.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
457
Condition
New
SKU
V9783642397172
ISBN
9783642397172
Paperback
Condition: New

€ 65.45

Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
267
Condition
New
SKU
V9783642232824
ISBN
9783642232824
Paperback
Condition: New

€ 81.33

Paperback. Editor(s): Leucker, Martin; Rueda, Camilo; Valencia, Frank D. Series: Lecture Notes in Computer Science. Num Pages: 644 pages, 142 colour illustrations, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 973.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
644
Condition
New
SKU
V9783319251493
ISBN
9783319251493
Paperback
Condition: New

€ 66.93

paperback. This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic. Editor(s): Kobayashi, Naoki; Pierce, Benjamin C. Series: Lecture Notes in Computer Science. Num Pages: 576 pages, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
Format
Paperback
Publication date
2001
Publisher
Springer Germany
Edition
2001st Edition
Number of pages
576
Condition
New
SKU
V9783540427360
ISBN
9783540427360
Paperback
Condition: New

€ 72.25

Paperback. This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
292
Condition
New
SKU
V9783540664994
ISBN
9783540664994
Paperback
Condition: New

€ 67.19

paperback. Editor(s): Zhou, Qihai. Series: Communications in Computer and Information Science. Num Pages: 630 pages, biography. BIC Classification: UKN; UMB; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 876.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011th Edition
Number of pages
630
Condition
New
SKU
V9783642249983
ISBN
9783642249983
Paperback
Condition: New

€ 125.43

Paperback. Editor(s): Sampaio, Augusto; Wang, Farn. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 759.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
496
Condition
New
SKU
V9783319467498
ISBN
9783319467498
Paperback
Condition: New

€ 65.52

Paperback. Series: Distinguished Dissertations. Num Pages: 186 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
Format
Paperback
Publication date
2011
Publisher
Springer London Ltd United Kingdom
Edition
Softcover reprint of the original 1st ed. 1998
Number of pages
186
Condition
New
SKU
V9781447115939
ISBN
9781447115939
Paperback
Condition: New

€ 121.44

paperback. Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 331 pages, biography. BIC Classification: UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
Format
Paperback
Publication date
2008
Publisher
Springer Germany
Edition
2008th Edition
Number of pages
331
Condition
New
SKU
V9783540710653
ISBN
9783540710653
Paperback
Condition: New

€ 64.69

Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
Format
Paperback
Publication date
1998
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
505
Condition
New
SKU
V9783540649878
ISBN
9783540649878
Paperback
Condition: New

€ 71.42

Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
412
Condition
New
SKU
V9783540425250
ISBN
9783540425250
Paperback
Condition: New

€ 69.04

Paperback. This text surveys a variety of Scripting Languages, illustrating their use in a wide variety of application domains, including Perl V, Tcl, Word Basic, Java Script, Visual Basic, and VB Script. It also explores object architectures such as COM, OLE and ActiveX and how they rely on scripting. Series: Worldwide Series in Computer Science. Num Pages: 506 pages, illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 193 x 29. Weight in Grams: 940.
Format
Paperback
Publication date
2000
Publisher
John Wiley & Sons Inc United Kingdom
Edition
1st Edition
Number of pages
506
Condition
New
SKU
V9780471998860
ISBN
9780471998860
Paperback
Condition: New

€ 77.17

Subscribe to our newsletter

News on special offers, signed editions & more!