×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!