Mathematical foundations
Results 1009 - 1015 of 1015
Mathematical foundations
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 127.45
€ 127.45
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 65.93
€ 65.93
Hardback. Editor(s): Bochenski, J. M.; Bird, Otto. Series: Synthese Library. Num Pages: 100 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Scholarly. Dimension: 235 x 155 x 7. Weight in Grams: 343.
- Format
- Hardback
- Publication date
- 1960
- Publisher
- Springer Netherlands
- Number of pages
- 100
- Condition
- New
- SKU
- V9789027700735
- ISBN
- 9789027700735
Hardback
Condition: New
€ 124.28
€ 124.28
Paperback. Editor(s): Bohner, Martin; Peterson, Allan C. Num Pages: 348 pages, biography. BIC Classification: PBC; PBF; PBKJ; PBW. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 692.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 348
- Condition
- New
- SKU
- V9781461265023
- ISBN
- 9781461265023
Paperback
Condition: New
€ 65.70
€ 65.70
Paperback. Editor(s): Boissonnat, Jean-Daniel; Chenin, Patrick; Cohen, Albert; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 758 pages, 355 black & white illustrations, biography. BIC Classification: PBC; UGC; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783642274121
- ISBN
- 9783642274121
Paperback
Condition: New
€ 126.82
€ 126.82
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 65.50
€ 65.50
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
€ 121.92
€ 121.92
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
€ 69.04
€ 69.04
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
€ 69.11
€ 69.11
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
€ 52.16
€ 52.16
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
€ 123.26
€ 123.26
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
€ 64.34
€ 64.34
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
€ 64.03
€ 64.03
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
€ 202.20
€ 202.20
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
€ 122.65
€ 122.65
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
€ 121.76
€ 121.76
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
€ 63.19
€ 63.19
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
€ 67.71
€ 67.71
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
€ 66.09
€ 66.09
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
€ 197.00
€ 197.00
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
€ 121.27
€ 121.27
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
€ 121.95
€ 121.95
Paperback. 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: 240 x 160 x 23. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 324
- Condition
- New
- SKU
- V9789048170197
- ISBN
- 9789048170197
Paperback
Condition: New
€ 185.52
€ 185.52
Theoretical, Experimental, and Numerical Contributions to the Mechanic...
. Ed(S): Casey, James; Crochet, Marcel J.
Paperback. Editor(s): Casey, James; Crochet, Marcel J. Num Pages: 862 pages, biography. BIC Classification: PBCN; PHD; PHU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 43. Weight in Grams: 1306.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 862
- Condition
- New
- SKU
- V9783034899543
- ISBN
- 9783034899543
Paperback
Condition: New
€ 242.45
€ 242.45