Mathematical theory of computation
Results 97 - 114 of 114
Mathematical theory of computation
Paperback. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 251
- Format
- Paperback
- Publication date
- 2018
- Edition
- 1st ed. 2018
- Condition
- New
- SKU
- V9783319555676
- ISBN
- 9783319555676
Paperback
Condition: New
€ 63.97
€ 63.97
Paperback. A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 578 pages, 20 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 227 x 152 x 28. Weight in Grams: 864. Series: Cambridge Tracts in Theoretical Computer Science. 578 pages, 20 b/w illus. A 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. Cateogry: (P) Professional & Vocational. BIC Classification: UYA. Dimension: 227 x 152 x 28. Weight: 890. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V.
- Publisher
- Cambridge University Press
- Number of pages
- 578
- Format
- Paperback
- Publication date
- 2002
- Condition
- New
- SKU
- V9780521527149
- ISBN
- 9780521527149
Paperback
Condition: New
€ 109.72
€ 109.72
Paperback. The second edition of a successful and unique textbook for students in mathematics or theoretical computer science. Num Pages: 312 pages, 36 b/w illus. 75 exercises. BIC Classification: PBCH; PBV; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 154 x 228 x 20. Weight in Grams: 460. 310 pages, 36 b/w illus. 75 exercises. New edition of successful and unique textbook for students in mathematics or theoretical computer science. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: PBCH; PBV; UYA. Dimension: 229 x 154 x 15. Weight: 502.
- Publisher
- Cambridge University Press
- Number of pages
- 310
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521784511
- ISBN
- 9780521784511
Paperback
Condition: New
€ 58.27
€ 58.27
Paperback. Don't miss out on easy marks. Improve your skills and feel confident about the maths you need for your computer science A-level with this essential guide. Series: Essential Maths Skills. Num Pages: 104 pages. BIC Classification: 4KLR; PB; UYAM. Category: (G) General (US: Trade); (J) Children / Juvenile; (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 213 x 299 x 8. Weight in Grams: 308.
- Publisher
- Hodder Education
- Format
- Paperback
- Publication date
- 2016
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781471863578
- ISBN
- 9781471863578
Paperback
Condition: New
€ 22.07
€ 22.07
Hardcover. Offers an introduction to computational geometry. This textbook focuses on algorithms. It covers the basic techniques and topics from computational geometry, as well as several advanced topics. It features sections discussing Voronoi diagrams of line segments, farthest-point Voronoi diagrams, and realistic input models. Num Pages: 386 pages, 370 black & white illustrations, biography. BIC Classification: PBM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 248 x 202 x 27. Weight in Grams: 918.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Format
- Hardback
- Publication date
- 2008
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540779735
- ISBN
- 9783540779735
Hardback
Condition: New
€ 52.17
€ 52.17
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
€ 70.73
€ 70.73
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
€ 53.37
€ 53.37
paperback. Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance. Num Pages: 214 pages, 50 exercises. BIC Classification: TJK; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 12. Weight in Grams: 318.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 214
- Format
- Paperback
- Publication date
- 2009
- Edition
- Illustrated
- Condition
- New
- SKU
- V9780521738330
- ISBN
- 9780521738330
Paperback
Condition: New
€ 56.01€ 53.36
€ 56.01
€ 53.36
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
€ 173.89
€ 173.89
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
€ 94.01
€ 94.01
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
€ 139.49
€ 139.49
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
€ 32.99€ 24.30
€ 32.99
€ 24.30
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
€ 70.58
€ 70.58
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
€ 127.08€ 122.45
€ 127.08
€ 122.45
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 80.87€ 79.41
€ 80.87
€ 79.41
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319500164
- ISBN
- 9783319500164
Paperback
Condition: New
€ 46.99€ 42.96
€ 46.99
€ 42.96
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
€ 124.88€ 122.44
€ 124.88
€ 122.44
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
€ 92.42€ 70.67
€ 92.42
€ 70.67
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€ 13.32
€ 17.99
€ 13.32
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
€ 68.88€ 62.91
€ 68.88
€ 62.91
Paperback. .
- Publisher
- Addison-Wesley Professional
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780133902839
- ISBN
- 9780133902839
Paperback
Condition: New
€ 37.99€ 37.03
€ 37.99
€ 37.03
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
€ 157.92
€ 157.92
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
€ 101.04€ 77.70
€ 101.04
€ 77.70
Paperback. The use of computation and simulation has become an essential part of the scientific process. Being able to transform a theory into an algorithm requires significant theoretical insight, detailed physical and mathematical understanding, and a working level of competency in programming. Series: No Longer Used. Num Pages: 644 pages. BIC Classification: PHU; UYA. Category: (P) Professional & Vocational. Dimension: 252 x 172 x 32. Weight in Grams: 1376.
- Publisher
- Wiley-VCH Verlag GmbH
- Format
- Paperback
- Publication date
- 2015
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9783527413157
- ISBN
- 9783527413157
Paperback
Condition: New
€ 111.62
€ 111.62