.png){kind=logo}
Mathematical theory of computation
Results 21 - 40 of 1825
Mathematical theory of computation
Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768.
- Publisher
- Cambridge University Press
- Number of pages
- 440
- Format
- Paperback
- Publication date
- 2004
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521543101
- ISBN
- 9780521543101
Paperback
Condition: New
€ 73.22
€ 73.22
An Introduction to Modern Mathematical Computing: With Mathematica®
Borwein, Jonathan M.; Skerritt, Matthew P.
hardcover. An essential read for mathematicians, this volume looks beyond the syntax and semantics of Mathematica and other programs. It focuses on why they are necessary tools for anyone who engages in mathematics, as well as showing how to create better proofs. Series: Springer Undergraduate Texts in Mathematics and Technology. Num Pages: 240 pages, 4 black & white illustrations, 91 colour illustrations, 3 colour tables, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 264 x 182 x 18. Weight in Grams: 612.
- Publisher
- Springer United States
- Number of pages
- 240
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461442523
- ISBN
- 9781461442523
Hardback
Condition: New
€ 73.83
€ 73.83
Hardback. This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering. Tools for analysis and algorithms are confronted to a large set of relevant examples that show the difficulties and the limitations of the most naive approaches. Num Pages: 472 pages, black & white illustrations. BIC Classification: PBWH; UYAM; UYM. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 29. Weight in Grams: 846.
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781848219885
- ISBN
- 9781848219885
Hardback
Condition: New
€ 180.21
€ 180.21
Paperback. Series: Grundlehren Text Editions. Num Pages: 269 pages, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 236 x 156 x 22. Weight in Grams: 424.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2004
- Edition
- 1st
- Condition
- New
- SKU
- V9783540422051
- ISBN
- 9783540422051
Paperback
Condition: New
€ 88.57
€ 88.57
Hardback. Num Pages: 339 pages, 1 black & white illustrations, biography. BIC Classification: PBF; PBUH; UYA. Category: (P) Professional & Vocational. Dimension: 167 x 290 x 27. Weight in Grams: 662.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319435992
- ISBN
- 9783319435992
Hardback
Condition: New
€ 95.90
€ 95.90
Paperback. This book is a concise introduction to the key mathematical ideas that underpin computer science, continually stressing the application of discrete mathematics to computing. It is suitable for students with little or no knowledge of mathematics, and covers the key concepts in a simple and straightforward way. Num Pages: 248 pages, illustrations. BIC Classification: PB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 172 x 13. Weight in Grams: 417.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 248
- Format
- Paperback
- Publication date
- 2001
- Edition
- 01st Edition
- Condition
- New
- SKU
- V9780201730470
- ISBN
- 9780201730470
Paperback
Condition: New
€ 101.53
€ 101.53
Hardcover. Retaining the general organization and style of its predecessor, this new edition continues to serve as a comprehensive guide to modern and classical methods of statistical computing and computational statistics. Series: Wiley Series in Computational Statistics. Num Pages: 496 pages, Illustrations. BIC Classification: PBK; PBT; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 156 x 30. Weight in Grams: 828.
- Publisher
- John Wiley & Sons Inc United Kingdom
- Number of pages
- 496
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780470533314
- ISBN
- 9780470533314
Hardback
Condition: New
€ 144.52
€ 144.52
Hardback. Series: Computational Biology. Num Pages: 370 pages, 157 black & white illustrations, 7 black & white tables, biography. BIC Classification: PSA; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 166 x 244 x 26. Weight in Grams: 722.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319249643
- ISBN
- 9783319249643
Hardback
Condition: New
€ 68.71
€ 68.71
Hardback. Introduces many concepts and mathematical tools in quantum information theory, with over 100 pages of new material and exercises. Num Pages: 776 pages, 80 b/w illus. 3 tables 300 exercises. BIC Classification: GPF; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 185 x 257 x 49. Weight in Grams: 1466.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2017
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781107176164
- ISBN
- 9781107176164
Hardback
Condition: New
€ 84.70
€ 84.70
Hardback. Series: Advanced Structured Materials. Num Pages: 325 pages, 48 colour illustrations, 45 colour tables, biography. BIC Classification: PHD; TGMT; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 163 x 243 x 25. Weight in Grams: 652.
- Publisher
- Springer Verlag, Singapore
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9789811024436
- ISBN
- 9789811024436
Hardback
Condition: New
€ 228.52
€ 228.52
Hardcover. Provides an introduction to the classical elementary number theory. This second edition introduces basic concepts, results, and methods, and discusses their applications in the design of hardware and software, cryptography, and security. It is useful for undergraduates in computing and information technology. Num Pages: 435 pages, 33 black & white tables, biography. BIC Classification: PBH; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 232 x 156 x 25. Weight in Grams: 824.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2nd
- Condition
- New
- SKU
- V9783540430728
- ISBN
- 9783540430728
Hardback
Condition: New
€ 114.72
€ 114.72
Hardcover. Covers theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. This book contains useful algorithms and results about the intrinsic complexity of combinatorial problems. It is of interest to theoretical computer scientists, operations researchers, and discrete mathematicians. Num Pages: 380 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 29. Weight in Grams: 740.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Format
- Hardback
- Publication date
- 2004
- Edition
- 1st ed. 2001. Corr. 2nd printing 2002
- Condition
- New
- SKU
- V9783540653677
- ISBN
- 9783540653677
Hardback
Condition: New
€ 124.61
€ 124.61
Hardback. Demonstrates how odd and unusual math problems can be solved by bringing together basic physics ideas and powerful computers. This title looks at how the art of number-crunching has changed since the advent of computers, and how high-speed technology helps to solve conundrums such as the three-body, Monte Carlo, and gambler's ruin problems. Num Pages: 408 pages, 4 halftones. 98 line illus. 6 tables. BIC Classification: PDZM; UM; UYA. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 233 x 164 x 30. Weight in Grams: 720.
- Publisher
- Princeton University Press
- Number of pages
- 408
- Format
- Hardback
- Publication date
- 2011
- Condition
- New
- SKU
- V9780691144252
- ISBN
- 9780691144252
Hardback
Condition: New
€ 33.99€ 25.06
€ 33.99
€ 25.06
Hardcover. A concise introduction to quantum computation for computer scientists who know nothing about quantum theory. Num Pages: 233 pages, 67 b/w illus. BIC Classification: PHQ; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 255 x 195 x 17. Weight in Grams: 660. An Introduction. 236 pages, 67 b/w illus. A concise introduction to quantum computation for computer scientists who know nothing about quantum theory. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PHQ; UYA. Dimension: 255 x 195 x 17. Weight: 672.
- Publisher
- Cambridge University Press
- Number of pages
- 236
- Format
- Hardback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521876582
- ISBN
- 9780521876582
Hardback
Condition: New
€ 73.04
€ 73.04
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 103.90
€ 103.90
Hardcover. Computer Algebra Handbook Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UYAM. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 36. Weight in Grams: 1236.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540654667
- ISBN
- 9783540654667
Hardback
Condition: New
€ 199.30
€ 199.30
Paperback. Editor(s): Cockburn, Bernardo; Karniadakis, George; Shu, Chi-Wang. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 481 pages, biography. BIC Classification: PBKS; PHU; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 737.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2011
- Edition
- Softcover reprint of the original 1st ed. 2000
- Condition
- New
- SKU
- V9783642640988
- ISBN
- 9783642640988
Paperback
Condition: New
€ 284.49
€ 284.49
Paperback. Num Pages: 380 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 617.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2010
- Condition
- New
- SKU
- V9783642084690
- ISBN
- 9783642084690
Paperback
Condition: New
€ 79.10
€ 79.10
Hardback. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107036505
- ISBN
- 9781107036505
Hardback
Condition: New
€ 88.29
€ 88.29
Hardback. Series: Springer Series in Statistics. Num Pages: 582 pages, 104 black & white illustrations, 53 colour illustrations, 50 black & white tables, biogra. BIC Classification: PBT; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 452 x 378 x 40. Weight in Grams: 1320.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319194240
- ISBN
- 9783319194240
Hardback
Condition: New
€ 155.60
€ 155.60