Mathematical foundations
Results 721 - 729 of 729
Mathematical foundations
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
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): 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
Paperback. Editor(s): Cellier, Peggy; Distel, Felix; Ganter, Bernhard. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 277 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UNF; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642383168
- ISBN
- 9783642383168
Paperback
Condition: New
€ 58.56
€ 58.56
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 68.11
€ 68.11
Dynamics of Coupled Map Lattices and of Related Spatially Extended Sys...
. Ed(S): Chazottes, Jean-Rene (Cnrs-Ecole Pol...
Hardback. Describes the (mathematical) theory of CML and some related systems and their phenomenology, with some examples of CML modeling of concrete systems (from physics and biology). This book is about the dynamics of coupled map lattices (CML) and of related spatially extended systems. It will be useful to post-graduate students and researchers. Editor(s): Chazottes, Jean-Rene (CNRS-Ecole Polytechnique); Fernandez, Bastien. Series: Lecture Notes in Physics. Num Pages: 374 pages, 78 black & white illustrations, 1 black & white tables, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783540242895
- ISBN
- 9783540242895
Hardback
Condition: New
€ 128.72
€ 128.72
DNA Computing: 9th International Workshop on DNA Based Computers, DNA9...
. Ed(S): Chen, Junghuei; Reif, John
paperback. Editor(s): Chen, Junghuei; Reif, John. Series: Lecture Notes in Computer Science. Num Pages: 212 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 212
- Condition
- New
- SKU
- V9783540209300
- ISBN
- 9783540209300
Paperback
Condition: New
€ 65.85
€ 65.85
Paperback. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642622489
- ISBN
- 9783642622489
Paperback
Condition: New
€ 122.81
€ 122.81
paperback. Editor(s): Coecke, Bob; Moore, David; Wilce, Alexander (Juniata College, Dept. of Mathematics and Computer Science, Huntingdon, PA, USA). Series: Fundamental Theories of Physics. Num Pages: 332 pages, biography. BIC Classification: PBC; PBF; PBG; PBW; PHQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Number of pages
- 332
- Condition
- New
- SKU
- V9789048154371
- ISBN
- 9789048154371
Paperback
Condition: New
€ 185.55
€ 185.55
Computation, Logic, Games and Quantum Foundations - The Many Facets of...
. Ed(S): Coecke, Bob; Ong, Luke; Panangaden, ...
Paperback. Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the disciplines of semantics, logic, games and quantum mechanics. Editor(s): Coecke, Bob; Ong, Luke; Panangaden, Prakash. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 385 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 21. Weight in Grams: 550.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 385
- Condition
- New
- SKU
- V9783642381638
- ISBN
- 9783642381638
Paperback
Condition: New
€ 64.42
€ 64.42
Pristine Perspectives on Logic, Language and Computation
. Ed(S): Colinet, Margot; Katrenko, Sophia; R...
Paperback. Editor(s): Colinet, Margot; Katrenko, Sophia; Rendsvig, Rasmus K. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 277 pages, 55 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783662441152
- ISBN
- 9783662441152
Paperback
Condition: New
€ 63.59
€ 63.59
Applications and Theory of Petri Nets 2001: 22nd International Confere...
. Ed(S): Colom, Jose-Manuel; Koutny, Maciej
paperback. Editor(s): Colom, Jose-Manuel; Koutny, Maciej. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540422525
- ISBN
- 9783540422525
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Editor(s): Crapo, Henry H.; Senato, D. Num Pages: 546 pages, biography. BIC Classification: PBC; PBV; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 546
- Condition
- New
- SKU
- V9788847021594
- ISBN
- 9788847021594
Paperback
Condition: New
€ 124.83
€ 124.83
Paperback. Editor(s): Csuhaj-Varju, Erzsebet; Gheorghe, Marian; Rozenberg, Grzegorz; Salomaa, Arto; Vaszil, Gyorgy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 437 pages, 104 black & white illustrations, biography. BIC Classification: PBCD; UYM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783642367502
- ISBN
- 9783642367502
Paperback
Condition: New
€ 65.14
€ 65.14
Paperback. Editor(s): Dalla Chiara, Maria Luisa; Doets, Kees; Mundici, Daniele; Benthem, Johan van. Series: Synthese Library. Num Pages: 534 pages, biography. BIC Classification: HPL; PBC; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 534
- Condition
- New
- SKU
- V9789048147861
- ISBN
- 9789048147861
Paperback
Condition: New
€ 241.11
€ 241.11
The Foundational Debate. Complexity and Constructivity in Mathematics ...
. Ed(S): Depauli-Schimanovich, Werner; Kohler...
Paperback. Editor(s): DePauli-Schimanovich, Werner; Kohler, Eckehart; Stadler, Friedrich. Series: Vienna Circle Institute Yearbook. Num Pages: 368 pages, biography. BIC Classification: HB; HPL; PBC; PHQ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1995
- Number of pages
- 368
- Condition
- New
- SKU
- V9789048146178
- ISBN
- 9789048146178
Paperback
Condition: New
€ 185.74
€ 185.74
Computation and Comparison of Efficient Turbulence Models for Aeronaut...
. Ed(S): Dervieux, Alain; Braza, Marianna; Du...
Paperback. Editor(s): Dervieux, Alain; Braza, Marianna; Dussauge, Jean-Paul. Series: Notes on Numerical Fluid Mechanics. Num Pages: 595 pages, 385 black & white illustrations. BIC Classification: PBC; PHDF; TRP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 30. Weight in Grams: 902.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 595
- Condition
- New
- SKU
- V9783322898616
- ISBN
- 9783322898616
Paperback
Condition: New
€ 67.01
€ 67.01
TAPSOFT '89. Proceedings of the International Joint Conference on Theo...
. Ed(S): Diaz, J.; Orejas, Fernando
Paperback. Editor(s): Diaz, J.; Orejas, Fernando. Series: Lecture Notes in Computer Science. Num Pages: 395 pages, biography. BIC Classification: PBCD; UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540509394
- ISBN
- 9783540509394
Paperback
Condition: New
€ 68.99
€ 68.99