Mathematical theory of computation
Results 101 - 120 of 1872
Mathematical theory of computation
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 248.70
€ 248.70
Hardcover. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 247.61
€ 247.61
Paperback. A textbook for an introductory course on wavelet analysis and time-frequency analysis. It is suitable for graduate students or advanced undergraduates in science and engineering. Series: Modern Birkhauser Classics. Num Pages: 300 pages, 33 black & white illustrations, biography. BIC Classification: PBKF; PBW; UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 17. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Birkhäuser
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780817681104
- ISBN
- 9780817681104
Paperback
Condition: New
€ 101.09
€ 101.09
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011th Edition
- Number of pages
- 203
- Condition
- New
- SKU
- V9780857291202
- ISBN
- 9780857291202
Paperback
Condition: New
€ 48.94
€ 48.94
Hardcover. This volume introduces recent developments of Partial Differential Equations (PDEs) in the field of Geometric Design. The text is written with a particular emphasis on computer based design and analysis involving the geometry of physical objects. Num Pages: 116 pages, biography. BIC Classification: TBD; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 12. Weight in Grams: 312. 120 pages, 1, black & white illustrations. This volume introduces recent developments of Partial Differential Equations (PDEs) in the field of Geometric Design. The text is written with a particular emphasis on computer based design and analysis involving the geometry of physical objects. Cateogry: (P) Professional & Vocational. BIC Classification: TBD; UYAM. Dimension: 243 x 162 x 12. Weight: 312.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Number of pages
- 120
- Condition
- New
- SKU
- V9780857297839
- ISBN
- 9780857297839
Hardback
Condition: New
€ 64.31
€ 64.31
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