Computer programming / software development
Results 1321 - 1340 of 7298
Computer programming / software development
Paperback. Editor(s): Jhala, Ranjit; Igarashi, Atsushi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 401 pages, 104 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783642351815
- ISBN
- 9783642351815
Paperback
Condition: New
€ 65.32
€ 65.32
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783642182747
- ISBN
- 9783642182747
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Editor(s): Jiang, Xiaoyi; Hornegger, Joachim; Koch, Reinhard. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 793 pages, 310 black & white illustrations, biography. BIC Classification: UGK; UML; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 40. Weight in Grams: 1199.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 793
- Condition
- New
- SKU
- V9783319117515
- ISBN
- 9783319117515
Paperback
Condition: New
€ 68.45
€ 68.45
Paperback. MSEC2011 is an integrated conference concentrating its focus upon Multimedia, Software Engineering, Computing and Education. In the proceeding, you can learn much more knowledge about Multimedia, Software Engineering ,Computing and Education of researchers all around the world. This title deals with this conference. Editor(s): Jin, David; Lin, Song. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 708 pages, 244 black & white illustrations, biography. BIC Classification: UG; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1098.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 708
- Condition
- New
- SKU
- V9783642259852
- ISBN
- 9783642259852
Paperback
Condition: New
€ 359.65
€ 359.65
paperback. MSEC2011 is an integrated conference concentrating its focus upon Multimedia ,Software Engineering, Computing and Education. In the proceeding, you can learn much more knowledge about Multimedia, Software Engineering, Computing and Education of researchers all around the world. This book deals with this conference. Editor(s): Jin, David; Lin, Song. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 688 pages, 235 black & white illustrations, biography. BIC Classification: UG; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 976.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 688
- Condition
- New
- SKU
- V9783642259883
- ISBN
- 9783642259883
Paperback
Condition: New
€ 359.36
€ 359.36
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Jobstmann, Barbara; Leino, K. Rustan...
Paperback. Editor(s): Jobstmann, Barbara; Leino, K. Rustan M. Series: Lecture Notes in Computer Science. Num Pages: 571 pages, 123 colour illustrations, biography. BIC Classification: UMZT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783662491218
- ISBN
- 9783662491218
Paperback
Condition: New
€ 66.57
€ 66.57
Paperback. Editor(s): Johannesson, Paul; Lee, Mong Li; Liddle, Stephen W.; Opdahl, Andreas L.; Lopez, Oscar. Series: Lecture Notes in Computer Science. Num Pages: 635 pages, 187 colour illustrations, biography. BIC Classification: UMB; UN; UYM; UYQP. Category: (P) Professional & Vocational. Dimension: 159 x 296 x 39. Weight in Grams: 962.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 635
- Condition
- New
- SKU
- V9783319252636
- ISBN
- 9783319252636
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Editor(s): Johnsen, Einar Broch; Petre, Luigia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 457 pages, 95 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. 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
- V9783642386121
- ISBN
- 9783642386121
Paperback
Condition: New
€ 65.45
€ 65.45
Evolutionary and Biologically Inspired Music, Sound, Art and Design
. Ed(S): Johnson, Colin R.; Carballal, Adrian...
paperback. Editor(s): Johnson, Colin R.; Carballal, Adrian; Correia, Joao. Series: Lecture Notes in Computer Science. Num Pages: 285 pages, 129 black & white illustrations, biography. BIC Classification: UMB; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 285
- Condition
- New
- SKU
- V9783319164977
- ISBN
- 9783319164977
Paperback
Condition: New
€ 63.48
€ 63.48
Evolutionary and Biologically Inspired Music, Sound, Art and Design
. Ed(S): Johnson, Colin; Correia, Joao; Macha...
Paperback. Editor(s): Johnson, Colin; Correia, Joao; Machado, Penousal. Series: Lecture Notes in Computer Science. Num Pages: 251 pages, 124 black & white illustrations, biography. BIC Classification: H; UMB; UYA; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 251
- Condition
- New
- SKU
- V9783319310077
- ISBN
- 9783319310077
Paperback
Condition: New
€ 63.40
€ 63.40
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, that was held in Lac-Beauport, QC, Canada, in June 2010. Editor(s): Johnson, Michael; Pavlovic, Dusko. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, 36 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642177958
- ISBN
- 9783642177958
Paperback
Condition: New
€ 64.81
€ 64.81
Paperback. This volume contains the papers presented at the 7th International Conference on Object Oriented Information Systems - OOIS 2001. Editor(s): Johnston, Mr Ronald; Wang, Yingxu; Patel, Shushma. Num Pages: 556 pages, 71 black & white illustrations, biography. BIC Classification: UDB; UMN; UNS; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 556
- Condition
- New
- SKU
- V9781852335465
- ISBN
- 9781852335465
Paperback
Condition: New
€ 124.03
€ 124.03
Paperback. This volume contains the papers presented at a conference on computer refinement, which is the term used to describe systematic and formal methods of specifying hardware and software. These specifications are then transformed into designs and implementations. Editor(s): Jones, Cliff B.; Shaw, Roger C.; Denvir, Tim. Series: Workshops in Computing. Num Pages: 381 pages, 3 black & white illustrations, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 381
- Condition
- New
- SKU
- V9783540197522
- ISBN
- 9783540197522
Paperback
Condition: New
€ 64.85
€ 64.85
Paperback. Editor(s): Jones, Cliff; Pihlajasaari, Pekka; Sun, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 768 pages, 185 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 39. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 768
- Condition
- New
- SKU
- V9783319064093
- ISBN
- 9783319064093
Paperback
Condition: New
€ 126.44
€ 126.44
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow ...
. Ed(S): Jones, Simon L.Peyton; Hutton, Graha...
paperback. A volume of papers from a workshop in 1990 addressing aspects of functional programming such as lifetimes, strictness and heap contents, the relationship between forward and backward analysis, improved programme compilation, partial applications and parallel programming. Editor(s): Jones, Simon L.Peyton; Hutton, Graham; Kehler Holst, Carsten. Series: Workshops in Computing. Num Pages: 287 pages, 3 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 16. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540196679
- ISBN
- 9783540196679
Paperback
Condition: New
€ 64.30
€ 64.30
Design and Production of Multimedia and Simulation-based Learning Mate...
. Ed(S): Jong, Ton De; Sarti, Luigi
Paperback. Editor(s): Jong, Ton de; Sarti, Luigi. Num Pages: 253 pages, biography. BIC Classification: UMA; UYQ; YQT. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 14. Weight in Grams: 439.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 253
- Condition
- New
- SKU
- V9789401044066
- ISBN
- 9789401044066
Paperback
Condition: New
€ 121.71
€ 121.71
Paperback / so. Editor(s): Jonsson, Magnus; Vinel, Alexey (Tampere University of Technology, Finland); Bellalta, Boris; Ninoslav, Marina; Desislava, Dimitrova; Fiems, Dieter. Series: Lecture Notes in Computer Science / Computer Communication N. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UBJ; UKN; UMB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 11. Weight in Grams: 286.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783319038704
- ISBN
- 9783319038704
Paperback
Condition: New
€ 64.18
€ 64.18
paperback. Editor(s): Jonsson, Magnus; Vinel, Alexey; Bellalta, Boris; Tirkkonen, Olav. Series: Lecture Notes in Computer Science. Num Pages: 169 pages, 53 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 169
- Condition
- New
- SKU
- V9783319234397
- ISBN
- 9783319234397
Paperback
Condition: New
€ 52.30
€ 52.30
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
€ 65.14
€ 65.14
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 65.73
€ 65.73