Mathematical theory of computation
Results 161 - 180 of 192
Mathematical theory of computation
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.76€ 50.74
€ 52.76
€ 50.74
Hardback. New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students. Num Pages: 594 pages, 73 b/w illus. 6 tables 307 exercises. BIC Classification: GPJ; UYA. Category: (P) Professional & Vocational. Dimension: 260 x 184 x 37. Weight in Grams: 1232. A Modern Approach. 594 pages, 73 b/w illus. 6 tables 307 exercises. New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students. Cateogry: (P) Professional & Vocational. BIC Classification: GPJ; UYA. Dimension: 260 x 184 x 37. Weight: 1222.
- Publisher
- Cambridge University Press
- Number of pages
- 594
- Format
- Hardback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780521424264
- ISBN
- 9780521424264
Hardback
Condition: New
€ 71.91
€ 71.91
Paperback. Presents the research that intends to gain an understanding of what computation is, to find better models of computation, and to look for various computing devices inspired by the structure and/or functioning of natural or societal systems. Editor(s): Kelemen, Jozef; Kelemenova, Alica. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 13 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 13. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642199998
- ISBN
- 9783642199998
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. A monograph on the interface of computational complexity and randomness of sets of natural numbers. Series: Oxford Logic Guides. Num Pages: 456 pages, 13 b/w line illustrations. BIC Classification: PBB; PBCD; UYAM; UYF. Category: (G) General (US: Trade). Dimension: 234 x 158 x 24. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Oxford University Press United Kingdom
- Number of pages
- 456
- Condition
- New
- SKU
- V9780199652600
- ISBN
- 9780199652600
Paperback
Condition: New
€ 89.14
€ 89.14
Paperback. Editor(s): Pardalos, Panos M. Series: Lecture Notes in Computer Science. Num Pages: 542 pages, biography. BIC Classification: PBKS; UKN; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642020254
- ISBN
- 9783642020254
Paperback
Condition: New
€ 158.28
€ 158.28
Hardcover. A complete, highly accessible introduction to one of today's most exciting areas of applied mathematics One of the youngest, most vital areas of applied mathematics, combinatorial optimization integrates techniques from combinatorics, linear programming, and the theory of algorithms. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 368 pages, Illustrations. BIC Classification: PBU; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 167 x 26. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9780471558941
- ISBN
- 9780471558941
Hardback
Condition: New
€ 207.34
€ 207.34
Hardcover. This edition includes developments in chaos theory, with new chapters that tie in with innovations such as fuzzy logic, neural nets and artificial intelligence as they relate to finance. Series: Wiley Finance. Num Pages: 288 pages, Illustrations. BIC Classification: KFFM; PBWS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 165 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2nd Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780471139386
- ISBN
- 9780471139386
Hardback
Condition: New
€ 82.08€ 68.07
€ 82.08
€ 68.07
Paperback. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. 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: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. 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
- 432
- Format
- Paperback
- Publication date
- 2000
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521779111
- ISBN
- 9780521779111
Paperback
Condition: New
€ 59.54
€ 59.54
Hardcover. Modeling is one of the most appealing areas in engineering and applied sciences. Engineers need to build models to solve real life problems. The aim of a model consists of reproducing the reality as faithfully as possible, trying to understand how the real world behaves, and obtaining the expected responses to given actions or inputs. Num Pages: 568 pages, , black & white illustrations. BIC Classification: UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 166 x 38. Weight in Grams: 948.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 568
- Condition
- New
- SKU
- V9780471150435
- ISBN
- 9780471150435
Hardback
Condition: New
€ 225.91
€ 225.91
Hardback. Belief-based Stability in Coalition Formation with Uncertainty Num Pages: 183 pages, 27 black & white illustrations, biography. BIC Classification: PBUD; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642382147
- ISBN
- 9783642382147
Hardback
Condition: New
€ 123.66
€ 123.66
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
€ 58.62€ 22.74
€ 58.62
€ 22.74
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.70
€ 38.99
€ 37.70
Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation. Editor(s): Idier, Jerome. Series: ISTE. Num Pages: 392 pages, Illustrations. BIC Classification: MMP; PBT; UYAM; UYT. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 158 x 25. Weight in Grams: 704.
- Publication date
- 2008
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 392
- Condition
- New
- SKU
- V9781848210325
- ISBN
- 9781848210325
Paperback
Condition: New
€ 219.27
€ 219.27
Hardcover. A timely book on a topic that has witnessed a surge of interest over the last decade, owing in part to several novel applications, most notably in data compression and computational molecular biology. It describes methods employed in average case analysis of algorithms, combining both analytical and probabilistic tools in a single volume. Series: Wiley Series in Discrete Mathematics and Optimization. Num Pages: 576 pages, illustrations. BIC Classification: PBK; PBT; PBV; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 166 x 35. Weight in Grams: 968.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9780471240631
- ISBN
- 9780471240631
Hardback
Condition: New
€ 230.87
€ 230.87
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 126.88
€ 126.88
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 225.68
€ 225.68
Hardcover. The book describes the fundamental principles of computer arithmetic. Algorithms for performing operations like addition, subtraction, multiplication and division in digit computer systems are presented, with the goal of explaining the concepts behind the algorithms, rather than addressing any direct applications. Series: Wiley Series in Microwave and Optical Engineering. Num Pages: 246 pages, Illustrations. BIC Classification: PB; UYA. Category: (P) Professional & Vocational. Dimension: 239 x 164 x 21. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 246
- Condition
- New
- SKU
- V9780471469452
- ISBN
- 9780471469452
Hardback
Condition: New
€ 128.57
€ 128.57
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 65.73
€ 65.73