Mathematical foundations
Results 889 - 889 of 889
Mathematical foundations
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
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
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
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. Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of additive number theory. The applications discussed include communication theory and digital signal processing, image processing, optimization and discrete geometry. Editor(s): Chudnovsky, David; Chudnovsky, Gregory V. Num Pages: 361 pages, 2 black & white tables, biography. BIC Classification: PBC; PBF; PBH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 361
- Condition
- New
- SKU
- V9781489981462
- ISBN
- 9781489981462
Paperback
Condition: New
€ 123.31
€ 123.31