.png){kind=logo}
Computer science
Results 15553 - 15576 of 16602
Computer science
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Katoen, Jost-Pieter; Stevens, Perdit...
Paperback. Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more. Editor(s): Katoen, Jost-Pieter; Stevens, Perdita. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540434191
- ISBN
- 9783540434191
Paperback
Condition: New
€ 74.05
€ 74.05
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Esparza, Javier; Majumdar, Rupak
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Esparza, Javier; Majumdar, Rupak. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 484 pages, 102 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642120015
- ISBN
- 9783642120015
Paperback
Condition: New
€ 68.83
€ 68.83
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Flanagan, Cormac; Konig, Barbara
Paperback. Constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. Editor(s): Flanagan, Cormac; Konig, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783642287558
- ISBN
- 9783642287558
Paperback
Condition: New
€ 69.82
€ 69.82
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abraham, Erika; Havelund, Klaus
Paperback. Editor(s): Abraham, Erika; Havelund, Klaus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 142 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642548611
- ISBN
- 9783642548611
Paperback
Condition: New
€ 70.66
€ 70.66
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Chechik, Marsha; Raskin, Jean-Franco...
Paperback. Editor(s): Chechik, Marsha; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science. Num Pages: 980 pages, 220 black & white illustrations, biography. BIC Classification: UMB; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 1478.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 980
- Condition
- New
- SKU
- V9783662496732
- ISBN
- 9783662496732
Paperback
Condition: New
€ 72.85
€ 72.85
Tools and Applications with Artificial Intelligence
. Ed(S): Koutsojannis, Constantinos; Sirmakes...
Hardback. The Workshop on "Applications with Artificial Intelligence" seeks for quality papers on computer applications that incorporate some kind of AI technique. This volume contains the latest research results of tools and applications with AI. Editor(s): Koutsojannis, Constantinos; Sirmakessis, Spiros. Series: Studies in Computational Intelligence. Num Pages: 213 pages, 61 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 493.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783540880684
- ISBN
- 9783540880684
Hardback
Condition: New
€ 128.15
€ 128.15
Hardback. Num Pages: 216 pages, 15 black & white illustrations, 49 colour illustrations, 4 black & white tables. BIC Classification: UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 408.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 216
- Condition
- New
- SKU
- V9783540685616
- ISBN
- 9783540685616
Hardback
Condition: New
€ 67.15
€ 67.15
Hardback. Constitutes the proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing that provide a technical overview in order to help engineers, developers and computer scientists decide which tools are best suited to enhancing their current development processes. Editor(s): Resch, Michael M.; Schulz, Alexander; Muller, Matthias S.; Nagel, Wolfgang E. Num Pages: 198 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 164 x 246 x 15. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642112607
- ISBN
- 9783642112607
Hardback
Condition: New
€ 128.48
€ 128.48
Paperback. none Editor(s): Muller, Matthias S.; Resch, Michael M.; Schulz, Alexander; Nagel, Wolfgang E. Num Pages: 198 pages, biography. BIC Classification: GPFC; UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642437526
- ISBN
- 9783642437526
Paperback
Condition: New
€ 126.80
€ 126.80
Paperback. Editor(s): Brunst, Holger; Muller, Matthias S.; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 172 pages, biography. BIC Classification: UB; UMB; UMX; UNF; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783642439858
- ISBN
- 9783642439858
Paperback
Condition: New
€ 126.53
€ 126.53
Paperback. Editor(s): Knupfer, Andreas; Gracia, Jose; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 135 pages, 14 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UKC; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 135
- Condition
- New
- SKU
- V9783319384498
- ISBN
- 9783319384498
Paperback
Condition: New
€ 139.14
€ 139.14
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 183 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642357459
- ISBN
- 9783642357459
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. This title covers not only software tools that designers, developers, and human factors experts can use to manage multiple types of guidelines, but also looks at techniques addressing organizational, sociological, and technological issues. Editor(s): Vanderdonckt, Jean; Farenc, Christelle. Num Pages: 382 pages, biography. BIC Classification: UL; UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 382
- Condition
- New
- SKU
- V9781852333553
- ISBN
- 9781852333553
Paperback
Condition: New
€ 195.06
€ 195.06
Top-Down Design of High-Performance Sigma-Delta Modulators (Volume 480...
Medeiro, Fernando; Perez-Verdu, Belen (Univer...
paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 287 pages, biography. BIC Classification: TJFC; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- Softcover reprint of 1st ed. 1999
- Number of pages
- 287
- Condition
- New
- SKU
- V9781441950673
- ISBN
- 9781441950673
Paperback
Condition: New
€ 194.32
€ 194.32
Paperback. Num Pages: 340 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 340
- Condition
- New
- SKU
- V9781461275077
- ISBN
- 9781461275077
Paperback
Condition: New
€ 68.01
€ 68.01
Paperback. Editor(s): Marzollo, A. Series: CISM International Centre for Mechanical Sciences. Num Pages: 296 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1979
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 296
- Condition
- New
- SKU
- V9783211814666
- ISBN
- 9783211814666
Paperback
Condition: New
€ 67.63
€ 67.63
Paperback. This volume presents papers selected from the proceedings of the 1st European Workshop on Case-Based Reasoning, held at Kaiserslautern, Germany in November 1993. The concept of case-based reasoning is related to machine learning, cognitive modelling, analogical reasoning and information retrieval. Editor(s): Wess, Stefan; Althoff, K.-D.; Richter, M. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1500.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540583301
- ISBN
- 9783540583301
Paperback
Condition: New
€ 73.89
€ 73.89
Paperback. Editor(s): Rinaldi, S. Series: CISM International Centre for Mechanical Sciences. Num Pages: 195 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 370.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 195
- Condition
- New
- SKU
- V9783211813393
- ISBN
- 9783211813393
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. One of the key concerns in modern control theory is the design of steering strategies. The implementation of such strategies is done by a regulator. This title presents an introduction to the mathematical background of this type of regulator design. It covers the topics that address the matter of interest to the control community. Series: Oberwolfach Seminars. Num Pages: 174 pages, biography. BIC Classification: TJFM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 174
- Condition
- New
- SKU
- V9783764329532
- ISBN
- 9783764329532
Hardback
Condition: New
€ 64.58
€ 64.58
paperback. Editor(s): Handschuh, Helena. Series: Lecture Notes in Computer Science. Num Pages: 452 pages, 78 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Number of pages
- 452
- Condition
- New
- Edition
- 1st ed. 2017
- SKU
- V9783319521527
- ISBN
- 9783319521527
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. Presents a collection of high quality papers in selected topics of Discrete Mathematics, to celebrate the 60th birthday of Professor Jarik Nesetril. In this title, leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number Theory, Game theory, Ramsey Theory, and, Homomorphisms. Series: Algorithms and Combinatorics. Num Pages: 642 pages, biography. BIC Classification: PBKS; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 973.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 642
- Condition
- New
- SKU
- V9783642070266
- ISBN
- 9783642070266
Paperback
Condition: New
€ 197.59
€ 197.59
Hardback. Editor(s): Heinz, Jeffrey; Sempere, Jose M. Num Pages: 264 pages, 49 black & white illustrations, 7 colour illustrations, 9 colour tables, biography. BIC Classification: CFX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 567.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783662483930
- ISBN
- 9783662483930
Hardback
Condition: New
€ 128.39
€ 128.39
Topics in Medical Image Processing and Computational Vision
. Ed(S): Tavares, Joao Manuel R. S.; Natal Jo...
Paperback. This volume collects state-of-the-art research, methods and new ideas on the subject of computational vision and medical image processing. As a result, the text contributes to developments in the fields of informatics, mathematics, statistics, psychology, mechanics and physics. Editor(s): Tavares, Joao Manuel R. S.; Natal Jorge, Renato M. Series: Lecture Notes in Computational Vision and Biomechanics. Num Pages: 317 pages, biography. BIC Classification: MMPH; MQW; TTBM; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Netherlands
- Number of pages
- 317
- Condition
- New
- SKU
- V9789401781800
- ISBN
- 9789401781800
Paperback
Condition: New
€ 227.27
€ 227.27
Topics in Numerical Partial Differential Equations and Scientific Comp...
Susanne C. . Ed(S): Brenner
Hardback. Editor(s): Brenner, Susanne C. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 186 pages, 88 black & white illustrations, 78 colour tables, biography. BIC Classification: PBKJ; PBKS; UGK; UYAM. Category: (G) General (US: Trade). Dimension: 164 x 242 x 16. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 186
- Condition
- New
- SKU
- V9781493963980
- ISBN
- 9781493963980
Hardback
Condition: New
€ 127.69
€ 127.69