Mathematical theory of computation
Results 97 - 120 of 1831
Mathematical theory of computation
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 129.96
€ 129.96
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 248.50
€ 248.50
Hardback. The approach to probability theory followed in this book characterizes probability as a linear operator, and is based on the concept of coherence. It is a 'flexible' and unifying tool suited for handling partial probability assessments, and conditional independence, in a way that avoids the inconsistencies related to logical dependence. Series: Trends in Logic. Num Pages: 295 pages, biography. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 295
- Condition
- New
- SKU
- V9781402009174
- ISBN
- 9781402009174
Hardback
Condition: New
€ 128.12
€ 128.12
hardcover. Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 320
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402016561
- ISBN
- 9781402016561
Hardback
Condition: New
€ 128.80
€ 128.80
Hardback. Aims to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. This book explains computer programs, and includes applications and corresponding numerical tests. It is designed to bridge the gap between mathematical abstract algorithms and concrete numerical ones. Series: Solid Mechanics and its Applications. Num Pages: 340 pages, biography. BIC Classification: PBKQ; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402017711
- ISBN
- 9781402017711
Hardback
Condition: New
€ 187.65
€ 187.65
Hardback. Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 Editor(s): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Lawson, J.A.; Liu, Ying Ming; Luo, M-.K. Series: Semantics Structures in Computation. Num Pages: 197 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 197
- Condition
- New
- SKU
- V9781402018329
- ISBN
- 9781402018329
Hardback
Condition: New
€ 186.41
€ 186.41
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 190.01
€ 190.01
Hardback. Introduces readers of different backgrounds to the selected algorithms. This book is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. It is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: UMB; UMW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9781402075131
- ISBN
- 9781402075131
Hardback
Condition: New
€ 191.39
€ 191.39
Paperback. Series: Springer Series in Statistics. Num Pages: 572 pages, biography. BIC Classification: PBT; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 177 x 32. Weight in Grams: 1006.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer
- Condition
- New
- SKU
- V9781441929181
- ISBN
- 9781441929181
Paperback
Condition: New
€ 126.88
€ 126.88
Paperback. Series: Nonconvex Optimization and Its Applications. Num Pages: 396 pages, biography. BIC Classification: KJT; PBU; PBV; TBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- Softcover reprint of the original 1st ed. 1998
- Condition
- New
- SKU
- V9781441947925
- ISBN
- 9781441947925
Paperback
Condition: New
€ 187.36
€ 187.36
Hardcover. This book introduces basic concepts and ideas of quantum computing and quantum computational complexity. It discusses almost all known quantum attacks on IFP, DLP and ECDLP based public-key cryptosystems and covers many alternative post-quantum cryptosystems. Num Pages: 207 pages, 5 black & white tables, biography. BIC Classification: UKN; UMB; URY; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 157 x 22. Weight in Grams: 466.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 216
- Condition
- New
- SKU
- V9781441977212
- ISBN
- 9781441977212
Hardback
Condition: New
€ 122.79
€ 122.79
Hardcover. This book reviews algorithms for processing geometric data, with a practical focus on techniques not covered by typical courses on computer vision and graphics. Presents an overview of underlying theory, and includes self-study exercises throughout the text. Num Pages: 326 pages, biography. BIC Classification: UGC; UML; UYAM; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012th Edition
- Number of pages
- 355
- Condition
- New
- SKU
- V9781447140740
- ISBN
- 9781447140740
Hardback
Condition: New
€ 103.08
€ 103.08
Paperback.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 189
- Condition
- New
- SKU
- V9781447146308
- ISBN
- 9781447146308
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. This book provides a mathematical introduction into algorithmic geometry with applications to robotics and computer graphics, from classical problems to Grobner bases. Illustrated by applications in computer graphics, curve reconstruction and robotics. Series: Universitext. Num Pages: 260 pages, 50 black & white illustrations, 17 colour illustrations, biography. BIC Classification: PBMW; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 14. Weight in Grams: 378.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 270
- Condition
- New
- SKU
- V9781447148166
- ISBN
- 9781447148166
Paperback
Condition: New
€ 91.10
€ 91.10
Hardcover. Series: Computational Imaging and Vision. Num Pages: 387 pages, 9 black & white tables, biography. BIC Classification: PBD; PBKF; PBV; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 26. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 388
- Condition
- New
- SKU
- V9781447151661
- ISBN
- 9781447151661
Hardback
Condition: New
€ 64.86
€ 64.86
Hardcover. Series: Computer Communications and Networks. Num Pages: 342 pages, 167 black & white illustrations, 11 black & white tables, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 350
- Condition
- New
- SKU
- V9781447151722
- ISBN
- 9781447151722
Hardback
Condition: New
€ 113.32
€ 113.32
Hardcover. Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and GO/nonlinear programming, this unified treatment of optimization methods deals with all facets of the topic needed by students and practitioners. Series: International Series in Operations Research & Management Science. Num Pages: 642 pages, 30 black & white tables, biography. BIC Classification: KJT; PBWH; UMA; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 42. Weight in Grams: 1070.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2nd
- Condition
- New
- SKU
- V9781461418993
- ISBN
- 9781461418993
Hardback
Condition: New
€ 68.72
€ 68.72
Paperback. This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations. Series: Universitext. Num Pages: 198 pages, biography. BIC Classification: PBC; PBF; UYA. Category: (P) Professional & Vocational. Dimension: 154 x 236 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2nd ed. 2013
- Condition
- New
- SKU
- V9781461457459
- ISBN
- 9781461457459
Paperback
Condition: New
€ 79.26
€ 79.26
Hardcover. Num Pages: 349 pages, biography. BIC Classification: PBT; PBWH; TBJ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2014th Edition
- Number of pages
- 420
- Condition
- New
- SKU
- V9781461473299
- ISBN
- 9781461473299
Hardback
Condition: New
€ 65.82
€ 65.82
Paperback. Num Pages: 864 pages, biography. BIC Classification: PBWR; PHU; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 191 x 45. Weight in Grams: 1674.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc.
- Edition
- 2nd ed. 2004. Softcover reprint of the original 2n
- Condition
- New
- SKU
- V9781468493962
- ISBN
- 9781468493962
Paperback
Condition: New
€ 98.57
€ 98.57
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
€ 223.69
€ 223.69
Hardcover. The last 15 years have seen an explosion of interest in wavelets with applications in fields such as image compression, turbulence, human vision, radar and earthquake prediction. Wavelets represent an area that combines signal in image processing, mathematics, physics and electrical engineering. Editor(s): Misiti, Michel; Misiti, Yves; Oppenheim, Georges; Poggi, Jean-Michel. Series: Digital Signal & Image Processing. Num Pages: 330 pages, Illustrations. BIC Classification: UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 219 x 161 x 26. Weight in Grams: 657.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- ISTE United Kingdom
- Edition
- 1st Edition
- Number of pages
- 330
- Condition
- New
- SKU
- V9781905209316
- ISBN
- 9781905209316
Hardback
Condition: New
€ 259.90
€ 259.90
Hardcover. This monograph presents an introduction to the Ito calculus techniques used to handle stochastic differential equations. It covers a broad spectrum of techniques which are useful for working with stochastic equations. Series: Mathematical Engineering. Num Pages: 339 pages, biography. BIC Classification: JHBC; PBT; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 157 x 29. Weight in Grams: 674.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2013th Edition
- Number of pages
- 370
- Condition
- New
- SKU
- V9783319000701
- ISBN
- 9783319000701
Hardback
Condition: New
€ 123.76
€ 123.76
Hardback. Editor(s): Arlo-Costa, Horacio; Hendricks, Vincent F.; Benthem, Johan van. Series: Springer Graduate Texts in Philosophy. Num Pages: 872 pages, 77 black & white illustrations, biography. BIC Classification: HPK; PBUD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319204505
- ISBN
- 9783319204505
Hardback
Condition: New
€ 161.12
€ 161.12