.png){kind=logo}
Computer programming / software development
Results 8113 - 8136 of 8431
Computer programming / software development
Visualisierung von Umweltdaten in Supercomputersystemen
. Ed(S): Bode, Arndt; Dierstein, Rudiger; Gob...
Paperback. Meeting was organized by the Gesellschaft f'ur Informatik and held at the Kernforschungszentrum Karlsruhe. Editor(s): Bode, Arndt; Dierstein, Rudiger; Gobel, Martin; Jaeschke, Andreas. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 128 pages, 12 black & white illustrations. BIC Classification: PSAF; RBGB; RNP; TQSW; UMB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 7. Weight in Grams: 255.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 128
- Condition
- New
- SKU
- V9783540527466
- ISBN
- 9783540527466
Paperback
Condition: New
€ 82.20
€ 82.20
Paperback. Editor(s): Bockle, Gebhard; Wiese, Gabor. Series: Contributions in Mathematical and Computational Sciences. Num Pages: 388 pages, 17 black & white illustrations, 12 colour illustrations, biography. BIC Classification: PBH; PBKS; PBMW; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 388
- Condition
- New
- SKU
- V9783319354798
- ISBN
- 9783319354798
Paperback
Condition: New
€ 194.65
€ 194.65
Hardback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 273 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 14. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 273
- Condition
- New
- SKU
- V9781848827356
- ISBN
- 9781848827356
Hardback
Condition: New
€ 133.53
€ 133.53
Formal Methods: State of the Art and New Directions
. Ed(S): Boca, Paul P.; Bowen, Jonathan P.; S...
Paperback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 298 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447157458
- ISBN
- 9781447157458
Paperback
Condition: New
€ 127.85
€ 127.85
Paperback. Constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, that was held in Pasadena, CA, USA. Editor(s): Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 548 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642203978
- ISBN
- 9783642203978
Paperback
Condition: New
€ 69.46
€ 69.46
Paperback. Constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. Editor(s): Blume, Matthias; Kobayashi, Naoki; Vidal, German. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 366 pages, 46 black & white illustrations, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 366
- Condition
- New
- SKU
- V9783642122507
- ISBN
- 9783642122507
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. This volume focuses on the deeper aspects of software and hardware -- the two recognized subdivisions that make up the field of computer science. The text offers classical theoretical computer science concepts such as Unsolvability and Undecidability, among other key topics. Editor(s): Blum, Edward; Aho, Alfred V. Num Pages: 480 pages, biography. BIC Classification: UKN; UMX; UMZ; UN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 480
- Condition
- New
- SKU
- V9781489994431
- ISBN
- 9781489994431
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Editor(s): Blomqvist, Eva; Ciancarini, Paolo; Poggi, Francesco; Vitali, Fabio. Series: Lecture Notes in Computer Science. Num Pages: 823 pages, 167 black & white illustrations, biography. BIC Classification: UMZ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 42. Weight in Grams: 1240.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 823
- Condition
- New
- SKU
- V9783319490038
- ISBN
- 9783319490038
Paperback
Condition: New
€ 132.23
€ 132.23
Paperback. Editor(s): Bloem, Roderick; Arbel, Eli. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 60 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. 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
- V9783319490519
- ISBN
- 9783319490519
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. Editor(s): Blesa, Maria J.; Blum, Christian; Voss, Stefan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 209 pages, 25 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319076430
- ISBN
- 9783319076430
Paperback
Condition: New
€ 65.94
€ 65.94
Paperback. Editor(s): Blesa, Maria J.; Blum, Christian; Cangelosi, Angelo; Cutello, Vincenzo; Di Nuovo, Alessandro; Pavone, Mario; Talbi, El-Ghazali. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, 70 black & white illustrations, biography. BIC Classification: PBU; PBUH; UMB; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 235
- Condition
- New
- SKU
- V9783319396354
- ISBN
- 9783319396354
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 69.10
€ 69.10
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, F...
. Ed(S): Blazy, Sandrine; Jensen, Thomas
paperback. Editor(s): Blazy, Sandrine; Jensen, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 349 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 1st ed. 2015
- Number of pages
- 349
- Condition
- New
- SKU
- V9783662482872
- ISBN
- 9783662482872
Paperback
Condition: New
€ 67.21
€ 67.21
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