Computer programming / software development
Results 7753 - 7771 of 7771
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
€ 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
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
€ 63.23
€ 63.23
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. 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
€ 65.93
€ 65.93
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
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
€ 122.39
€ 122.39
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
€ 128.04
€ 128.04
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
€ 185.14
€ 185.14
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
€ 78.43
€ 78.43
Programming Languages with Applications to Biology and Security
. Ed(S): Bodei, Chiara; Ferrari, Gianluigi; P...
Paperback. Editor(s): Bodei, Chiara; Ferrari, Gianluigi; Priami, Corrado. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, 77 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 375
- Condition
- New
- SKU
- V9783319255262
- ISBN
- 9783319255262
Paperback
Condition: New
€ 64.71
€ 64.71
The Multivariate Algorithmic Revolution and Beyond. Essays Dedicated t...
. Ed(S): Bodlaender, Hans L.; Downey, Rod; Fo...
Paperback. This Festschrift published in honor of Mike Fellows on the occasion of his 60th birthday contains 20 papers that showcase the history of parameterized complexity and also reflects on other parts of his unique and broad range of interests. Editor(s): Bodlaender, Hans L.; Downey, Rod; Fomin, Fedor V.; Marx, Daniel. Series: Lecture Notes in Computer Science. Num Pages: 506 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 233 x 157 x 29. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783642308901
- ISBN
- 9783642308901
Paperback
Condition: New
€ 66.49
€ 66.49
Paperback. Editor(s): Bodlaender, Hans L.; Italiano, Giuseppe F. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 847 pages, 134 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1276.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 847
- Condition
- New
- SKU
- V9783642404498
- ISBN
- 9783642404498
Paperback
Condition: New
€ 69.07
€ 69.07
hardcover. Captures the scientific contributions of Victor R Basili, who has shaped the field of empirical software engineering. He was the first to claim that software engineering needed to follow the model of other physical sciences and develop an experimental paradigm. This book presents a collection of papers on software engineering. Editor(s): Boehm, Barry W.; Rombach, Hans Dieter; Zelkowitz, Marvin V. Num Pages: 442 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540245476
- ISBN
- 9783540245476
Hardback
Condition: New
€ 224.88
€ 224.88
Paperback. Editor(s): Boehm, Barry W.; Rombach, Hans Dieter; Zelkowitz, Marvin V. Num Pages: 442 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 442
- Condition
- New
- SKU
- V9783642063893
- ISBN
- 9783642063893
Paperback
Condition: New
€ 153.73
€ 153.73
PRIMA 2013: Principles and Practice of Multi-Agent Systems
. Ed(S): Boella, Guido; Elkind, Edith; Savari...
Paperback. Editor(s): Boella, Guido; Elkind, Edith; Savarimuthu, Bastin Tony Roy; Dignum, Frank; Purvis, Martin. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 554 pages, 158 black & white illustrations. BIC Classification: UF; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783642449260
- ISBN
- 9783642449260
Paperback
Condition: New
€ 66.36
€ 66.36
Paperback. Presents tutorial lectures given by speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in The Netherlands, in November 2004. These lectures present an account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Graf, Susanne; de Roever, Willem-Paul. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 336 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 475.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540291312
- ISBN
- 9783540291312
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 65.58
€ 65.58