.png){kind=logo}
Mathematical foundations
Results 601 - 620 of 1147
Mathematical foundations
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 268
- Condition
- New
- SKU
- V9780792364733
- ISBN
- 9780792364733
Hardback
Condition: New
€ 133.13
€ 133.13
Paperback. Series: Studies in the History of Mathematics & Physical Sciences. Num Pages: 412 pages, biography. BIC Classification: PBC. Category: (G) General (US: Trade). Dimension: 229 x 152 x 22. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1982
- Number of pages
- 412
- Condition
- New
- SKU
- V9781461394808
- ISBN
- 9781461394808
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Series: Princeton Science Library. Num Pages: 288 pages. BIC Classification: PBCD. Dimension: 216 x 140. Weight in Grams: 255.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Princeton University Press
- Edition
- Reprint
- Number of pages
- 288
- Condition
- New
- SKU
- V9780691164076
- ISBN
- 9780691164076
Paperback
Condition: New
€ 23.99€ 18.04
€ 23.99
€ 18.04
Paperback. Series: University Series in Mathematics. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 140
- Condition
- New
- SKU
- V9781475773194
- ISBN
- 9781475773194
Paperback
Condition: New
€ 181.61
€ 181.61
Hardback. Presents intuitionistic logic as part of familiar classical logic which allows mechanical extraction of programs from proofs. This book provides an introduction and a background for reading research literature in logic and computer science as well as advanced monographs. Series: University Series in Mathematics. Num Pages: 140 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 140
- Condition
- New
- SKU
- V9780306463945
- ISBN
- 9780306463945
Hardback
Condition: New
€ 185.54
€ 185.54
Paperback. Covers such topics as: Admissible recursion theory; Computational complexity and recursion theory; A survey of set recursion; Priority arguments in Higgler recursion; Construction in the recursively enumerable degrees; and, Recursively invariant recursion theory. Series: CIME Summer Schools. Num Pages: 240 pages, 6 black & white illustrations, biography. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 240
- Condition
- New
- SKU
- V9783642110719
- ISBN
- 9783642110719
Paperback
Condition: New
€ 63.42
€ 63.42
Paperback. This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). Editor(s): Ausiello, G. Num Pages: 804 pages, biography. BIC Classification: PBC. Category: (P) Professional & Scholarly; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 40. Weight in Grams: 1106.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540513711
- ISBN
- 9783540513711
Paperback
Condition: New
€ 132.02
€ 132.02
Paperback. Il libro fa parte della serie UNITEXT - LA MATEMATICA PER IL 3+2. Gli argomenti sono trattati in modo non formale e direttamente orientato alle applicazioni, in modo da semplificare la lettura ad un pubblico non specialista e suscitando, al contempo, l'interesse del lettore verso le applicazioni dell'analisi matematica. Series: UNITEXT. Num Pages: 332 pages, XI, 314 pagg. BIC Classification: PBCN; PBF; PBW; TGB. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Verlag Italy
- Number of pages
- 332
- Condition
- New
- SKU
- V9788847002852
- ISBN
- 9788847002852
Paperback
Condition: New
€ 43.14
€ 43.14
Paperback. Contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino University to celebrate the 150th anniversary of G. Peano's birth - one of the greatest figures in modern mathematics and logic. Editor(s): Skof, Fulvia. Num Pages: 200 pages, 8 black & white illustrations, 11 black & white tables, biography. BIC Classification: PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Verlag Italy
- Number of pages
- 200
- Condition
- New
- SKU
- V9788847018358
- ISBN
- 9788847018358
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 279 pages, biography. BIC Classification: PBC; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642722509
- ISBN
- 9783642722509
Paperback
Condition: New
€ 127.64
€ 127.64
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBC; TB; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 3
- Condition
- New
- SKU
- V9783709181492
- ISBN
- 9783709181492
Paperback
Condition: New
€ 89.86
€ 89.86
Paperback. Series: Mathematics in Industry. Num Pages: 192 pages, biography. BIC Classification: AJG; MB; PBCN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 192
- Condition
- New
- SKU
- V9783642629136
- ISBN
- 9783642629136
Paperback
Condition: New
€ 65.98
€ 65.98
Hardback. Field Arithmetic explores Diophantine fields through their absolute Galois groups. The treatment starts with techniques from algebraic geometry, number theory, and profinite groups. Graduate students can effectively learn generalizations of finite field ideas. Series: Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics. Num Pages: 816 pages, biography. BIC Classification: PBC; PBF; PBH; PBMW. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 49. Weight in Grams: 1302.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3rd ed. 2008
- Number of pages
- 816
- Condition
- New
- SKU
- V9783540772699
- ISBN
- 9783540772699
Hardback
Condition: New
€ 232.68
€ 232.68
Paperback. Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. This book proposes to solve the dilemma: by adopting E. Nelson's "radically elementary" theory of continuous-time stochastic processes. Series: Lecture Notes in Mathematics. Num Pages: 134 pages, biography. BIC Classification: PBC; PBT; PBUD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 216.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 134
- Condition
- New
- SKU
- V9783642331480
- ISBN
- 9783642331480
Paperback
Condition: New
€ 72.40
€ 72.40
Paperback. This book introduces the mathematical methods of theoretical and experimental quantum field theory, emphasizing coordinate-free presentations of the objects in play. Offers examples of classical field theories, discusses renormalization methods and more. Series: Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics. Num Pages: 503 pages, 76 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBPD; PHQ; PHU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 503
- Condition
- New
- SKU
- V9783319374857
- ISBN
- 9783319374857
Paperback
Condition: New
€ 228.93
€ 228.93
Paperback. Introduction to Probability with Texas Hold em Examples illustrates both standard and advanced probability topics using the popular poker game of Texas Hold em, rather than the typical balls in urns. The author uses students natural interest in poker to teach important concepts in probability." Num Pages: 296 pages, 7 black & white illustrations, 29 colour illustrations. BIC Classification: PBC; PBT. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 143 x 217 x 18. Weight in Grams: 430.
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781498776189
- ISBN
- 9781498776189
Paperback
Condition: New
€ 92.25
€ 92.25
paperback. This title provides and introduction to harmonic maps between a surface and a symmetric manifold and constant mean curvature surfaces as completely integrable systems. It should help the reader to access the ideas of the theory and to aquire a unified perspective of the subject. Series: Lectures in Mathematics. ETH Zurich. Num Pages: 128 pages, biography. BIC Classification: PBCD; PBM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 6. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Birkhäuser Switzerland
- Edition
- 2001st Edition
- Number of pages
- 128
- Condition
- New
- SKU
- V9783764365769
- ISBN
- 9783764365769
Paperback
Condition: New
€ 67.39
€ 67.39
Paperback. Series: K-Monographs in Mathematics. Num Pages: 253 pages, biography. BIC Classification: PBC; PBF; PBKJ; PBMW; PHQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 253
- Condition
- New
- SKU
- V9789048147380
- ISBN
- 9789048147380
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. Fuzzy clustering, which combines fuzzy logic and cluster analysis techniques, has experienced a spur of interest in recent years owing to its important applications in image recognition. This revised, updated, and expanded translation of the German book deals with the ideas and algorithms of fuzzy clustering and their applications. Num Pages: 300 pages, references, index. BIC Classification: PBCH; PBWX; UNC; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 163 x 23. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9780471988649
- ISBN
- 9780471988649
Hardback
Condition: New
€ 236.26
€ 236.26
Paperback. Num Pages: 128 pages, illustrations. BIC Classification: PBC; PBV. Category: (G) General (US: Trade). Dimension: 155 x 229 x 9. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Dover Publications Inc.
- Edition
- First
- Condition
- New
- SKU
- V9780486796840
- ISBN
- 9780486796840
Paperback
Condition: New
€ 15.99€ 12.61
€ 15.99
€ 12.61