.png){kind=logo}
Computer programming / software development
Results 2161 - 2184 of 8407
Computer programming / software development
Paperback. Editor(s): Hahnle, Reiner; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 125 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642406140
- ISBN
- 9783642406140
Paperback
Condition: New
€ 60.79
€ 60.79
Paperback. Editor(s): Weickert, Joachim; Hein, Matthias; Schiele, Bernt. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 464 pages, 207 black & white illustrations, biography. BIC Classification: UGK; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642406010
- ISBN
- 9783642406010
Paperback
Condition: New
€ 68.61
€ 68.61
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 69.86
€ 69.86
Paperback. Editor(s): Hierons, Robert M.; Merayo, Mercedes G.; Bravetti, Mario. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 113 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642405600
- ISBN
- 9783642405600
Paperback
Condition: New
€ 67.12
€ 67.12
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
€ 61.20
€ 61.20
Paperback. Editor(s): Kotze, Paula; Marsden, Gary; Lindgaard, Gitte; Wesson, Janet; Winckler, Marco. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 821 pages, 260 black & white illustrations, biography. BIC Classification: JNV; UBJ; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1240.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 821
- Condition
- New
- SKU
- V9783642404795
- ISBN
- 9783642404795
Paperback
Condition: New
€ 132.98
€ 132.98
Transactions on Petri Nets and Other Models of Concurrency
. Ed(S): Koutny, Maciej; Van Der Aalst, Wil M...
Paperback. This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications. Editor(s): Koutny, Maciej; Van der Aalst, Wil M. P.; Van der Aalst, Wil; Yakovlev, Alex. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 221 pages, 85 black & white illustrations, biography. BIC Classification: UMX; UTR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642404641
- ISBN
- 9783642404641
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Bodlaender, Hans L.; Italiano, Giuseppe F. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 847 pages, 134 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1276.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 847
- Condition
- New
- SKU
- V9783642404498
- ISBN
- 9783642404498
Paperback
Condition: New
€ 72.37
€ 72.37
Hardback. Enabling Things to Talk Editor(s): Bassi, Alessandro; Bauer, Martin; Fiedler, Martin; Kramp, Thorsten; Kranenburg, Rob van; Lange, Sebastian; Meissner, Stefan. Num Pages: 359 pages, 15 black & white illustrations, 116 colour illustrations, biography. BIC Classification: JPP; KJMV5; KJQ; UMZ. Category: (P) Professional & Vocational. Dimension: 165 x 242 x 26. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642404023
- ISBN
- 9783642404023
Hardback
Condition: New
€ 73.66
€ 73.66
Energy Minimization Methods in Computer Vision and Pattern Recognition
. Ed(S): Heyden, Anders; Kahl, Fredrik; Olsso...
Paperback. Editor(s): Heyden, Anders; Kahl, Fredrik; Olsson, Carl; Oskarsson, Magnus; Tai, Xue-Cheng. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 375 pages, 130 black & white illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642403941
- ISBN
- 9783642403941
Paperback
Condition: New
€ 67.75
€ 67.75
Space-Efficient Data Structures, Streams, and Algorithms
. Ed(S): Brodnik, Andrej; Lopez-Ortiz, Alejan...
Paperback. This Festschrift volume, published in honor of J. Ian Munro, presents a good overall perspective of the last 40 years of research in algorithms and data structures. It also explores the future prospects in algorithm research. Editor(s): Brodnik, Andrej; Lopez-Ortiz, Alejandro (University of Waterloo); Raman, Venkatesh; Viola, Alfredo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 363 pages, 58 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 363
- Condition
- New
- SKU
- V9783642402722
- ISBN
- 9783642402722
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. Editor(s): Arbab, Farhad; Sirjani, Marjan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 302 pages, 85 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642402128
- ISBN
- 9783642402128
Paperback
Condition: New
€ 66.78
€ 66.78
Paperback. Editor(s): Joshi, Kaustubh; Siegle, Markus; Stoelinga, Marielle; D'Argenio, Pedro R. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 418 pages, 98 black & white illustrations, biography. BIC Classification: UM; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 418
- Condition
- New
- SKU
- V9783642401954
- ISBN
- 9783642401954
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Editor(s): D'Argenio, Pedro R.; Melgratti, Hernan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 576 pages, 83 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642401831
- ISBN
- 9783642401831
Paperback
Condition: New
€ 69.70
€ 69.70
paperback. Editor(s): Daniel, Florian; Wang, Jianmin; Weber, Barbara. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 371 pages, 124 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 569.
- 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
- V9783642401756
- ISBN
- 9783642401756
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. Editor(s): Canetti, Ran; Garay, Juan A. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 576 pages, 31 black & white illustrations, biography. BIC Classification: PBD; UMB; URY; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 30. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642400834
- ISBN
- 9783642400834
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. Editor(s): Canetti, Ran; Garay, Juan A. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 608 pages, 83 black & white illustrations, biography. BIC Classification: PBD; UMB; URY; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 608
- Condition
- New
- SKU
- V9783642400407
- ISBN
- 9783642400407
Paperback
Condition: New
€ 70.06
€ 70.06
Hardback. Verification of Business Rules Programs Num Pages: 236 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 549.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642400377
- ISBN
- 9783642400377
Hardback
Condition: New
€ 67.48
€ 67.48
Paperback. Editor(s): Nielsen, Frank; Barbaresco, Frederic. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 899 pages, 157 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1353.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 899
- Condition
- New
- SKU
- V9783642400193
- ISBN
- 9783642400193
Paperback
Condition: New
€ 72.88
€ 72.88
Paperback. Editor(s): Chignell, Mark; Cordy, James; Kealey, Ryan; Ng, Joanna; Yesha, Yelena. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 221 pages, 97 black & white illustrations, biography. BIC Classification: UMZ; UNH; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642399947
- ISBN
- 9783642399947
Paperback
Condition: New
€ 85.74
€ 85.74
Hardcover. Handbook on Agent-Oriented Design Processes Editor(s): Cossentino, Massimo; Hilaire, Vincent; Molesini, Ambra; Seidita, Valeria. Num Pages: 577 pages, 508 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 164 x 36. Weight in Grams: 994.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783642399749
- ISBN
- 9783642399749
Hardback
Condition: New
€ 131.24
€ 131.24
Paperback. Editor(s): Muller, Jorg P.; Cossentino, Massimo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 207 pages, 78 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 207
- Condition
- New
- SKU
- V9783642398650
- ISBN
- 9783642398650
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. Editor(s): Sharygina, Natasha; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1037 pages, 237 black & white illustrations, biography. BIC Classification: UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 51. Weight in Grams: 1538.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1037
- Condition
- New
- SKU
- V9783642397981
- ISBN
- 9783642397981
Paperback
Condition: New
€ 135.05
€ 135.05