Mathematical theory of computation
Results 49 - 72 of 1831
Mathematical theory of computation
Paperback. Translator(s): Bartels, R.; Gautschi, W.; Witzgall, C. Series: Texts in Applied Mathematics. Num Pages: 762 pages, biography. BIC Classification: PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1052.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover of Or
- Condition
- New
- SKU
- V9781441930064
- ISBN
- 9781441930064
Paperback
Condition: New
€ 115.81
€ 115.81
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.62
€ 66.62
Hardback. Num Pages: 241 pages, 32 black & white illustrations, 5 colour tables, biography. BIC Classification: PBG; PHQ; TNKS; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 532.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 241
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319452395
- ISBN
- 9783319452395
Hardback
Condition: New
€ 91.22
€ 91.22
Hardcover. As more and more of us use automated music recommendation, this book describes how these systems work, explores some of their limitations, offers techniques for evaluating their effectiveness, and uses real-life examples to show how to build them effectively. Num Pages: 194 pages, biography. BIC Classification: AV; UND; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 18. Weight in Grams: 452.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 208
- Format
- Hardback
- Publication date
- 2010
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9783642132865
- ISBN
- 9783642132865
Hardback
Condition: New
€ 64.55
€ 64.55
Hardback. Series: SpringerBriefs in Applied Sciences and Technology. Num Pages: 167 pages, 1 black & white illustrations, biography. BIC Classification: GPFC; PBPD; PBWH; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 165 x 246 x 17. Weight in Grams: 426.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319153971
- ISBN
- 9783319153971
Hardback
Condition: New
€ 122.47
€ 122.47
hardcover. A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 752 pages, 180 b/w illus. 450 exercises. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 186 x 258 x 47. Weight in Grams: 1460.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2016
- Edition
- Annotated
- Condition
- New
- SKU
- V9781107028364
- ISBN
- 9781107028364
Hardback
Condition: New
€ 128.29
€ 128.29
Hardback. Cryptography, in particular public-key cryptography, has emerged an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications. This title provides a treatment that introduces the practical aspects of both conventional and public-key cryptography. Series: Discrete Mathematics and Its Applications. Num Pages: 810 pages, 104 black & white tables. BIC Classification: PBW; URY; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 261 x 179 x 53. Weight in Grams: 1632.
- Publisher
- Taylor & Francis Inc
- Number of pages
- 816
- Format
- Hardback
- Publication date
- 1996
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780849385230
- ISBN
- 9780849385230
Hardback
Condition: New
€ 195.05
€ 195.05
Hardcover. Linking the differing techniques deployed in describing space-filling curves to their corresponding algorithms, this book introduces SFCs as tools in scientific computing, focusing in particular on the representation of SFCs and on the resulting algorithms. Series: Texts in Computational Science and Engineering. Num Pages: 298 pages, biography. BIC Classification: PBKS; PDE; UYAM. Category: (P) Professional & Vocational. Dimension: 161 x 243 x 21. Weight in Grams: 592.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642310454
- ISBN
- 9783642310454
Hardback
Condition: New
€ 93.26€ 70.53
€ 93.26
€ 70.53
Hardback. Lavishly illustrated with both detailed line drawings and clinical photos, this book offers comprehensive coverage of every aspect of the management of intestinal stomas. Series: Statistics and Computing. Num Pages: 714 pages, 86 black & white illustrations, 32 colour illustrations, 16 black & white tables, biograp. BIC Classification: JHBC; JMB; UFM; UML; UNF; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1232.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9781461406846
- ISBN
- 9781461406846
Hardback
Condition: New
€ 174.87€ 61.19
€ 174.87
€ 61.19
Hardcover. This book reviews the basics of rule learning as applied to classical machine learning and modern data mining. It connects attribute-value learning with inductive logic programming, and offers complete coverage of most important elements of rule learning. Series: Cognitive Technologies. Num Pages: 334 pages, biography. BIC Classification: UMB; UNF; UYAM; UYQM; UYQP. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 24. Weight in Grams: 666.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 345
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783540751960
- ISBN
- 9783540751960
Hardback
Condition: New
€ 97.86
€ 97.86
Paperback. Num Pages: 230 pages, 173 figures. BIC Classification: URY; UYAM. Category: (G) General (US: Trade). Dimension: 208 x 142 x 14. Weight in Grams: 272.
- Publisher
- Dover Publications Inc. United States
- Number of pages
- 230
- Format
- Paperback
- Publication date
- 1989
- Condition
- New
- SKU
- V9780486200972
- ISBN
- 9780486200972
Paperback
Condition: New
€ 17.99€ 14.44
€ 17.99
€ 14.44
Paperback. A complete entry level mathematics book based on the phenomenally successful approach of the bestselling Engineering Mathematics by the same authors. This book is designed to help students embarking on a wide range of higer education courses to improve their mathematics to the required standard. Num Pages: 752 pages, 2 graphs, 56 figures. BIC Classification: KJQ; PB; UYAM. Category: (UA) A / AS level; (UU) Undergraduate. Dimension: 246 x 191 x 41. Weight in Grams: 1456.
- Publisher
- Bloomsbury Publishing PLC
- Number of pages
- 752
- Format
- Paperback
- Publication date
- 2009
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780230579071
- ISBN
- 9780230579071
Paperback
Condition: New
€ 69.94€ 62.91
€ 69.94
€ 62.91
Paperback. Deals with the efficient numerical solution of challenging nonlinear problems in science and engineering, both in finite dimension (algebraic systems) and in infinite dimension (ordinary and partial differential equations). This title focuses on local and global Newton methods for direct problems or Gauss-Newton methods for inverse problems. Series: Springer Series in Computational Mathematics. Num Pages: 424 pages, 49 black & white illustrations, biography. BIC Classification: PBKJ; PBKS; PDE; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 158 x 24. Weight in Grams: 640.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9783642238987
- ISBN
- 9783642238987
Paperback
Condition: New
€ 97.50
€ 97.50
Paperback. .
- Publisher
- Addison-Wesley Professional
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780133902839
- ISBN
- 9780133902839
Paperback
Condition: New
€ 38.99€ 37.03
€ 38.99
€ 37.03
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9781852339029
- ISBN
- 9781852339029
Hardback
Condition: New
€ 174.87€ 106.50
€ 174.87
€ 106.50
Hardcover. Enables the readers to design and deploy powerful algorithms (methodologies and implementations) to solve complex optimization problems in a diverse range of industries. Includes numerous real-world examples to demonstrate how metaheuristics are applied Shows how to generate an efficient program from the design using the software framework. Num Pages: 624 pages, Illustrations. BIC Classification: PBU; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 166 x 243 x 319. Weight in Grams: 1102.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 624
- Format
- Hardback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470278581
- ISBN
- 9780470278581
Hardback
Condition: New
€ 159.02
€ 159.02
Hardback. Series: Texts in Computational Science and Engineering. Num Pages: 216 pages, 43 black & white illustrations, biography. BIC Classification: UFM; UMX; UYA. Category: (G) General (US: Trade). Dimension: 266 x 257 x 20. Weight in Grams: 632.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319324517
- ISBN
- 9783319324517
Hardback
Condition: New
€ 70.71
€ 70.71
Hardback. Num Pages: 141 pages, 23 black & white illustrations, 1 colour illustrations, 46 black & white tables, 13 colou. BIC Classification: PBUH; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319239996
- ISBN
- 9783319239996
Hardback
Condition: New
€ 74.57
€ 74.57
Hardcover. Giving a unified view of quantum information theory, the second edition explains the mathematical basis, merges topics from information-theoretic and quantum-mechanical viewpoints and explains the basic results, aiming to clarify, for example, quantum teleportation, superdense coding, quantum state transmission and quantum encryption. Series: Graduate Texts in Physics. Num Pages: 636 pages, 23 black & white illustrations, 1 colour illustrations, 20 colour tables, biography. BIC Classification: PBW; PHQ; PHU; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 37. Weight in Grams: 1184.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 2nd ed. 2017
- Condition
- New
- SKU
- V9783662497234
- ISBN
- 9783662497234
Hardback
Condition: New
€ 148.08
€ 148.08
Hardcover. Wavelet theory is on the boundary between mathematics and engineering, making it ideal for demonstrating to students that mathematics research is thriving in the modern day. This title offers an introduction to wavelet theory. Series: Undergraduate Texts in Mathematics. Num Pages: 519 pages, biography. BIC Classification: PBF; PBKF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 165 x 235 x 32. Weight in Grams: 940.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 519
- Format
- Hardback
- Publication date
- 2001
- Edition
- Corrected
- Condition
- New
- SKU
- V9780387986395
- ISBN
- 9780387986395
Hardback
Condition: New
€ 93.89
€ 93.89
Paperback. A computationally-oriented introduction into the numerical solution of stochastic differential equations using computer experiments. It aims to develop in the reader an ability to apply numerical methods solving stochastic differential equations. Series: Universitext. Num Pages: 308 pages, biography. BIC Classification: PBKJ; PBWL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 18. Weight in Grams: 436.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 309
- Format
- Paperback
- Publication date
- 2002
- Edition
- 1st ed. 1994. Corr. 3rd printing 2002
- Condition
- New
- SKU
- V9783540570745
- ISBN
- 9783540570745
Paperback
Condition: New
€ 83.56
€ 83.56
Hardback. Presents the findings on one of the most intensely investigated subjects in computational mathematics - the travelling salesman problem. This book describes the method and computer code used to solve a range of large-scale problems, and demonstrates the interplay of applied mathematics with increasingly powerful computing platforms. Series: Princeton Series in Applied Mathematics. Num Pages: 608 pages, 200 line illus. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 241 x 165 x 43. Weight in Grams: 1056.
- Publisher
- Princeton University Press United States
- Number of pages
- 608
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2nd Printing
- Condition
- New
- SKU
- V9780691129938
- ISBN
- 9780691129938
Hardback
Condition: New
€ 102.60€ 77.70
€ 102.60
€ 77.70
Paperback. .
- Publisher
- Pearson Education Limited
- Number of pages
- 944
- Format
- Paperback
- Publication date
- 2013
- Edition
- 5th edition
- Condition
- New
- SKU
- V9781292022796
- ISBN
- 9781292022796
Paperback
Condition: New
€ 102.32
€ 102.32
Hardback. Numerical Methods in Matrix Computations Series: Texts in Applied Mathematics. Num Pages: 800 pages, 19 black & white illustrations, 26 colour illustrations, 7 black & white tables, biograph. BIC Classification: PBW; TBJ; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 164 x 239 x 36. Weight in Grams: 1274.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2014
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319050881
- ISBN
- 9783319050881
Hardback
Condition: New
€ 128.05
€ 128.05