.png){kind=logo}
Computer programming / software development
Results 8101 - 8120 of 8429
Computer programming / software development
Hardback. Scientific applications involve large computations that strain the resources of whatever computers are available. This book addresses methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, and the role of object-oriented languages. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 378
- Condition
- New
- SKU
- V9780792373391
- ISBN
- 9780792373391
Hardback
Condition: New
€ 256.69
€ 256.69
Paperback. Editor(s): Boissonnat, Jean-Daniel; Cohen, Albert; Gibaru, Olivier; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, 153 black & white illustrations, biography. BIC Classification: UGC; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 503
- Condition
- New
- SKU
- V9783319228037
- ISBN
- 9783319228037
Paperback
Condition: New
€ 68.59
€ 68.59
Human-Centered and Error-Resilient Systems Development
. Ed(S): Bogdan, Cristian; Gulliksen, Jan; Sa...
Paperback. Editor(s): Bogdan, Cristian; Gulliksen, Jan; Sauer, Stefan; Forbrig, Peter; Winckler, Marco; Palanque, Philippe; Bernhaupt, Regina. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 124 black & white illustrations, biography. BIC Classification: UB; UMX; UMZ; UNH; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 400
- Condition
- New
- SKU
- V9783319449012
- ISBN
- 9783319449012
Paperback
Condition: New
€ 67.65
€ 67.65
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
€ 70.90
€ 70.90
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
€ 69.52
€ 69.52
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
€ 161.34
€ 161.34
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
€ 235.97
€ 235.97
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
€ 72.37
€ 72.37
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
€ 69.28
€ 69.28
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
€ 67.51
€ 67.51
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