×


 x 

Shopping cart

Mathematical theory of computation

Results 21 - 40 of 366

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

€ 72.44

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

€ 71.23

Paperback. Network theory is a major topic of interdisciplinary research which covers diverse areas including physics, mathematics and sociology. This book covers all the basics and the most commonly used concepts in the field, provides examples of their applications in solving practical problems, and clear indications on how to analyse their results. Num Pages: 272 pages, 151 figures. BIC Classification: GPFC; PBV; PBWH; PHS; UYA. Category: (UU) Undergraduate. Dimension: 246 x 190 x 18. Weight in Grams: 598.
Publisher
Oxford University Press
Format
Paperback
Publication date
2015
Edition
1st Edition
Condition
New
SKU
V9780198726463
ISBN
9780198726463
Paperback
Condition: New

€ 73.14

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

€ 177.60

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

€ 86.14

Paperback. .
Publisher
Springer London Ltd United Kingdom
Number of pages
125
Format
Paperback
Publication date
2012
Edition
2013th Edition
Condition
New
SKU
V9781447141853
ISBN
9781447141853
Paperback
Condition: New

€ 59.41
€ 22.84

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

€ 97.06

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

€ 142.95

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

€ 66.84

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.01

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

€ 222.09

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

€ 111.53

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

€ 121.13

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

€ 42.96

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

€ 72.64

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

€ 100.21

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

€ 193.71

Hardback. The subject of sparse matrices has its root in such diverse fields as management science, power systems analysis, surveying, circuit theory, and structural analysis. Efficient use of sparsity is a key to solving large problems in many fields. This book provides both insight and answers for those attempting to solve these problems. Series: Numerical Mathematics & Scientific Computation. Num Pages: 464 pages. BIC Classification: PBKF; PBKJ; PBWH; UYAM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 161 x 28. Weight in Grams: 884.
Publisher
Oxford University Press
Format
Hardback
Publication date
2017
Edition
2nd Edition
Condition
New
SKU
V9780198508380
ISBN
9780198508380
Hardback
Condition: New

€ 155.53

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

€ 276.46

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

€ 87.80

Subscribe to our newsletter

News on special offers, signed editions & more!