.png){kind=logo}
Mathematical theory of computation
Results 21 - 40 of 1825
Mathematical theory of computation
paperback. Performance optimization is vital in the design and operation of modern engineering systems. This book provides a unified framework based on a sensitivity point of view. It introduces new approaches and proposes new research topics. Num Pages: 566 pages, 119 black & white illustrations, 27 black & white tables, biography. BIC Classification: KJT; PBKQ; PBT; PBWL; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2007
- Number of pages
- 566
- Condition
- New
- SKU
- V9781441942227
- ISBN
- 9781441942227
Paperback
Condition: New
€ 252.19
€ 252.19
Paperback. Editor(s): Rival, Xavier. Series: Lecture Notes in Computer Science. Num Pages: 521 pages, 175 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 521
- Condition
- New
- SKU
- V9783662534120
- ISBN
- 9783662534120
Paperback
Condition: New
€ 69.19
€ 69.19
Hardback. Series: Advances in Computer Science and Technology. Num Pages: 271 pages, 9 black & white illustrations, 7 black & white tables, biography. BIC Classification: UMB; URY; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 573.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783662488638
- ISBN
- 9783662488638
Hardback
Condition: New
€ 161.57
€ 161.57
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 351 pages, 1 black & white illustrations, biography. BIC Classification: PBF; UMB; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 19. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 351
- Condition
- New
- SKU
- V9783642767739
- ISBN
- 9783642767739
Paperback
Condition: New
€ 128.77
€ 128.77
Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9783540627524
- ISBN
- 9783540627524
Hardback
Condition: New
€ 62.07
€ 62.07
Paperback. Presents results achieved on systems of the Stuttgart High Performance Computing Center (HLRS) for the year 2008. This title includes reports that cover various fields of computational science and engineering, ranging from CFD and computational physics and chemistry to computer science, with an emphasis on industrially relevant applications. Num Pages: 613 pages, 94 black & white illustrations, 214 colour illustrations, 53 black & white tables, biogra. BIC Classification: PBKS; PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642100000
- ISBN
- 9783642100000
Paperback
Condition: New
€ 197.41
€ 197.41
Paperback. Num Pages: 546 pages, biography. BIC Classification: PBKS; PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642071607
- ISBN
- 9783642071607
Paperback
Condition: New
€ 130.38
€ 130.38
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 128.75
€ 128.75
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 259.22
€ 259.22
Paperback. Editor(s): Bibel, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 256 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 216 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 256
- Condition
- New
- SKU
- V9783540164449
- ISBN
- 9783540164449
Paperback
Condition: New
€ 69.22
€ 69.22
Hardcover. A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology. It describes methods employed in average case analysis of algorithms, combining both analytical and probabilistic tools in a single volume. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 576 pages, illustrations. BIC Classification: PBK; PBT; PBV; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 166 x 35. Weight in Grams: 968.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9780471240631
- ISBN
- 9780471240631
Hardback
Condition: New
€ 237.55
€ 237.55
Paperback. This volume of workshop papers has been divided into sections on knowledge discovery methodologies and applications, the theory of rough sets and its extensions, machine learning applications of rough sets, and reasoning from uncertain data using both fuzzy and rough set methods. Editor(s): Ziarko, Wojciech P. Series: Workshops in Computing. Num Pages: 476 pages, 18 black & white illustrations. BIC Classification: PBWX; UYA; UYQE; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 737.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540198857
- ISBN
- 9783540198857
Paperback
Condition: New
€ 68.92
€ 68.92
Hardback. Contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held in Paris, France on Oct 23-26, 2011. Editor(s): Quadros, William Roshan. Num Pages: 638 pages, biography. BIC Classification: PBKS; PBM; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1136.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 638
- Condition
- New
- SKU
- V9783642247330
- ISBN
- 9783642247330
Hardback
Condition: New
€ 375.39
€ 375.39
Hardcover. A complete, highly accessible introduction to one of today's most exciting areas of applied mathematics One of the youngest, most vital areas of applied mathematics, combinatorial optimization integrates techniques from combinatorics, linear programming, and the theory of algorithms. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 368 pages, Illustrations. BIC Classification: PBU; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 167 x 26. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9780471558941
- ISBN
- 9780471558941
Hardback
Condition: New
€ 213.33
€ 213.33
hardcover. The essential text and reference for modern scientific computing now also covers computational geometry, classification and inference, and much more. Num Pages: 1256 pages, 37 tables. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 260 x 187 x 55. Weight in Grams: 2044. The Art of Scientific Computing. 1256 pages, 37 tables. The essential text and reference for modern scientific computing now also covers computational geometry, classification and inference, and much more. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBK; UYA. Dimension: 260 x 187 x 55. Weight: 2050.
- Publisher
- Cambridge University Press
- Number of pages
- 1256
- Format
- Hardback
- Publication date
- 2007
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780521880688
- ISBN
- 9780521880688
Hardback
Condition: New
€ 136.37
€ 136.37
Paperback. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 452 pages, biography. BIC Classification: PBD; UMB; UML; UYA; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783642102080
- ISBN
- 9783642102080
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines geometric, algebraic, homological and combinatorial ideas. Series: Algorithms and Computation in Mathematics. Num Pages: 672 pages, 39 black & white illustrations, 8 colour illustrations, biography. BIC Classification: PBF; PBKJ; PHU; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 672
- Condition
- New
- SKU
- V9783642261350
- ISBN
- 9783642261350
Paperback
Condition: New
€ 197.86
€ 197.86
Paperback. Editor(s): Schiehlen, Werner. Series: Solid Mechanics and its Applications. Num Pages: 494 pages, biography. BIC Classification: PBWH; PHD; TGB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 494
- Condition
- New
- SKU
- V9789048142538
- ISBN
- 9789048142538
Paperback
Condition: New
€ 251.44
€ 251.44
Paperback. Constitutes the refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. Series: Lecture Notes in Computer Science. Num Pages: 270 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 870.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783540333395
- ISBN
- 9783540333395
Paperback
Condition: New
€ 69.70
€ 69.70
paperback. A translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Translator(s): Jin, X.; Wang, D. Series: Texts and Monographs in Symbolic Computation. Num Pages: 302 pages, biography. BIC Classification: PBCH; PBMS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Austria
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 302
- Condition
- New
- SKU
- V9783211825068
- ISBN
- 9783211825068
Paperback
Condition: New
€ 67.48
€ 67.48