Mathematical theory of computation
Results 321 - 340 of 366
Mathematical theory of computation
Hardcover. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs. Num Pages: 433 pages, biography. BIC Classification: UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 30. Weight in Grams: 790. 436 pages, black & white illustrations. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the EtnaNova system, a program built to verify the correctness of mathematical proofs. Cateogry: (P) Professional & Vocational. BIC Classification: UYA; UYF; UYZG. Dimension: 243 x 166 x 30. Weight: 790.
- Publisher
- Springer
- Number of pages
- 436
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857298072
- ISBN
- 9780857298072
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319500164
- ISBN
- 9783319500164
Paperback
Condition: New
€ 47.99€ 44.09
€ 47.99
€ 44.09
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.82
€ 102.82
Paperback. .
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 518
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781848003217
- ISBN
- 9781848003217
Paperback
Condition: New
€ 83.02
€ 83.02
Hardcover. This book shows how simulation can facilitate improvements on the job and in communities. The reader will learn to plan a project and communicate using a charter, how to establish simultaneous intervals on key responses and apply selection and ranking, and more. Num Pages: 227 pages, 33 black & white tables, biography. BIC Classification: KJMV5; KJT; UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 20. Weight in Grams: 470.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 228
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857291387
- ISBN
- 9780857291387
Hardback
Condition: New
€ 117.66
€ 117.66
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
€ 130.71€ 124.46
€ 130.71
€ 124.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
€ 87.80
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
€ 276.46
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
€ 155.53
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
€ 193.71
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
€ 100.21
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
€ 72.64
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
€ 42.96
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
€ 121.13
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
€ 111.53
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
€ 222.09
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
€ 84.01
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
€ 66.84
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
€ 142.95
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
€ 97.06