.png){kind=logo}
Computer programming / software development
Results 7801 - 7824 of 8407
Computer programming / software development
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
€ 68.49
€ 68.49
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
€ 85.74
€ 85.74
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
€ 196.15
€ 196.15
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
€ 68.98
€ 68.98
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
€ 67.99
€ 67.99
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
€ 67.39
€ 67.39
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
€ 67.71
€ 67.71
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
€ 73.88
€ 73.88
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
€ 82.80
€ 82.80
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
€ 68.25
€ 68.25
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
€ 135.29
€ 135.29
Paperback. Editor(s): Agrawal, Manindra; Li, Angsheng; Cooper, S. Barry. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 437 pages, 75 black & white illustrations, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 437
- Condition
- New
- SKU
- V9783319060880
- ISBN
- 9783319060880
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Jain, Rahul; Jain, Sanjay; Stephan, Frank. Series: Lecture Notes in Computer Science. Num Pages: 478 pages, 83 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319171418
- ISBN
- 9783319171418
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 494 pages, 91 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783642135613
- ISBN
- 9783642135613
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. This title addresses the three main themes of the conference which were computability, complexity, and algorithms. Editor(s): Ogihara, Mitsunori; Tarui, Jun. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 580 pages, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 812.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642208768
- ISBN
- 9783642208768
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Agrawal, Manindra; Cooper, Barry S. (University of Leeds); Li, Angsheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 637 pages, 91 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 887.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642299513
- ISBN
- 9783642299513
Paperback
Condition: New
€ 70.27
€ 70.27
paperback. Editor(s): Chan, T-H. Hubert; Lau, Lap-Chi; Trevisan, Luca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 37 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642382352
- ISBN
- 9783642382352
Paperback
Condition: New
€ 67.69
€ 67.69
Theory and Applications of Satisfiability Testing - SAT 2012
. Ed(S): Cimatti, Alessandro; Sebastiani, Rob...
Paperback. Editor(s): Cimatti, Alessandro; Sebastiani, Roberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, 364 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642316111
- ISBN
- 9783642316111
Paperback
Condition: New
€ 69.16
€ 69.16
Theory and Applications of Satisfiability Testing -SAT 2013
. Ed(S): Jarvisalo, Matti; Gelder, Allen Van
Paperback. Editor(s): Jarvisalo, Matti; Gelder, Allen van. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 453 pages, 84 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 453
- Condition
- New
- SKU
- V9783642390708
- ISBN
- 9783642390708
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research - Osaka University. This title presents the refereed proceedings of WCTP-2011, held in Quezon City, the Philippines, in September 2011. Editor(s): Nishizaki, Shin-Ya; Numao, Masayuki; Caro, Jaime; Suarez, Merlin Teodosia. Series: Proceedings in Information and Communications Technology. Num Pages: 225 pages, 58 black & white illustrations, 31 black & white tables, biography. BIC Classification: UM; UNF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 225
- Condition
- New
- SKU
- V9784431541059
- ISBN
- 9784431541059
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Editor(s): Abraham, Erika; Johnsen, Einar Broch; Bonsangue, Marcello. Series: Lecture Notes in Computer Science. Num Pages: 427 pages, 112 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 427
- Condition
- New
- SKU
- V9783319307336
- ISBN
- 9783319307336
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Result of the Lectures and Discussions during the Conference Editor(s): Strasser, Wolfgang; Seidel, Hans-Peter. Num Pages: 548 pages, black & white illustrations, bibliography. BIC Classification: UGC; UK; UML; UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 29. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642648663
- ISBN
- 9783642648663
Paperback
Condition: New
€ 252.62
€ 252.62
Paperback. Editor(s): Van Gorp, Pieter; Engels, Gregor. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 66 black & white illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 221
- Condition
- New
- SKU
- V9783319420639
- ISBN
- 9783319420639
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Varro, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 219 pages, 81 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 219
- Condition
- New
- SKU
- V9783319087887
- ISBN
- 9783319087887
Paperback
Condition: New
€ 66.01
€ 66.01