.png){kind=logo}
Mathematical foundations
Results 1081 - 1100 of 1149
Mathematical foundations
Hardback. Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant's theory of intuition to be obsolete. This work explores various views of intuition and the axiomatic method, with Kant's approach. It covers logical and non-logical, and systematic issues in mathematics and physics. Editor(s): Carson, Emily; Huber, Renate. Series: The Western Ontario Series in Philosophy of Science. Num Pages: 324 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9781402040399
- ISBN
- 9781402040399
Hardback
Condition: New
€ 200.55
€ 200.55
Paperback. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 284
- Condition
- New
- SKU
- V9789048152018
- ISBN
- 9789048152018
Paperback
Condition: New
€ 127.81
€ 127.81
Hardback. Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792356592
- ISBN
- 9780792356592
Hardback
Condition: New
€ 133.20
€ 133.20
Combinatorics, Computability and Logic: Proceedings of the Third Inter...
. Ed(S): Calude, Cristina S.; Dinneen, M. J.;...
paperback. This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS'01) conference, These papers cover topics such as abstract data types and specifications algorithms and data structures automata and formal languages computability among others. Editor(s): Calude, Cristina S.; Dinneen, M. J.; Sblurlan, S. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 251 pages, biography. BIC Classification: PBCD; PBV; PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 251
- Condition
- New
- SKU
- V9781852335267
- ISBN
- 9781852335267
Paperback
Condition: New
€ 127.49
€ 127.49
Paperback. Editor(s): Calosi, Claudio; Graziani, Pierluigi. Series: Synthese Library. Num Pages: 398 pages, 161 black & white illustrations, biography. BIC Classification: HPK; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 398
- Condition
- New
- SKU
- V9783319357935
- ISBN
- 9783319357935
Paperback
Condition: New
€ 205.88
€ 205.88
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. Proceedings of the NATO Advanced Study Institute on Fourier Analysis and its Applications, Il Ciocco, Italy, July 16-29, 1989 Editor(s): Byrnes, J. S.; Byrnes, J. S. Series: NATO Science Series C. Num Pages: 700 pages, biography. BIC Classification: PBC; PBK; PHM; PNT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1056.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 700
- Condition
- New
- SKU
- V9789401067843
- ISBN
- 9789401067843
Paperback
Condition: New
€ 70.97
€ 70.97
Paperback. Editor(s): Bulloff, Jack John; Holyoke, Thomas Campell; Hahn, S. W. Num Pages: 196 pages, 2 black & white illustrations, biography. BIC Classification: PBC; PHDV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1969
- Number of pages
- 196
- Condition
- New
- SKU
- V9783642867477
- ISBN
- 9783642867477
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. This book features survey and research papers from The Abel Symposium 2011. It illustrates and extends such connections with algebraic geometry, cluster algebra theory, commutative algebra, dynamical systems and triangulated categories. Editor(s): Buan, Aslak Bakke; Reiten, Idun; Solberg, Oyvind. Series: Abel Symposia. Num Pages: 318 pages, biography. BIC Classification: PBC; PBF; PBMW; PBWR. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 318
- Condition
- New
- SKU
- V9783642430183
- ISBN
- 9783642430183
Paperback
Condition: New
€ 127.70
€ 127.70
Hardback. This book features survey and research papers from The Abel Symposium 2011. It illustrates and extends such connections with algebraic geometry, cluster algebra theory, commutative algebra, dynamical systems and triangulated categories. Editor(s): Buan, Aslak Bakke; Reiten, Idun; Solberg, Oyvind. Series: Abel Symposia. Num Pages: 298 pages, biography. BIC Classification: PBC; PBF; PBMW; PBWR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 643.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783642394843
- ISBN
- 9783642394843
Hardback
Condition: New
€ 128.63
€ 128.63
Hardback. Description based on: v. 4, published first and copyrighted c2001. Editor(s): Brieskorn, Egbert; Hausdorff, Felix; Chatterji, Srishti D. (Ecole Polytechnique Federale); Epple, Moritz; Felgner, Ulrich; Herrlich, Horst; Husek, Mirek; Kanovei, Vladimir; Kopeke, Peter; Preuss, Gerhard. Num Pages: 884 pages, biography. BIC Classification: PBC; PBP; PBX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 48. Weight in Grams: 1502.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 884
- Condition
- New
- SKU
- V9783540422242
- ISBN
- 9783540422242
Hardback
Condition: New
€ 212.15
€ 212.15
Microfilm. Editor(s): Brauer, Wilfried; Freksa, Christian. Num Pages: 544 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; PBCD; UF; UG; UYM; UYQE; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 244 x 170 x 29. Weight in Grams: 875.
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783540518389
- ISBN
- 9783540518389
Hardback
Condition: New
€ 76.12
€ 76.12
paperback. Editor(s): Brandolini, Luca; Colzani, Leonardo; Iosevich, Alex; Travaglini, Giancarlo. Series: Applied and Numerical Harmonic Analysis. Num Pages: 268 pages, biography. BIC Classification: PBC; PBK; PBMS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 268
- Condition
- New
- SKU
- V9781461264743
- ISBN
- 9781461264743
Paperback
Condition: New
€ 66.78
€ 66.78
Formal Aspects of Component Software: 12th International Conference, F...
. Ed(S): Braga, Christiano; Olveczky, Peter C...
paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319289335
- ISBN
- 9783319289335
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Editor(s): Bouchon-Meunier, Bernadette; Yager, Ronald R.; Zadeh, Lotfi A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 470 pages, biography. BIC Classification: PBCD; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 470
- Condition
- New
- SKU
- V9781461373735
- ISBN
- 9781461373735
Paperback
Condition: New
€ 129.53
€ 129.53
Automated Deduction in Geometry: 10th International Workshop, ADG 2014...
. Ed(S): Botana, Francisco; Quaresma, Pedro
paperback. Editor(s): Botana, Francisco; Quaresma, Pedro. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: PBCD; PBMS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 190
- Condition
- New
- SKU
- V9783319213613
- ISBN
- 9783319213613
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540544876
- ISBN
- 9783540544876
Paperback
Condition: New
€ 72.44
€ 72.44
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 216
- Condition
- New
- SKU
- V9789048154722
- ISBN
- 9789048154722
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 132.14
€ 132.14