.png){kind=logo}
Computer programming / software development
Results 7441 - 7460 of 7762
Computer programming / software development
Paperback. This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics. Editor(s): Bonacina, Maria Paola; Stickel, Mark E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 259 pages, 27 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642366741
- ISBN
- 9783642366741
Paperback
Condition: New
€ 61.44
€ 61.44
Hardback. Global optimization has found applications in many areas of science and technology including molecular biology, chemical equilibrium problems, medical imaging and networks. This book includes papers which indicates the diverse applicability of global optimization. Editor(s): Bomze, Immanuel M.; Csendes, Tibor; Horst, Reiner; Pardalos, Panos M. Series: Nonconvex Optimization and Its Applications. Num Pages: 359 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9780792343516
- ISBN
- 9780792343516
Hardback
Condition: New
€ 201.20
€ 201.20
Paperback. These proceedings of the 2000 Conference on Product Focused Software Process Improvement cover empirical software engineering, industrial experiences, methods and tools, software process and modelling, software and process measurement, and organizational learning. Editor(s): Bomarius, Frank; Oivo, Markku. Series: Lecture Notes in Computer Science. Num Pages: 437 pages, biography. BIC Classification: UBJ; UBL; UKR; UMZ. Category: (P) Professional & Scholarly. Dimension: 233 x 155 x 22. Weight in Grams: 1370.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540676881
- ISBN
- 9783540676881
Paperback
Condition: New
€ 73.04
€ 73.04
Paperback. The papers in this volume cover topics such as: quality of software; software process assessment and improvement; organizational learning and experience factory; industrial experiences and case studies; software and process modelling; and empirical software engineering. Editor(s): Bomarius, Frank; Komi-Sirvio, Seija. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540425717
- ISBN
- 9783540425717
Paperback
Condition: New
€ 72.10
€ 72.10
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
€ 211.82
€ 211.82
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
€ 196.53
€ 196.53
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
€ 258.08
€ 258.08
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
€ 71.66
€ 71.66
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
€ 55.88
€ 55.88
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
€ 250.29
€ 250.29
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