.png){kind=logo}
Mathematical foundations
Results 1001 - 1020 of 1149
Mathematical foundations
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
€ 127.64
€ 127.64
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
€ 135.65
€ 135.65
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
€ 68.78
€ 68.78
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
€ 72.29
€ 72.29
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.58
€ 9.58
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
€ 61.80
€ 61.80
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
€ 209.61
€ 209.61
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
€ 131.93
€ 131.93
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
€ 128.33
€ 128.33
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
€ 109.39€ 83.75
€ 109.39
€ 83.75
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
€ 234.26
€ 234.26
Paperback. Editor(s): Lane, Saunders Mac; Siefkes, Dirk. Num Pages: 696 pages, biography. BIC Classification: PBC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1065.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 696
- Condition
- New
- SKU
- V9781461389309
- ISBN
- 9781461389309
Paperback
Condition: New
€ 70.99
€ 70.99
The Dynamics of Judicial Proof. Computation, Logic and Common Sense.
. Ed(S): Maccrimmon, Marilyn; Tillers, Peter
Hardback. The papers in this collection consider whether computational or other formal logical methods developed in disciplines such as artificial intelligence, decision theory and probability theory can enable the study and management of dynamic evidentiary and inferential processes in litigation. Editor(s): MacCrimmon, Marilyn; Tillers, Peter. Series: Studies in Fuzziness and Soft Computing. Num Pages: 494 pages, 5 black & white tables, biography. BIC Classification: LAF; PBCD; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1990.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783790814590
- ISBN
- 9783790814590
Hardback
Condition: New
€ 268.53
€ 268.53
Hardback. Num Pages: 292 pages, 3 black & white illustrations, biography. BIC Classification: PBCD; PBF; PBG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 619.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Birkhauser Switzerland
- Number of pages
- 292
- Condition
- New
- SKU
- V9783319211992
- ISBN
- 9783319211992
Hardback
Condition: New
€ 67.93
€ 67.93
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
€ 195.37
€ 195.37
Paperback. The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide. Num Pages: 416 pages, 113 b/w line drawings. BIC Classification: PBC. Category: (UU) Undergraduate. Dimension: 218 x 138 x 25. Weight in Grams: 506.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780198706434
- ISBN
- 9780198706434
Paperback
Condition: New
€ 33.73
€ 33.73
Paperback. Lecce, 1993 Editor(s): Garola, Claudio; Rossi, Arcangelo. Series: Fundamental Theories of Physics. Num Pages: 471 pages, biography. BIC Classification: HPK; PBC; PBT; PDX; PHQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 24. Weight in Grams: 753.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1995
- Condition
- New
- SKU
- V9789401040174
- ISBN
- 9789401040174
Paperback
Condition: New
€ 68.95
€ 68.95
Hardback. Examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. This book then examines the role of abstraction, analysis and axiomatization. It also raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Editor(s): Grosholz, Emily R.; Breger, Herbert. Series: Synthese Library. Num Pages: 416 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 416
- Condition
- New
- SKU
- V9780792361510
- ISBN
- 9780792361510
Hardback
Condition: New
€ 291.85
€ 291.85
Paperback. Editor(s): Grosholz, Emily R.; Breger, Herbert. Series: Synthese Library. Num Pages: 416 pages, biography. BIC Classification: HB; HPL; PBC; PBX; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 416
- Condition
- New
- SKU
- V9789048153916
- ISBN
- 9789048153916
Paperback
Condition: New
€ 284.35
€ 284.35
Paperback. This softcover reprint of a popular reference provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. Series: Springer Monographs in Mathematics. Num Pages: 560 pages, biography. BIC Classification: PBC; PBP. Category: (P) Professional & Vocational. Dimension: 236 x 156 x 30. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2nd ed. 2003. Corr. 2nd printing 2005
- Condition
- New
- SKU
- V9783540888666
- ISBN
- 9783540888666
Paperback
Condition: New
€ 185.63
€ 185.63