.png){kind=logo}
Mathematical foundations
Results 881 - 900 of 1148
Mathematical foundations
Hardcover. Johan van Benthem on Logic and Information Dynamics Editor(s): Baltag, Alexandru; Smets, Sonja (Free University of Brussels, Belgium). Series: Outstanding Contributions to Logic. Num Pages: 1027 pages, 115 black & white illustrations, biography. BIC Classification: PBC; UYF. Category: (P) Professional & Vocational. Dimension: 239 x 165 x 47. Weight in Grams: 1666.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319060248
- ISBN
- 9783319060248
Hardback
Condition: New
€ 257.69
€ 257.69
Hardcover. Petr Hajek on Mathematical Fuzzy Logic Editor(s): Montagna, Franco. Series: Outstanding Contributions to Logic. Num Pages: 318 pages, 9 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 23. Weight in Grams: 638.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319062327
- ISBN
- 9783319062327
Hardback
Condition: New
€ 129.17
€ 129.17
Paperback. The Life and Work of Leon Henkin Editor(s): Manzano, Maria; Sain, Ildiko; Alonso, Enrique. Series: Studies in Universal Logic. Num Pages: 373 pages, 13 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBC; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 170 x 242 x 18. Weight in Grams: 628.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319097183
- ISBN
- 9783319097183
Paperback
Condition: New
€ 67.93
€ 67.93
Hardback. Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. BIC Classification: PBC. Dimension: 235 x 155. Weight in Grams: 976.
- Format
- Hardback
- Publication date
- 1983
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540122104
- ISBN
- 9783540122104
Hardback
Condition: New
€ 208.58
€ 208.58
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 872 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1280.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 872
- Condition
- New
- SKU
- V9783540222613
- ISBN
- 9783540222613
Paperback
Condition: New
€ 133.22
€ 133.22
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540240143
- ISBN
- 9783540240143
Paperback
Condition: New
€ 73.12
€ 73.12
paperback. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer Germany
- Edition
- 2003rd Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540403326
- ISBN
- 9783540403326
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, and linear logic. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540419600
- ISBN
- 9783540419600
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. Addresses important issues in language theory including grammars, acceptors and transducers for words, trees and graphs. This book also addresses algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; and cellular automata. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 439 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783540732075
- ISBN
- 9783540732075
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 410 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540732273
- ISBN
- 9783540732273
Paperback
Condition: New
€ 68.17
€ 68.17
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, biography. BIC Classification: PBCD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 769
- Condition
- New
- SKU
- V9783642009815
- ISBN
- 9783642009815
Paperback
Condition: New
€ 132.47
€ 132.47
Paperback. This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 2009, in Haifa, Israel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 255 pages, biography. BIC Classification: PBCD; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783642017476
- ISBN
- 9783642017476
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 351 pages, biography. BIC Classification: PBC; UM; UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 351
- Condition
- New
- SKU
- V9783642034282
- ISBN
- 9783642034282
Paperback
Condition: New
€ 67.55
€ 67.55
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 578 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 578
- Condition
- New
- SKU
- V9783642040269
- ISBN
- 9783642040269
Paperback
Condition: New
€ 130.58
€ 130.58
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642048920
- ISBN
- 9783642048920
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Includes Lectures - Model theory and applications, and Constructions in model theory; and, Seminars - SH formulas and generalized exponential, and Makowski - Topological model theory. Series: CIME Summer Schools. Num Pages: 156 pages, 2 black & white illustrations, biography. BIC Classification: PBC. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642111198
- ISBN
- 9783642111198
Paperback
Condition: New
€ 39.33
€ 39.33
paperback. Series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie. Num Pages: 524 pages, black & white illustrations, bibliography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 757.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 524
- Condition
- New
- SKU
- V9783642617232
- ISBN
- 9783642617232
Paperback
Condition: New
€ 207.59
€ 207.59
Paperback / so. Series: Teubner-Texte Zur Mathematik. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; PBD; PBF; PBV; TB. Category: (G) General (US: Trade). Dimension: 216 x 140 x 13. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783663124795
- ISBN
- 9783663124795
Paperback
Condition: New
€ 47.25
€ 47.25
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 394 pages, 23 black & white tables, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1650.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783790814255
- ISBN
- 9783790814255
Hardback
Condition: New
€ 201.97
€ 201.97