.png){kind=logo}
Mathematical foundations
Results 941 - 960 of 1148
Mathematical foundations
Paperback. Editor(s): Marti-Oliet, Narciso; Palomino, Miguel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 71 black & white illustrations, biography. BIC Classification: PBC; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642376344
- ISBN
- 9783642376344
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Marion, Mathieu; Cohen, Robert S. Series: Boston Studies in the Philosophy and History of Science. Num Pages: 344 pages, biography. BIC Classification: HB; HPK; HPL; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 18. Weight in Grams: 556.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 344
- Condition
- New
- SKU
- V9789401072045
- ISBN
- 9789401072045
Paperback
Condition: New
€ 128.44
€ 128.44
Paperback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 194.77
€ 194.77
Hardback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; PBC; PBF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 344
- Condition
- New
- SKU
- V9781402090837
- ISBN
- 9781402090837
Hardback
Condition: New
€ 200.98
€ 200.98
Paperback. This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded. Editor(s): Majer, Ondrej; Pietarinen, Ahti-Veikko (University of Helsinki); Tulenheimo, Tero. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 402 pages, biography. BIC Classification: CFA; CFG; HPL; PBC; PBW; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 402
- Condition
- New
- SKU
- V9789048181155
- ISBN
- 9789048181155
Paperback
Condition: New
€ 195.22
€ 195.22
Mathematical Foundations of Programming Language Semantics
. Ed(S): Main, M.; Melton, Austin; Mislove, M...
Paperback. Editor(s): Main, M.; Melton, Austin; Mislove, Michael; Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, 1 black & white illustrations, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540190202
- ISBN
- 9783540190202
Paperback
Condition: New
€ 77.23
€ 77.23
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
Paperback. Focusing on relevant conceptual and logical issues underlying the catholic quest for proving, this volume seeks to cast light on what the effectiveness of proof rests on. Editor(s): Lupacchini, Rossella; Corsi, Giovanna. Num Pages: 280 pages, biography. BIC Classification: HP; PBC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Verlag Italy
- Number of pages
- 280
- Condition
- New
- SKU
- V9788847007833
- ISBN
- 9788847007833
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Editor(s): Lowen, R.; Roubens, M. R. Series: Theory and Decision Library: D. Num Pages: 587 pages, biography. BIC Classification: GPFC; KJ; PBC; TGB; UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 31. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 587
- Condition
- New
- SKU
- V9789401048903
- ISBN
- 9789401048903
Paperback
Condition: New
€ 429.54
€ 429.54
Classical and New Paradigms of Computation and Their Complexity Hierar...
. Ed(S): Lowe, Benedikt; Piwinger, Boris; Ras...
Hardback. The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume investigates mathematical properties of complexity hierarchies, and also discusses algorithms and computational properties. It is of interest to both mathematical logicians and theoretical computer scientists. Editor(s): Lowe, Benedikt; Piwinger, Boris; Rasch, Thoralf. Series: Trends in Logic. Num Pages: 260 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781402027758
- ISBN
- 9781402027758
Hardback
Condition: New
€ 254.59
€ 254.59
Paperback. Editor(s): Lirkov, Ivan; Margenov, Svetozar D.; Wasniewski, Jerzy. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 127 colour illustrations, biography. BIC Classification: PBCN; PBF; PBW; PDND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 457
- Condition
- New
- SKU
- V9783319265193
- ISBN
- 9783319265193
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Editor(s): Lin, T. Y.; Cercone, Nick. Num Pages: 436 pages, biography. BIC Classification: PBC; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 436
- Condition
- New
- SKU
- V9781461286370
- ISBN
- 9781461286370
Paperback
Condition: New
€ 195.54
€ 195.54
Paperback. Editor(s): Li, Hua Harry; Gupta, Madan M. Series: International Series in Intelligent Technologies. Num Pages: 450 pages, biography. BIC Classification: KJT; PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 450
- Condition
- New
- SKU
- V9789401737739
- ISBN
- 9789401737739
Paperback
Condition: New
€ 195.85
€ 195.85
Quantum Gravity, Generalized Theory of Gravitation and Superstring The...
. Ed(S): Kursunogammalu, Behram N.; Mintz, St...
Paperback. Held December 16-919, 1999, this proceedings is derived from the Global Foundation Inc.'s Orbis Scientiae 1999. Topics include: cosmological parameters, unifying elementary particle physics, cosmology, superstrings, and black holes. Editor(s): Kursunogammalu, Behram N.; Mintz, Stephan L.; Perlmutter, Arnold. Num Pages: 228 pages, biography. BIC Classification: PBC; PDE; PHDV; PHN; PHVB; TBJ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 13. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2001
- Number of pages
- 228
- Condition
- New
- SKU
- V9781441933485
- ISBN
- 9781441933485
Paperback
Condition: New
€ 131.39
€ 131.39
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 71.97
€ 71.97
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more. Editor(s): Kuich, Werner; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science. Num Pages: 398 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540434535
- ISBN
- 9783540434535
Paperback
Condition: New
€ 72.29
€ 72.29
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
€ 136.71
€ 136.71
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
€ 129.35
€ 129.35
Paperback. Editor(s): Krynicki, Michal; Mostowski, Marcin (Department of Philosophy, University of Warsaw, Poland); Szczerba, L.W. (Siedlce University, Poland). Series: Synthese Library. Num Pages: 278 pages, biography. BIC Classification: CFG; HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of 1st ed. 1995
- Number of pages
- 278
- Condition
- New
- SKU
- V9789048145409
- ISBN
- 9789048145409
Paperback
Condition: New
€ 127.73
€ 127.73
paperback. Editor(s): Krynicki, Michal; Mostowski, Marcin (Department of Philosophy, University of Warsaw, Poland); Szczerba, L.W. (Siedlce University, Poland). Series: Synthese Library. Num Pages: 424 pages, biography. BIC Classification: CFG; HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 24. Weight in Grams: 637.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1995
- Number of pages
- 424
- Condition
- New
- SKU
- V9789048145393
- ISBN
- 9789048145393
Paperback
Condition: New
€ 195.34
€ 195.34