Mathematical theory of computation
Results 61 - 80 of 366
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
€ 130.60
€ 130.60
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
€ 249.76
€ 249.76
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.75
€ 128.75
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
€ 129.44
€ 129.44
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
€ 188.58
€ 188.58
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
€ 191.19
€ 191.19
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
€ 192.58
€ 192.58
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
Hardback
Condition: New
€ 221.07
€ 221.07
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
€ 254.42
€ 254.42
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
€ 163.27
€ 163.27
Hardback. Num Pages: 800 pages, 100 black & white illustrations, biography. BIC Classification: PBKS; TBJ; UYAM. 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
- V9783319211756
- ISBN
- 9783319211756
Hardback
Condition: New
€ 104.12
€ 104.12
Hardcover. Turing's Revolution Editor(s): Sommaruga, Giovanni; Strahm, Thomas. Num Pages: 353 pages, 17 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319221557
- ISBN
- 9783319221557
Hardback
Condition: New
€ 147.12
€ 147.12
Paperback. Editor(s): Caballero, Juan; Bodden, Eric. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 64 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319308050
- ISBN
- 9783319308050
Paperback
Condition: New
€ 63.70
€ 63.70
Paperback. Editor(s): Vishnevsky, Vladimir; Kozyrev, Dmitry V. Series: Communications in Computer and Information Science. Num Pages: 380 pages, 102 colour illustrations, biography. BIC Classification: UGK; UKN; UTR; UYAM; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 380
- Condition
- New
- SKU
- V9783319308425
- ISBN
- 9783319308425
Paperback
Condition: New
€ 64.67
€ 64.67
Paperback. Editor(s): Trinder, Phil. Series: Lecture Notes in Computer Science. Num Pages: 479 pages, 75 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 479
- Condition
- New
- SKU
- V9783319309354
- ISBN
- 9783319309354
Paperback
Condition: New
€ 65.61
€ 65.61
Hardback. Editor(s): Abramsky, Samson; Kontinen, Juha; Vaananen, Jouko; Vollmer, Heribert. Num Pages: 290 pages, 23 black & white illustrations, biography. BIC Classification: PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 602.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 290
- Condition
- New
- SKU
- V9783319318011
- ISBN
- 9783319318011
Hardback
Condition: New
€ 66.14
€ 66.14
Paperback. Editor(s): Agrawal, Manindra; Arvind, Vikraman. Series: Progress in Computer Science and Applied Logic. Num Pages: 212 pages, 7 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 212
- Condition
- New
- SKU
- V9783319350585
- ISBN
- 9783319350585
Paperback
Condition: New
€ 134.01
€ 134.01
Paperback. Editor(s): Kielanowski, Piotr; Bieliavsky, Pierre; Odesskii, Alexander; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 299 pages, 15 black & white illustrations, 7 colour illustrations, biography. BIC Classification: PBG; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 299
- Condition
- New
- SKU
- V9783319352824
- ISBN
- 9783319352824
Paperback
Condition: New
€ 64.98
€ 64.98
Paperback. Editor(s): Mecatti, Fulvia; Conti, Pier Luigi; Ranalli, Maria Giovanna. Series: Contributions to Statistics. Num Pages: 241 pages, 8 black & white illustrations, 9 colour illustrations, biography. BIC Classification: JHBC; PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319358574
- ISBN
- 9783319358574
Paperback
Condition: New
€ 63.38
€ 63.38
Paperback. Editor(s): Kielanowski, Piotr; Bieliavsky, Pierre; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 335 pages, 10 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBKS; PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 335
- Condition
- New
- SKU
- V9783319387451
- ISBN
- 9783319387451
Paperback
Condition: New
€ 123.34
€ 123.34