Computer programming / software development
Results 6457 - 6462 of 6462
Computer programming / software development
Paperback. Editor(s): Bielza, Concha; Salmeron, Antonio; Alonso-Betanzos, Amparo; Hidalgo, J. Ignacio; Martinez, Luis; Troncoso, Alicia; Corchado, Emilio; Corchado, Juan M. Series: Lecture Notes in Computer Science. Num Pages: 422 pages, 98 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 422
- Condition
- New
- SKU
- V9783642406423
- ISBN
- 9783642406423
Paperback
Condition: New
€ 65.49
€ 65.49
paperback. Editor(s): Biere, Armin; Nahir, Amir; Vos, Tanja E. J. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 293 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642396106
- ISBN
- 9783642396106
Paperback
Condition: New
€ 58.66
€ 58.66
Paperback / so. Editor(s): Biethahn, J; Hummeltenberg, W; Schmidt, B. Series: Fachberichte Simulation. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; KJT; PBF; PBW; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 553.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540546665
- ISBN
- 9783540546665
Paperback
Condition: New
€ 86.38
€ 86.38
Paperback. Editor(s): Biethahn, Jorg; Hummeltenberg, Wilhelm; Schmidt, Bernd. Series: Fachberichte Simulation. Num Pages: 251 pages, black & white illustrations, bibliography. BIC Classification: KCA; KJU; TBJ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783540532897
- ISBN
- 9783540532897
Paperback
Condition: New
€ 79.66
€ 79.66
paperback. Editor(s): Biffl, Stefan; Aurum, Aybuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Number of pages
- 410
- Condition
- New
- SKU
- V9783642065316
- ISBN
- 9783642065316
Paperback
Condition: New
€ 185.03
€ 185.03
Paperback. Constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2012. Editor(s): Biffl, Stefan; Winkler, Dietmar; Bergsmann, Johannes. Series: Lecture Notes in Business Information Processing. Num Pages: 231 pages, 66 black & white illustrations, biography. BIC Classification: KJMP; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642272127
- ISBN
- 9783642272127
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Editor(s): Bikakis, Antonis; Fodor, Paul; Roman, Dumitru. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 77 black & white illustrations, biography. BIC Classification: UB; UM; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 361
- Condition
- New
- SKU
- V9783319098692
- ISBN
- 9783319098692
Paperback
Condition: New
€ 64.34
€ 64.34
Paperback. Editor(s): Binder, Walter; Bodden, Eric; Lowe, Welf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 155 pages, 38 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642396137
- ISBN
- 9783642396137
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This volume contains 15 full papers, 20 short papers, and 7 extended abstracts carefully selected out of 81 submissions. The papers cover various topics of swarm intelligence. Editor(s): Birattari, Mauro; Blum, Christian; Christensen, Anders Lyhne; Engelbrecht, Andries P.; Gross, Roderich; Stutzle, Thomas; Dorigo, Marco. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 370 pages, 114 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642326493
- ISBN
- 9783642326493
Paperback
Condition: New
€ 64.99
€ 64.99
Paperback. Editor(s): Biryukov, Alex; Goyal, Vipul. Series: Lecture Notes in Computer Science. Num Pages: 391 pages, 53 colour illustrations, biography. BIC Classification: GPJ; PBD; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 391
- Condition
- New
- SKU
- V9783319266169
- ISBN
- 9783319266169
Paperback
Condition: New
€ 64.61
€ 64.61
Paperback. Covers advances in automatic differentiation theory and practice. This book offers insights into effective strategies for using automatic differentiation for inverse problems and design optimization. It is suitable for computer scientists and mathematicians. Editor(s): Bischof, C.; B�cker, H. Martin; Hovland, Paul; Naumann, Uwe; Utke, Jean. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 386 pages, 111 black & white illustrations, 37 black & white tables, biography. BIC Classification: PBU; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540689355
- ISBN
- 9783540689355
Paperback
Condition: New
€ 201.44
€ 201.44
Paperback. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development. Editor(s): Bishop, Judith; Vallecillo, Antonio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 307 pages, 86 black & white illustrations, 24 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642219511
- ISBN
- 9783642219511
Paperback
Condition: New
€ 65.58
€ 65.58
E-Infrastructure and e-Services for Developing Countries
. Ed(S): Bissyande, Tegawende F.; Van Stam, G...
Paperback. Editor(s): Bissyande, Tegawende F.; Van Stam, Gertjan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 298 pages, 82 black & white illustrations, biography. BIC Classification: 1QFG; TJK; UBJ; UMWS; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 298
- Condition
- New
- SKU
- V9783319083674
- ISBN
- 9783319083674
Paperback
Condition: New
€ 63.81
€ 63.81
Paperback. Editor(s): Bitsch, Friedemann; Guiochet, Jeremie; Kaaniche, Mohamed. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 320 pages, 109 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; UMZ; UR; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642407925
- ISBN
- 9783642407925
Paperback
Condition: New
€ 64.13
€ 64.13
paperback. This text constitutes the refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. Fifty revised papers and two invited memorial papers on the perspectives of system informatics are presented. Editor(s): Bjorner, Dines; Broy, Manfred; Zamulin, A.; Erashov, A.P. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMC; UMX; UYF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540430759
- ISBN
- 9783540430759
Paperback
Condition: New
€ 72.02
€ 72.02
Hardback. Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their original development. It contains references and pointers to developments. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1136.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 646
- Condition
- New
- SKU
- V9783540741060
- ISBN
- 9783540741060
Hardback
Condition: New
€ 189.24
€ 189.24
Paperback. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 646
- Condition
- New
- SKU
- V9783642093456
- ISBN
- 9783642093456
Paperback
Condition: New
€ 188.26
€ 188.26
Paperback. Editor(s): Bjorner, Nikolaj; Boer, Frank de. Series: Lecture Notes in Computer Science. Num Pages: 626 pages, 156 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 626
- Condition
- New
- SKU
- V9783319192482
- ISBN
- 9783319192482
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 66.28
€ 66.28
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Bjorner, Nikolaj; Voronkov, Andrei
paperback. Constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. Editor(s): Bjorner, Nikolaj; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 647.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642287169
- ISBN
- 9783642287169
Paperback
Condition: New
€ 65.78
€ 65.78
Paperback. Including a useful overview of the latest research on implemented SWS technologies, this volume details a variety of current semantic service approaches and provides valuable material that will enhance future SWS evaluation methodologies and techniques. Editor(s): Blake, Brian; Cabral, Liliana; Konig-Ries, Birgitta; Kuster, Ulrich; Martin, David. Num Pages: 376 pages, 35 black & white tables, biography. BIC Classification: UBW; UMW. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783642426643
- ISBN
- 9783642426643
Paperback
Condition: New
€ 121.53
€ 121.53
Paperback. Editor(s): Blake, Edwin H.; Wisskirchen, Peter. Series: Focus on Computer Graphics. Num Pages: 218 pages, biography. BIC Classification: UGC; UML; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 12. Weight in Grams: 404.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642763052
- ISBN
- 9783642763052
Paperback
Condition: New
€ 121.61
€ 121.61
Paperback. Editor(s): Blanas, Spyros; Bordawekar, Rajesh; Levandoski, Justin; Pavlo, Andrew; Larhiri, Tirthankar. Series: Lecture Notes in Computer Science. Num Pages: 157 pages, 99 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 157
- Condition
- New
- SKU
- V9783319561103
- ISBN
- 9783319561103
Paperback
Condition: New
€ 63.02
€ 63.02
paperback. Editor(s): Blanc-Talon, Jaques; Kasiniski, Andrzej; Philips, Wilfried; Popescu, Dan C.; Scheunders, Paul. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 733 pages, 333 black & white illustrations, biography. BIC Classification: UKN; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1014.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2013th Edition
- Number of pages
- 733
- Condition
- New
- SKU
- V9783319028941
- ISBN
- 9783319028941
Paperback
Condition: New
€ 125.86
€ 125.86