.png){kind=logo}
Computer programming / software development
Results 1721 - 1740 of 8431
Computer programming / software development
Paperback. Editor(s): Menze, Bjoern; Langs, Georg; Montillo, Albert; Kelm, Michael; Muller, Henning; Zhang, Shaoting; Cai, Weidong; Metaxas, Dimitris N. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 222 pages, 78 black & white illustrations, biography. BIC Classification: UGK; UML; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319139715
- ISBN
- 9783319139715
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Merayo, Mercedes G.; Montes de Oca, Edgardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 225 pages, 63 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783662448564
- ISBN
- 9783662448564
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. Editor(s): Mery, Dominique; Merz, Stephan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 347 pages, 110 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783642162640
- ISBN
- 9783642162640
Paperback
Condition: New
€ 67.41
€ 67.41
Paperback. Editor(s): Merz, Stephan; Blanchette, Jasmin Christian. Series: Lecture Notes in Computer Science. Num Pages: 519 pages, 88 black & white illustrations, biography. BIC Classification: UGK; UMB; UMZ; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 519
- Condition
- New
- SKU
- V9783319431437
- ISBN
- 9783319431437
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Editor(s): Merz, Stephan; Pang, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 478 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319117362
- ISBN
- 9783319117362
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback. Editor(s): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 679 pages, 115 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 679
- Condition
- New
- SKU
- V9783642546235
- ISBN
- 9783642546235
Paperback
Condition: New
€ 70.12
€ 70.12
High Performance Computing Systems and Applications
. Ed(S): Mewhort, Douglas J. K.; Cann, Natali...
Paperback. Constitutes the refereed post-conference proceedings of the 23rd International Symposium on High Performance Computing Systems and Applications, HPCS 2009, held in Kingston, Canada, in June 2009. Editor(s): Mewhort, Douglas J. K.; Cann, Natalie M.; Slater, Gary W.; Naughton, Thomas J. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 431 pages, 205 black & white illustrations, biography. BIC Classification: UKR; UMB; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783642126581
- ISBN
- 9783642126581
Paperback
Condition: New
€ 68.32
€ 68.32
Paperback. Editor(s): Mey, Dieter an; Alexander, Michael; Paolo, Bientinesi; Cannataro, Mario; Clauss, Carsten; Costan, Alexandru; Kecskemeti, Gabor; Morin, Christine; Ricci, Laura; Sahuquillo, Julio. Series: Lecture Notes in Computer Science. Num Pages: 930 pages, 337 black & white illustrations, biography. BIC Classification: UMB; UMZ; UN; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 47. Weight in Grams: 1401.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 930
- Condition
- New
- SKU
- V9783642544194
- ISBN
- 9783642544194
Paperback
Condition: New
€ 133.20
€ 133.20
Model Checking and Artificial Intelligence: 6th International Workshop...
. Ed(S): Meyden, Ron Van Der; Smaus, Jan-Geor...
paperback. Presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, that was held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. This book contains an extended abstract of the invited talk held at the workshop. Editor(s): Meyden, Ron Van Der; Smaus, Jan-Georg. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 142 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9783642206733
- ISBN
- 9783642206733
Paperback
Condition: New
€ 65.50
€ 65.50
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science. Num Pages: 198 pages, 29 colour illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 158 x 234 x 15. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 198
- Condition
- New
- SKU
- V9783319284057
- ISBN
- 9783319284057
Paperback
Condition: New
€ 55.88
€ 55.88
Paperback. Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 220 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642252303
- ISBN
- 9783642252303
Paperback
Condition: New
€ 82.80
€ 82.80
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 183 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642357459
- ISBN
- 9783642357459
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Meyer, Bertrand; Woodcock, James. Series: Lecture Notes in Computer Science. Num Pages: 546 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783540691471
- ISBN
- 9783540691471
Paperback
Condition: New
€ 130.48
€ 130.48
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 259.12
€ 259.12
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 135.45
€ 135.45
paperback. Editor(s): Meyer, John F. (University of Michigan, Ann Arbor, USA); Schlichting, Richard D. Series: Dependable Computing and Fault-Tolerant Systems. Num Pages: 439 pages, biography. BIC Classification: TRC; UMA; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 439
- Condition
- New
- SKU
- V9783709192009
- ISBN
- 9783709192009
Paperback
Condition: New
€ 69.10
€ 69.10
Paperback. Editor(s): Meyer, Roland; Platzer, Andre; Wehrheim, Heike. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 69 colour illustrations, biography. BIC Classification: PBC; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319235059
- ISBN
- 9783319235059
Paperback
Condition: New
€ 66.66
€ 66.66
Software Quality and Software Testing in Internet Times
. Ed(S): Meyerhoff, Dirk; Laibarra, Begona; V...
Paperback. With contributions of numerous experts Editor(s): Meyerhoff, Dirk; Laibarra, Begona; Van Der Pouw Kraan, Rob; Wallet, Alan. Series: High-tech software quality management. Num Pages: 296 pages, 91 black & white illustrations, 13 black & white tables, biography. BIC Classification: UDB; UMZ; UN; UT. Category: (P) Professional & Vocational. Dimension: 242 x 193 x 16. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540426325
- ISBN
- 9783540426325
Paperback
Condition: New
€ 71.74
€ 71.74
Solving Large Scale Learning Tasks. Challenges and Algorithms
. Ed(S): Michaelis, Stefan; Piatkowski, Nico;...
Paperback. Editor(s): Michaelis, Stefan; Piatkowski, Nico; Stolpe, Marco. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 73 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 387
- Condition
- New
- SKU
- V9783319417059
- ISBN
- 9783319417059
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Editor(s): Miculan, Marino; Scagnetto, Ivan; Honsell, Furio. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540680840
- ISBN
- 9783540680840
Paperback
Condition: New
€ 66.97
€ 66.97