Mathematical foundations
Results 721 - 744 of 863
Mathematical foundations
Paperback. Editor(s): Masulli, Francesco; Pasi, Gabriella; Yager, Ronald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 261 pages, 67 black & white illustrations, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319031996
- ISBN
- 9783319031996
Paperback
Condition: New
€ 63.66
€ 63.66
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- 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
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 241.02
€ 241.02
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
€ 63.93
€ 63.93
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
€ 122.45
€ 122.45
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
€ 185.55
€ 185.55
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
€ 185.98
€ 185.98
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
€ 73.71
€ 73.71
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
€ 257.14
€ 257.14
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
€ 121.55
€ 121.55
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
€ 409.14
€ 409.14
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
€ 65.17
€ 65.17
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
€ 186.58
€ 186.58
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
€ 68.68
€ 68.68
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
€ 68.99
€ 68.99
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
€ 121.73
€ 121.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
€ 186.10
€ 186.10
Paperback. Contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS' 89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Editor(s): Kreczmar, A.; Mirkowska, G. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 235 x 155 x 31. Weight in Grams: 857.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540514862
- ISBN
- 9783540514862
Paperback
Condition: New
€ 72.97
€ 72.97
The Road to Universal Logic. Festschrift for the 50th Birthday of Jean...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
Paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 619 pages, 70 black & white illustrations, 180 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 168 x 32. Weight in Grams: 1038.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 619
- Condition
- New
- SKU
- V9783319153674
- ISBN
- 9783319153674
Paperback
Condition: New
€ 67.29
€ 67.29
The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yve...
. Ed(S): Koslow, Arnold; Buchsbaum, Arthur
paperback. The Road to Universal Logic Editor(s): Koslow, Arnold; Buchsbaum, Arthur. Series: Studies in Universal Logic. Num Pages: 532 pages, 51 black & white illustrations, 51 colour illustrations, biography. BIC Classification: HPL; PBCD; PBX. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 27. Weight in Grams: 893.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhäuser Switzerland
- Edition
- 2015th Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9783319101927
- ISBN
- 9783319101927
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. This text presents a self-contained introduction to J. Rickard's Morita theory for derived module categories and its applications in representation theory of finite groups. Editor(s): Knig, S. (University of Bielefeld, Germany); Zimmerman, A. (Universite de Picardie Jules Verne, Amiens, France). Series: Lecture Notes in Mathematics. Num Pages: 246 pages, biography. BIC Classification: PBC; PBG; PBMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9783540643111
- ISBN
- 9783540643111
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Editor(s): Kilov, Haim; Baclavski, Ken. Num Pages: 338 pages, biography. BIC Classification: KJMV6; KJQ; PBC; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 338
- Condition
- New
- SKU
- V9789048163670
- ISBN
- 9789048163670
Paperback
Condition: New
€ 185.47
€ 185.47
paperback. Editor(s): Kijania-Placek, Katarzyna; Wolenski, Jan. Series: Synthese Library. Num Pages: 404 pages, biography. BIC Classification: CFA; HPK; HPL; PBC. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 22. Weight in Grams: 667.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 404
- Condition
- New
- SKU
- V9789401061469
- ISBN
- 9789401061469
Paperback
Condition: New
€ 186.30
€ 186.30
Paperback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantics Structures in Computation. Num Pages: 273 pages, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 273
- Condition
- New
- SKU
- V9789401038591
- ISBN
- 9789401038591
Paperback
Condition: New
€ 121.91
€ 121.91
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 126.58
€ 126.58