.png){kind=logo}
Mathematical theory of computation
Results 1781 - 1800 of 1825
Mathematical theory of computation
Hardback. Introduces readers of different backgrounds to the selected algorithms. This book is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. It is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: UMB; UMW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9781402075131
- ISBN
- 9781402075131
Hardback
Condition: New
€ 199.54
€ 199.54
Hardback. Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates. Num Pages: 152 pages, 41 line illus. 12 tables. BIC Classification: PBWH; PDN; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 163 x 16. Weight in Grams: 362.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Princeton University Press United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9780691147819
- ISBN
- 9780691147819
Hardback
Condition: New
€ 79.14
€ 79.14
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 231 pages, biography. BIC Classification: PBD; PBKS; PBT; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642049439
- ISBN
- 9783642049439
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. Series: Progress in Computer Science and Applied Logic. Num Pages: 315 pages, 13 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 637.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer Basel Switzerland
- Edition
- 2 Rev ed
- Number of pages
- 315
- Condition
- New
- SKU
- V9783034808613
- ISBN
- 9783034808613
Hardback
Condition: New
€ 68.01
€ 68.01
Hardback. Provides information on heuristic state-space search for combinatorial optimization, one of the fundamental problems of computer science. Written for researchers in computer science, this book presupposes a familiarity with complexity theory, assuming that the reader is familiar with the basic concepts of random variables and recursive functions. Num Pages: 201 pages, biography. BIC Classification: PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 201
- Condition
- New
- SKU
- V9780387988320
- ISBN
- 9780387988320
Hardback
Condition: New
€ 132.09
€ 132.09
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
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. 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. 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. 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
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
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
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
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
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. 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. 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. 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
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. 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