Mathematical theory of computation
Results 97 - 120 of 1830
Mathematical theory of computation
paperback. Editor(s): Beringer, Lennart; Felty, Amy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642323461
- ISBN
- 9783642323461
Paperback
Condition: New
€ 65.42
€ 65.42
Formal Methods for the Quantitative Evaluation of Collective Adaptive ...
. Ed(S): Bernardo, Marco; De Nicola, Rocco; H...
Paperback. Editor(s): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Series: Lecture Notes in Computer Science. Num Pages: 268 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 268
- Condition
- New
- SKU
- V9783319340951
- ISBN
- 9783319340951
Paperback
Condition: New
€ 63.89
€ 63.89
Hardback. Presenting the state of the art in parallel numerical algorithms, applications, architectures and system software, this book examines solutions for issues of concurrency, scale, energy efficiency and programmability, in a diverse range of applications. Editor(s): Berry, Michael W.; Gallivan, Kyle A.; Gallopoulos, Efstratios; Grama, Ananth; Bernard, Philippe; Saad, Yousef; Saied, Faisal. Num Pages: 350 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012
- Number of pages
- 350
- Condition
- New
- SKU
- V9781447124368
- ISBN
- 9781447124368
Hardback
Condition: New
€ 123.96
€ 123.96
Paperback. Presenting the state of the art in parallel numerical algorithms, applications, architectures and system software, this book examines solutions for issues of concurrency, scale, energy efficiency and programmability, in a diverse range of applications. Editor(s): Berry, Michael W.; Gallivan, Kyle A.; Gallopoulos, Efstratios; Grama, Ananth; Bernard, Philippe; Saad, Yousef; Saied, Faisal. Num Pages: 350 pages, biography. BIC Classification: UNH; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 350
- Condition
- New
- SKU
- V9781447158882
- ISBN
- 9781447158882
Paperback
Condition: New
€ 123.04
€ 123.04
Paperback. Editor(s): Bertogna, Marko; Pinho, Luis Miguel; Quinones, Eduardo. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 59 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (G) General (US: Trade). 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
- V9783319390826
- ISBN
- 9783319390826
Paperback
Condition: New
€ 63.51
€ 63.51
Paperback. This text presents the proceedings of the 8th International Conference on Discrete Geometry for Computer Imagery. The papers discuss topics including discrete objects and shapes, planes, surfaces, reconstruction, topology, distance and object recognition, thinning, discretization and visualization. Editor(s): Bertrand, Gilles; Couprie, Michel; Perroton, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, biography. BIC Classification: PBM; PBP; UYA; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783540656852
- ISBN
- 9783540656852
Paperback
Condition: New
€ 70.74
€ 70.74
Paperback. Editor(s): Beyer, Dirk, Ph. D.; Boreale, Michele. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 335 pages, 66 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783642385919
- ISBN
- 9783642385919
Paperback
Condition: New
€ 64.59
€ 64.59
Paperback. Editor(s): Bezhanishvili, Guram; Lobner, Sebastian; Marra, Vincenzo; Richter, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 289 pages, 56 black & white illustrations, biography. BIC Classification: UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783642369759
- ISBN
- 9783642369759
Paperback
Condition: New
€ 58.90
€ 58.90
Paperback. Editor(s): Bezhanishvili, Nick; Goranko, Valentin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 265 pages, 41 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642314841
- ISBN
- 9783642314841
Paperback
Condition: New
€ 58.73
€ 58.73
Paperback. Editor(s): Bhargava, Vijay K.; Poor, H. Vincent; Tarokh, Vahid (Harvard University, Cambridge, USA); Yoon, Seokho (Harvard University, Cambridge, USA). Series: The Springer International Series in Engineering and Computer Science. Num Pages: 382 pages, biography. BIC Classification: TJF; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 382
- Condition
- New
- SKU
- V9781441953186
- ISBN
- 9781441953186
Paperback
Condition: New
€ 187.03
€ 187.03
Paperback. Editor(s): Bieger, Jordi; Goertzel, Ben; Potapov, Alexey. Series: Lecture Notes in Computer Science. Num Pages: 428 pages, biography. BIC Classification: UMB; UMZ; UNH; UYA; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 428
- Condition
- New
- SKU
- V9783319213644
- ISBN
- 9783319213644
Paperback
Condition: New
€ 65.24
€ 65.24
Paperback. Features 19 papers that give a survey of the relevant problems and issues in modeling, CAD/CAM, scientific visualization, and computational geometry. This work includes topics such as: surface design and fairing; subdivision schemes; variational design; NURBS; reverse engineering; physically-based modelling; and medical imaging. Editor(s): Bieri, Hanspeter; Brunnett, Guido; Farin, Gerald E.; Rose, Tony de (Richmond, CA, USA). Series: Computing Supplementa. Num Pages: 241 pages, 95 black & white illustrations, biography. BIC Classification: UGK; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 506.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 241
- Condition
- New
- SKU
- V9783211832073
- ISBN
- 9783211832073
Paperback
Condition: New
€ 186.31
€ 186.31
Paperback. Editor(s): Binder, Walter; Bodden, Eric; Lowe, Welf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 155 pages, 38 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642396137
- ISBN
- 9783642396137
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Covers advances in automatic differentiation theory and practice. This book offers insights into effective strategies for using automatic differentiation for inverse problems and design optimization. It is suitable for computer scientists and mathematicians. Editor(s): Bischof, C.; B�cker, H. Martin; Hovland, Paul; Naumann, Uwe; Utke, Jean. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 386 pages, 111 black & white illustrations, 37 black & white tables, biography. BIC Classification: PBU; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540689355
- ISBN
- 9783540689355
Paperback
Condition: New
€ 201.12
€ 201.12
Hardback. Presents results achieved on systems of the Gauss-Allianz, the association of High-Performance Computing centers in Germany. This title covers various fields of computational science and engineering, ranging from CFD to Computational Physics and Biology to Computer Science, with an emphasis on industrially relevant applications. Editor(s): Bischof, Christian; Hegering, Heinz-Gerd; Nagel, Wolfgang E. Num Pages: 244 pages, 10 black & white tables, biography. BIC Classification: UKC; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 244
- Condition
- New
- SKU
- V9783642240249
- ISBN
- 9783642240249
Hardback
Condition: New
€ 122.87
€ 122.87
Paperback. Editor(s): Bischof, Christian; Hegering, Heinz-Gerd; Nagel, Wolfgang E.; Wittum, Gabriel. Num Pages: 244 pages, 10 black & white tables, biography. BIC Classification: PBKS; PDE; UGK; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 244
- Condition
- New
- SKU
- V9783642440359
- ISBN
- 9783642440359
Paperback
Condition: New
€ 121.89
€ 121.89
Paperback. Editor(s): Biskup, Joachim; Demetrovics, Janos; Paredaens, Jan; Thalheim, Bernhard Karl. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: UN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540191216
- ISBN
- 9783540191216
Paperback
Condition: New
€ 66.53
€ 66.53
Paperback. Editor(s): Bjorner, Nikolaj; Boer, Frank de. Series: Lecture Notes in Computer Science. Num Pages: 626 pages, 156 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 626
- Condition
- New
- SKU
- V9783319192482
- ISBN
- 9783319192482
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 66.28
€ 66.28
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Bjorner, Nikolaj; Voronkov, Andrei
paperback. Constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. Editor(s): Bjorner, Nikolaj; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 647.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642287169
- ISBN
- 9783642287169
Paperback
Condition: New
€ 65.68
€ 65.68
paperback. Editor(s): Blackwell, Clive; Zhu, Hong. Num Pages: 275 pages, 48 black & white illustrations, 13 black & white tables, biography. BIC Classification: UR; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319352183
- ISBN
- 9783319352183
Paperback
Condition: New
€ 63.94
€ 63.94
Hardback. Editor(s): Blackwell, Clive; Zhu, Hong. Num Pages: 264 pages, 48 black & white illustrations, 13 black & white tables, biography. BIC Classification: UKN; UR; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 264
- Condition
- New
- SKU
- V9783319044460
- ISBN
- 9783319044460
Hardback
Condition: New
€ 65.03
€ 65.03
Paperback. Editor(s): Blanchette, Jasmin Christian; Kosmatov, Nikolai. Series: Lecture Notes in Computer Science. Num Pages: 228 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 228
- Condition
- New
- SKU
- V9783319212142
- ISBN
- 9783319212142
Paperback
Condition: New
€ 63.54
€ 63.54
Information, Coding and Mathematics: Proceedings of Workshop honoring ...
. Ed(S): Blaum, Mario; Farrell, Patrick Guy; ...
paperback. Editor(s): Blaum, Mario; Farrell, Patrick Guy; Tilborg, Henk C. A. van. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 378 pages, biography. BIC Classification: TJF; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 378
- Condition
- New
- SKU
- V9781441952899
- ISBN
- 9781441952899
Paperback
Condition: New
€ 186.78
€ 186.78