Computer programming / software development
Results 6145 - 6166 of 6166
Computer programming / software development
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
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; 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
€ 68.80
€ 68.80
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
€ 66.76
€ 66.76
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
€ 63.00
€ 63.00
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
€ 63.26
€ 63.26
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
€ 64.22
€ 64.22
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
€ 65.93
€ 65.93
Paperback. Constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in Vienna, Austria, in October 2010. Editor(s): Blesa Aguilera, Maria J.; Blum, Christian; Raidl, Gunther R. (Vienna University of Technology); Roli, Andrea; Sampels, Michael. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 43 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642160530
- ISBN
- 9783642160530
Paperback
Condition: New
€ 64.69
€ 64.69
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
€ 63.43
€ 63.43
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Bloch, Isabelle; Cesar, Roberto Marc...
Paperback. Constitutes the refereed proceedings of the 15th iberoamerican Congress on Pattern Recognition, CIARP 2010, held in Sao Paulo, Brazil, in November 2010. Editor(s): Bloch, Isabelle; Cesar, Roberto Marcond, Jr. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, 210 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783642166860
- ISBN
- 9783642166860
Paperback
Condition: New
€ 68.00
€ 68.00
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
€ 63.36
€ 63.36
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
€ 125.82
€ 125.82
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
€ 64.58
€ 64.58
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
€ 66.30
€ 66.30