Mathematical foundations
Results 141 - 160 of 1164
Mathematical foundations
Paperback. This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. Series: Universitext. Num Pages: 492 pages, 3 black & white illustrations, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 1520.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 492
- Condition
- New
- SKU
- V9783540423249
- ISBN
- 9783540423249
Paperback
Condition: New
€ 224.35
€ 224.35
Hardback. Num Pages: 256 pages, black & white illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 15. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Princeton University Press United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780691058535
- ISBN
- 9780691058535
Hardback
Condition: New
€ 102.01€ 77.70
€ 102.01
€ 77.70
Paperback. Num Pages: 202 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 11. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 202
- Condition
- New
- SKU
- V9783642617195
- ISBN
- 9783642617195
Paperback
Condition: New
€ 123.04
€ 123.04
Hardback. In opposition to the classical set theory of natural language, this monograph offers a theory based on alternative and fuzzy sets. This approach is grounded in semantics and pragmatics, and accounts for the vagueness inherent in natural language. Series: IFSR International Series on Systems Science and Engineering. Num Pages: 204 pages, biography. BIC Classification: CF; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 1090.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 204
- Condition
- New
- SKU
- V9780306442698
- ISBN
- 9780306442698
Hardback
Condition: New
€ 126.65
€ 126.65
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathe...
. Ed(S): Benthem, Johan Van; Heinzmann, Gerha...
Paperback. Developments in math, philosophy, physics, computer science, economics and linguistics have affected the development of logic. This book explores the interplay between logic and science, describing new trends, new issues and potential research developments. Editor(s): Benthem, Johan van; Heinzmann, Gerhard; Rebuschi, Manuel; Visser, Henk. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 358 pages, biography. BIC Classification: HPL; PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer Netherlands
- Edition
- 1st ed. 2006. 2nd printing 2009
- Number of pages
- 358
- Condition
- New
- SKU
- V9789048124855
- ISBN
- 9789048124855
Paperback
Condition: New
€ 200.61
€ 200.61
Paperback / so. Series: Unitext: La Matematica Per il 3+2. Num Pages: 323 pages, black & white illustrations, bibliography. BIC Classification: PBCD; PBD; PBF; PBV; PBW; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 472.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Verlag Italy
- Number of pages
- 323
- Condition
- New
- SKU
- V9788847054738
- ISBN
- 9788847054738
Paperback
Condition: New
€ 59.53
€ 59.53
Paperback. Illustrator(s): Nihoff, Tim. Series: McGrath Math (Paperback). Num Pages: 32 pages. BIC Classification: PBC. Category: (J) Children / Juvenile. Weight in Grams: 367.
- Publisher
- Charlesbridge
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9781580894272
- ISBN
- 9781580894272
Paperback
Condition: New
€ 9.42
€ 9.42
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
€ 69.32
€ 69.32
Paperback. Series: Mathematiques et Applications. Num Pages: 230 pages, 1. BIC Classification: PBCN; PBKJ; PBUH. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 330.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540253136
- ISBN
- 9783540253136
Paperback
Condition: New
€ 65.96
€ 65.96
Hardback. A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. Num Pages: 394 pages, biography. BIC Classification: PBCD; TJFC. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9780792398929
- ISBN
- 9780792398929
Hardback
Condition: New
€ 130.27
€ 130.27
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 279 pages, biography. BIC Classification: PBC; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642722509
- ISBN
- 9783642722509
Paperback
Condition: New
€ 122.37
€ 122.37
Paperback. Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. Illustrator(s): Altreuter, Emily. Num Pages: 608 pages, ill. BIC Classification: HP; PBCD. Category: (P) Professional & Vocational. Dimension: 246 x 190 x 20. Weight in Grams: 788.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 424
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781444337150
- ISBN
- 9781444337150
Paperback
Condition: New
€ 78.13
€ 78.13
Paperback. Editor(s): Colton, David; Engl, Heinz W. (Institut f. Mathematik, Johannes Kepler Universitat, Linz, Austria); Louis, Alfred K.; McLaughlin, Joyce; Rundell, William. Num Pages: 275 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 275
- Condition
- New
- SKU
- V9783211834701
- ISBN
- 9783211834701
Paperback
Condition: New
€ 64.79
€ 64.79
Paperback. Series: Trends in Logic. Num Pages: 305 pages, black & white illustrations. BIC Classification: HPL; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 305
- Condition
- New
- SKU
- V9789048160143
- ISBN
- 9789048160143
Paperback
Condition: New
€ 270.69
€ 270.69
Hardback. Series: Artificial Intelligence: Foundations, Theory, and Algorithms. Num Pages: 358 pages, 119 black & white illustrations, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 358
- Condition
- New
- SKU
- V9783319423357
- ISBN
- 9783319423357
Hardback
Condition: New
€ 219.44
€ 219.44
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
€ 198.94
€ 198.94
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
€ 200.61
€ 200.61
Structured Adaptive Mesh Refinement (SAMR) Grid Methods
. Ed(S): Baden, S.b.; Chrisochoides, N.p.; Ga...
Paperback. Editor(s): Baden, S.B.; Chrisochoides, N.P.; Gannon, Dennis B.; Norman, M.L. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 193 pages, 4 black & white tables, biography. BIC Classification: PBCN; PBV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 308.
- 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
- 193
- Condition
- New
- SKU
- V9781461270621
- ISBN
- 9781461270621
Paperback
Condition: New
€ 63.28
€ 63.28
Structural Theory of Automata, Semigroups, and Universal Algebra
. Ed(S): Kudryavtev, Valery B. (M.v. Lomonoso...
Paperback. Semigroups, Automata, Universal Algebra, Varieties Editor(s): Kudryavtev, Valery B. (M.V. Lomonosov Moscow State University); Rosenberg, I. G. Series: NATO Science Series II. Num Pages: 434 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 434
- Condition
- New
- SKU
- V9781402038167
- ISBN
- 9781402038167
Paperback
Condition: New
€ 124.44
€ 124.44
Structural Theory of Automata, Semigroups, and Universal Algebra
. Ed(S): Kudryavtsev, Valery B. (M.v. Lomonos...
Hardback. Covers Semigroups, Automata, Universal Algebra, and Varieties. Editor(s): Kudryavtsev, Valery B. (M.V. Lomonosov Moscow State University); Rosenberg, Ivo G. Series: NATO Science Series II. Num Pages: 434 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 434
- Condition
- New
- SKU
- V9781402038150
- ISBN
- 9781402038150
Hardback
Condition: New
€ 131.22
€ 131.22