Computer programming / software development
Results 313 - 336 of 8461
Computer programming / software development
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
€ 126.93
€ 126.93
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
€ 66.22
€ 66.22
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.89
€ 64.89
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.60
€ 66.60
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.44
€ 122.44
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.12
€ 128.12
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
€ 186.78
€ 186.78
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.81
€ 78.81
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.86
€ 64.86
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.40
€ 66.40
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.39
€ 69.39
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
€ 225.98
€ 225.98
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
€ 154.48
€ 154.48
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.65
€ 66.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
€ 67.96
€ 67.96
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
€ 65.01
€ 65.01
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
€ 65.90
€ 65.90
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
€ 246.51
€ 246.51
The Architecture of Scientific Software. IFIP TC2/WG2.5 Working Confer...
. Ed(S): Boisvert, Ronald F.; Tang, Ping Tak ...
Paperback. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: PBKS; PBWH; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 378
- Condition
- New
- SKU
- V9781475767193
- ISBN
- 9781475767193
Paperback
Condition: New
€ 240.26
€ 240.26
paperback. Editor(s): Bojanczyk, Mikolaj; Potapov, Igor; Lasota, Slawomir. Series: Lecture Notes in Computer Science. Num Pages: 199 pages, 33 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 199
- Condition
- New
- SKU
- V9783319245362
- ISBN
- 9783319245362
Paperback
Condition: New
€ 53.72
€ 53.72
Paperback. Constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2012, held in Warsaw, Poland, in September 2012. Editor(s): Bolc, Leonard; Wojciechowski, Konrad; Tadeusiewicz, Ryszard; Chmielewski, Leszek J. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 771 pages, 376 black & white illustrations, biography. BIC Classification: UMB; UML; UYQ; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1063.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 771
- Condition
- New
- SKU
- V9783642335631
- ISBN
- 9783642335631
Paperback
Condition: New
€ 68.67
€ 68.67
Hardback. Introduces and discusses research results in software quality. This book focuses on knowledge based systems (KBS), quality and the impact of object-oriented technology on quality. Editor(s): Bologna, Sandro; Bucci, Giacomo. Series: IFIP Advances in Information and Communication Technology. Num Pages: 439 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 1760.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 439
- Condition
- New
- SKU
- V9780412639005
- ISBN
- 9780412639005
Hardback
Condition: New
€ 247.02
€ 247.02
Paperback. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: THR; UMA; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 26. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 488
- Condition
- New
- SKU
- V9781461359241
- ISBN
- 9781461359241
Paperback
Condition: New
€ 188.16
€ 188.16
Hardback. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792395294
- ISBN
- 9780792395294
Hardback
Condition: New
€ 203.55
€ 203.55