.png){kind=logo}
Computer programming / software development
Results 7381 - 7400 of 7669
Computer programming / software development
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 65.98
€ 65.98
Information, Coding and Mathematics: Proceedings of Workshop honoring ...
. Ed(S): Blaum, Mario; Farrell, Patrick Guy; ...
paperback. Editor(s): Blaum, Mario; Farrell, Patrick Guy; Tilborg, Henk C. A. van. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 378 pages, biography. BIC Classification: TJF; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 378
- Condition
- New
- SKU
- V9781441952899
- ISBN
- 9781441952899
Paperback
Condition: New
€ 195.01
€ 195.01
Paperback. Editor(s): Blanchette, Jasmin Christian; Kosmatov, Nikolai. Series: Lecture Notes in Computer Science. Num Pages: 228 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 228
- Condition
- New
- SKU
- V9783319212142
- ISBN
- 9783319212142
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Constitutes the thoroughly refereed proceedings of the 14th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2012, held in Brno, Czech Republic, in September 2012. Editor(s): Blanc-Talon, Jaques; Philips, Wilfried; Popescu, Dan C.; Scheunders, Paul; Zemcik, Pavel. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 556 pages, 253 black & white illustrations, biography. BIC Classification: UKN; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 773.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642331398
- ISBN
- 9783642331398
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. Editor(s): Blanc-Talon, Jaques; Philips, Wilfried; Popescu, Dan C.; Scheunders, Paul; Kleihorst, Richard. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 781 pages, 426 black & white illustrations, biography. BIC Classification: UKN; UMB; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1079.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 781
- Condition
- New
- SKU
- V9783642236860
- ISBN
- 9783642236860
Paperback
Condition: New
€ 71.65
€ 71.65
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
€ 131.42
€ 131.42
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
€ 65.62
€ 65.62
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
€ 127.40
€ 127.40
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
€ 127.45
€ 127.45
paperback. Editor(s): Blackham, R. B.; Flood, Robert Louis; Jackson, Michael C.; Mansell, G. J.; Probert, S. V. E. Num Pages: 612 pages, biography. BIC Classification: JP; KJMD; UMZ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 32. Weight in Grams: 1178.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 612
- Condition
- New
- SKU
- V9781461366690
- ISBN
- 9781461366690
Paperback
Condition: New
€ 71.74
€ 71.74
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
€ 68.49
€ 68.49
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
€ 69.14
€ 69.14
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
€ 69.67
€ 69.67
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
€ 197.62
€ 197.62
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
€ 198.64
€ 198.64
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
€ 75.47
€ 75.47
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
€ 67.21
€ 67.21
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
€ 66.73
€ 66.73
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
€ 67.57
€ 67.57
Paperback. Editor(s): Birtwistle, Graham; Subrahmanyam, P. A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 404 pages, 1 black & white illustrations, biography. BIC Classification: THR; TJFC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 404
- Condition
- New
- SKU
- V9781461291978
- ISBN
- 9781461291978
Paperback
Condition: New
€ 128.96
€ 128.96