.png){kind=logo}
Computer programming / software development
Results 7761 - 7780 of 7783
Computer programming / software development
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 129.98
€ 129.98
Paperback. Editor(s): Abramowicz, Witold; Zurada, Jozef. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 450 pages, 53 black & white illustrations, biography. BIC Classification: KJQ; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 450
- Condition
- New
- SKU
- V9781475774757
- ISBN
- 9781475774757
Paperback
Condition: New
€ 250.99
€ 250.99
Paperback. Editor(s): Abrahamsson, Pekka; Jedlitschka, Andreas; Mikkonen, Tommi. Series: Lecture Notes in Computer Science. Num Pages: 777 pages, 156 black & white illustrations, biography. BIC Classification: KJQ; UBJ; UGK; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 40. Weight in Grams: 1205.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 777
- Condition
- New
- SKU
- V9783319490939
- ISBN
- 9783319490939
Paperback
Condition: New
€ 71.21
€ 71.21
Paperback. Editor(s): Abrahamsson, Pekka; Corral, Luis; Oivo, Markku; Russo, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 639 pages, 147 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 967.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 639
- Condition
- New
- SKU
- V9783319268439
- ISBN
- 9783319268439
Paperback
Condition: New
€ 69.79
€ 69.79
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Abraham, Erika; Palamidessi, Catusci...
Paperback. Editor(s): Abraham, Erika; Palamidessi, Catuscia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 313 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783662436127
- ISBN
- 9783662436127
Paperback
Condition: New
€ 66.88
€ 66.88
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. Editor(s): Abraham, Erika; Huisman, Marieke. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, 145 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 552
- Condition
- New
- SKU
- V9783319336923
- ISBN
- 9783319336923
Paperback
Condition: New
€ 107.69
€ 107.69
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abraham, Erika; Havelund, Klaus
Paperback. Editor(s): Abraham, Erika; Havelund, Klaus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 142 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642548611
- ISBN
- 9783642548611
Paperback
Condition: New
€ 70.66
€ 70.66
Information Processing in Computer Assisted Interventions
. Ed(S): Abolmaesumi, Purang; Joskowicz, Leo;...
paperback. Presents the proceedings of the Third International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2012, held in Pisa, Italy, on June 27, 2012. This title focuses on patient-specific modeling and its use in interventions, image-guided and robotic surgery, real-time tracking and imaging. Editor(s): Abolmaesumi, Purang; Joskowicz, Leo; Navab, Nassir; Jannin, Pierre. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 193 pages, 89 black & white illustrations, biography. BIC Classification: UML; UYQV; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 193
- Condition
- New
- SKU
- V9783642306174
- ISBN
- 9783642306174
Paperback
Condition: New
€ 82.52
€ 82.52
Paperback. These are the proceedings of the 12th International Conference on Algorithmic Learning Theory. The papers are in sections on complexity of learning, support vector machines, new learning models, online learning, inductive inference, refutable inductive inference, learning structures and languages. Editor(s): Abe, Naoki; Khardon, Roni; Zeugmann, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, biography. BIC Classification: UMB; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783540428756
- ISBN
- 9783540428756
Paperback
Condition: New
€ 72.08
€ 72.08
Paperback. Editor(s): Abdulla, Parosh Aziz; Potapov, Igor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 235 pages, 60 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. 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
- 235
- Condition
- New
- SKU
- V9783642410352
- ISBN
- 9783642410352
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Abd Manaf, Azizah; Zeki, Akram; Zamani, Mazdak; Chuprat, Suriayati; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 777 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 777
- Condition
- New
- SKU
- V9783642254529
- ISBN
- 9783642254529
Paperback
Condition: New
€ 133.34
€ 133.34
Paperback. Constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011. Editor(s): Abd Manaf, Azizah; Zeki, Akram; Zamani, Mazdak; Chuprat, Suriayati; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 650 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 903.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 650
- Condition
- New
- SKU
- V9783642253263
- ISBN
- 9783642253263
Paperback
Condition: New
€ 131.93
€ 131.93
Informatics Engineering and Information Science, Part IV: Internationa...
. Ed(S): Abd Manaf, Azizah; Sahibuddin, Shams...
paperback. Editor(s): Abd Manaf, Azizah; Sahibuddin, Shamsul; Ahmad, Rabiah; Mohd Daud, Salwani; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 521 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642254826
- ISBN
- 9783642254826
Paperback
Condition: New
€ 129.98
€ 129.98
Paperback. Editor(s): Abd Manaf, Azizah; Sahibuddin, Shamsul; Ahmad, Rabiah; Mohd Daud, Salwani; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 743 pages, 373 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1128.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 743
- Condition
- New
- SKU
- V9783642254611
- ISBN
- 9783642254611
Paperback
Condition: New
€ 132.21
€ 132.21
Paperback. Editor(s): Abascal, Julio; Gross, Tom; Palanque, Philippe; Winckler, Marco; Barbosa, Simone; Fetter, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 629 pages, 168 black & white illustrations, biography. BIC Classification: UBJ; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 629
- Condition
- New
- SKU
- V9783319227009
- ISBN
- 9783319227009
Paperback
Condition: New
€ 130.50
€ 130.50
Paperback. Editor(s): Abascal, Julio; Gross, Tom; Palanque, Philippe; Winckler, Marco; Barbosa, Simone; Fetter, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 663 pages, 203 black & white illustrations, biography. BIC Classification: UBJ; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 663
- Condition
- New
- SKU
- V9783319226972
- ISBN
- 9783319226972
Paperback
Condition: New
€ 130.79
€ 130.79
Paperback. Editor(s): Abascal, Julio; Gross, Tom; Palanque, Philippe; Winckler, Marco; Barbosa, Simone; Fetter, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 661 pages, 189 black & white illustrations, biography. BIC Classification: UBJ; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 661
- Condition
- New
- SKU
- V9783319226675
- ISBN
- 9783319226675
Paperback
Condition: New
€ 70.00
€ 70.00
Proceedings of the FISITA 2012 World Automotive Congress
. Ed(S): , (Sae-China), Society Of Automotive...
Hardback. Editor(s): , (SAE-China), Society of Automotive Engineers of China; , FISITA. Series: Lecture Notes in Electrical Engineering. Num Pages: 782 pages, biography. BIC Classification: TJF; TRC; UG; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1653.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 782
- Condition
- New
- SKU
- V9783642338281
- ISBN
- 9783642338281
Hardback
Condition: New
€ 257.36
€ 257.36
Paperback. Johnny-Five is an open source JavaScript Arduino programming framework for robotics. This book brings together fifteen rock star programmers, each creating a unique Johnny-Five robot step-by-step, and offering tips and tricks along the way. Experience with JavaScript is a prerequisite. Num Pages: 272 pages, illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 247 x 206 x 18. Weight in Grams: 628.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781457186950
- ISBN
- 9781457186950
Paperback
Condition: New
€ 32.99€ 31.81
€ 32.99
€ 31.81