.png){kind=logo}
Computer programming / software development
Results 6601 - 6620 of 7831
Computer programming / software development
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
€ 69.67
€ 69.67
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
€ 374.84
€ 374.84
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
€ 375.15
€ 375.15
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
€ 71.86
€ 71.86
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
€ 68.05
€ 68.05
Agent and Multi-Agent Systems: Technologies and Applications
. Ed(S): Jezic, Gordan; Kusek, Mario; Lovrek,...
paperback. Editor(s): Jezic, Gordan; Kusek, Mario; Lovrek, Ignac; Howlett, Robert J.; Jain, Prof. Lakhmi C. Series: Advances in Intelligent Systems and Computing. Num Pages: 340 pages, 106 black & white illustrations, biography. BIC Classification: UMA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2014th Edition
- Number of pages
- 340
- Condition
- New
- SKU
- V9783319076492
- ISBN
- 9783319076492
Paperback
Condition: New
€ 194.22
€ 194.22
Paperback. Editor(s): Jeusfeld, Manfred A.; Karlapalem, Kamalakar. Series: Lecture Notes in Computer Science. Num Pages: 378 pages, 140 colour illustrations, biography. BIC Classification: KJQ; UGK; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 378
- Condition
- New
- SKU
- V9783319257464
- ISBN
- 9783319257464
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Editor(s): Jeuring, Johan; Veltkamp, Remco C. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, 117 black & white illustrations, biography. BIC Classification: JNV; UKN; UMK; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 456
- Condition
- New
- SKU
- V9783319501819
- ISBN
- 9783319501819
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more. Editor(s): Jeuring, Johan; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Wenzel, Makarius; Sorge, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 491 pages, 117 black & white illustrations, biography. BIC Classification: UM; UNH; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 684.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 491
- Condition
- New
- SKU
- V9783642313738
- ISBN
- 9783642313738
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Editor(s): Jeschke, Sabina; Liu, Honghai; Schilberg, Daniel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 647 pages, biography. BIC Classification: UKN; UML; UNH; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 897.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 647
- Condition
- New
- SKU
- V9783642254888
- ISBN
- 9783642254888
Paperback
Condition: New
€ 70.33
€ 70.33
Paperback. Editor(s): Jeschke, Sabina; Liu, Honghai; Schilberg, Daniel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 667 pages, biography. BIC Classification: UKN; UML; UNH; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1009.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 667
- Condition
- New
- SKU
- V9783642254857
- ISBN
- 9783642254857
Paperback
Condition: New
€ 70.61
€ 70.61
paperback. Editor(s): Jerraya, Ahmed Amine; Yoo, Sungjoo; Wehn, Norbert; Verkest, Diederik. Num Pages: 530 pages, biography. BIC Classification: THR; TJFC; UGC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 530
- Condition
- New
- SKU
- V9781475784992
- ISBN
- 9781475784992
Paperback
Condition: New
€ 285.19
€ 285.19
hardcover. This text deals with various aspects of the design and development of embedded applications software for integrated single-chip computer systems. Editor(s): Jerraya, Ahmed Amine; Yoo, Sung joo; Wehn, Norbert; Verkest, Diederik. Num Pages: 530 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 951.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2003rd Edition
- Number of pages
- 530
- Condition
- New
- SKU
- V9781402075285
- ISBN
- 9781402075285
Hardback
Condition: New
€ 286.80
€ 286.80
System Analysis and Modeling. Technology-Specific Aspects of Models
. Ed(S): Jens, Grabowski; Herbold, Steffen
Paperback. Editor(s): Jens, Grabowski; Herbold, Steffen. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 99 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 253
- Condition
- New
- SKU
- V9783319466125
- ISBN
- 9783319466125
Paperback
Condition: New
€ 66.34
€ 66.34
Hardback. This text provides an integrative presentation of the issues, challenges and success of designing, building and using agent applications. The chapters presented are written by internationally leading authorities in the field. Editor(s): Jennings, Nicolas R.; Wooldridge, Mike. Num Pages: 325 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1998. 2nd printing 2002
- Number of pages
- 325
- Condition
- New
- SKU
- V9783540635918
- ISBN
- 9783540635918
Hardback
Condition: New
€ 134.25
€ 134.25
Paperback. Editor(s): Jelasity, Mark; Kalyvianaki, Evangelia. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319395760
- ISBN
- 9783319395760
Paperback
Condition: New
€ 66.10
€ 66.10
Computational Collective Intelligence Technologies and Applications
. Ed(S): Jedrzejowicz, Piotr; Nguyen, Ngoc Th...
Paperback. Constitutes the refereed proceedings of the Third International Conference on Computational Collective Intelligence, ICCCI 2011, held in Gdynia, Poland, in September 2011. Editor(s): Jedrzejowicz, Piotr; Nguyen, Ngoc Thanh; Hoang, Kiem. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 661 pages, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 661
- Condition
- New
- SKU
- V9783642239342
- ISBN
- 9783642239342
Paperback
Condition: New
€ 71.26
€ 71.26
Computational Collective IntelligenceTechnologies and Applications
. Ed(S): Jedrzejowicz, Piotr; Nguyen, Ngoc Th...
Paperback. Constitutes the refereed proceedings of the Third International Conference on Computational Collective Intelligence, ICCCI 2011, held in Gdynia, Poland, in September 2011. Editor(s): Jedrzejowicz, Piotr; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 543 pages, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 543
- Condition
- New
- SKU
- V9783642239373
- ISBN
- 9783642239373
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Editor(s): Jedlitschka, Andreas; Kuvaja, Pasi; Munch, Jurgen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 342 pages, 64 black & white illustrations, biography. BIC Classification: JPP; KJQ; UBJ; UGK; UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 342
- Condition
- New
- SKU
- V9783319138343
- ISBN
- 9783319138343
Paperback
Condition: New
€ 67.12
€ 67.12
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