Mathematical foundations
Results 769 - 792 of 863
Mathematical foundations
Paperback. Lattice Theory: Special Topics and Applications Editor(s): Gratzer, George A.; Wehrung, Friedrich. Num Pages: 481 pages, 78 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 25. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 481
- Condition
- New
- SKU
- V9783319064123
- ISBN
- 9783319064123
Paperback
Condition: New
€ 125.71
€ 125.71
Hardback. George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus. The utility of 'Boolean algebra' in computing has greatly increased curiosity in the nature and extent of his achievements. This work is suitable for logicians, mathematicians and philosophers, and students of the early Victorian Britain. Editor(s): Grattan-Guinness, Ivor; Bornet, Gerard. Series: Science Networks. Historical Studies. Num Pages: 301 pages, biography. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 163 x 23. Weight in Grams: 604.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 301
- Condition
- New
- SKU
- V9783764354565
- ISBN
- 9783764354565
Hardback
Condition: New
€ 69.67
€ 69.67
Paperback / so. Editor(s): Gottlob, Georg; Fruhwirth, Thom (Universitat Ulm, Germany); Horn, Werner, Dip; Fruhwirth, Thomas. Series: Springers Angewandte Informatik. Num Pages: 232 pages, black & white illustrations, bibliography. BIC Classification: PBCD; UB; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 232
- Condition
- New
- SKU
- V9783211822210
- ISBN
- 9783211822210
Paperback
Condition: New
€ 69.12
€ 69.12
Hardback. Editor(s): Georgoulis, Emmanuil H.; Iske, Armin; Levesley, Jeremy. Series: Springer Proceedings in Mathematics. Num Pages: 320 pages, 9 black & white tables, biography. BIC Classification: PBC; PBKJ; PBKS; PBW; PDE; TBJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 637.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642168758
- ISBN
- 9783642168758
Hardback
Condition: New
€ 186.10
€ 186.10
Paperback. This is a compendium of reviewed articles presented at the 11th EUROMECH-MECAMAT conference entitled, "Mechancis of microstructured solids: cellular materials, fibre reinforced solids and soft tissues." It provides all the latest information in the field. Editor(s): Ganghoffer, J.-F.; Pastrone, Franco. Series: Lecture Notes in Applied and Computational Mechanics. Num Pages: 136 pages, 2 black & white tables, biography. BIC Classification: PBCN; TGB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 219.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 136
- Condition
- New
- SKU
- V9783642101618
- ISBN
- 9783642101618
Paperback
Condition: New
€ 121.80
€ 121.80
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 25. Weight in Grams: 734.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 453
- Condition
- New
- SKU
- V9789401061230
- ISBN
- 9789401061230
Paperback
Condition: New
€ 239.35
€ 239.35
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2001
- Number of pages
- 517
- Condition
- New
- SKU
- V9789048156030
- ISBN
- 9789048156030
Paperback
Condition: New
€ 240.05
€ 240.05
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 333 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 333
- Condition
- New
- SKU
- V9789048150632
- ISBN
- 9789048150632
Paperback
Condition: New
€ 185.40
€ 185.40
Paperback. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 477 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 477
- Condition
- New
- SKU
- V9789048150380
- ISBN
- 9789048150380
Paperback
Condition: New
€ 354.43
€ 354.43
Induction, Algorithmic Learning Theory, and Philosophy
. Ed(S): Friend, Michele; Goethe, Norma B.; H...
Paperback. Editor(s): Friend, Michele; Goethe, Norma B.; Harizanov, Valentina S. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 304 pages, biography. BIC Classification: HPK; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 304
- Condition
- New
- SKU
- V9789048175444
- ISBN
- 9789048175444
Paperback
Condition: New
€ 185.03
€ 185.03
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1...
. Ed(S): Ewald, William Bragg; Seig, Wilfried
Hardback. This book is mostly comprised of six sets of notes for lectures Hilbert gave from 1917 to 1933. The notes cover the development of modern mathematical logic, the evolution of proof theory, and the parallel emergence of Hilbert's finitist standpoint. Editor(s): Ewald, William Bragg; Seig, Wilfried. Num Pages: 1062 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 240 x 164 x 63. Weight in Grams: 1700.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1062
- Condition
- New
- SKU
- V9783540205784
- ISBN
- 9783540205784
Hardback
Condition: New
€ 278.86
€ 278.86
Paperback. Editor(s): Erwig, Martin; Paige, Richard F. (University of York); Wyk, Eric van. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 397 pages, 156 black & white illustrations, biography. BIC Classification: PBCD; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 397
- Condition
- New
- SKU
- V9783319026534
- ISBN
- 9783319026534
Paperback
Condition: New
€ 65.01
€ 65.01
Paperback. Editor(s): El Yacoubi, Samira; Was, Jaroslaw; Bandini, Stefania. Series: Lecture Notes in Computer Science. Num Pages: 491 pages, 208 black & white illustrations, biography. BIC Classification: PBCD; UGK; UMB; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 491
- Condition
- New
- SKU
- V9783319443645
- ISBN
- 9783319443645
Paperback
Condition: New
€ 65.46
€ 65.46
Paperback. Invited Papers from the Fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, USA, May 13-16, 1975, with a Bibliography of "manyvalued Logic" by R.G. Wolf Editor(s): Dunn, M. (Dept. of Philosophy, Indiana University, Bloomington, USA); Epstein, G. Series: Episteme. Num Pages: 340 pages, biography. BIC Classification: HPCF; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1977
- Number of pages
- 340
- Condition
- New
- SKU
- V9789401011631
- ISBN
- 9789401011631
Paperback
Condition: New
€ 185.47
€ 185.47
Paperback. Editor(s): Dubois, Didier; Prade, Henri; Klement, Erich Peter. Series: Applied Logic Series. Num Pages: 425 pages, biography. BIC Classification: HPL; PBC; PBF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 425
- Condition
- New
- SKU
- V9789048153244
- ISBN
- 9789048153244
Paperback
Condition: New
€ 186.33
€ 186.33
paperback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBC; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 158 x 32. Weight in Grams: 876.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642260490
- ISBN
- 9783642260490
Paperback
Condition: New
€ 273.48
€ 273.48
Hardback. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research. Editor(s): Droste, Manfred; Kuich, Werner; Vogler, Heiko. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 625 pages, 73 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBCD; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 43. Weight in Grams: 1208.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642014918
- ISBN
- 9783642014918
Hardback
Condition: New
€ 273.94
€ 273.94
Mathematical Undecidability, Quantum Nonlocality and the Question of t...
. Ed(S): Driessen, Alfred; Suarez, Antione
Paperback. Editor(s): Driessen, Alfred; Suarez, Antione. Num Pages: 227 pages, biography. BIC Classification: HRA; PBC; PDA; PHQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 227
- Condition
- New
- SKU
- V9789401062831
- ISBN
- 9789401062831
Paperback
Condition: New
€ 121.23
€ 121.23
Paperback. Contains a selection of research papers presented at the Workshop on Fuzzy Logic and Fuzzy Control, held in Sydney, Australia in August 1991. The work is divided into sections on fuzzy reasoning, fuzzy neural networks, fuzzy control applications, fuzzy logic planning and fuzzy circuits. Editor(s): Driankov, Dimiter; etc.; Eklund, P.W. (University of Adelaide, Australia); Ralescu, A. (Laboratory for International Fuzzy Engineering, Yokohama, Japan). Series: Lecture Notes in Computer Science. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBWX; UYF; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540582793
- ISBN
- 9783540582793
Paperback
Condition: New
€ 80.33
€ 80.33
Paperback. Editor(s): Dokken, Tor; Juttler, Bert. Num Pages: 246 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 246
- Condition
- New
- SKU
- V9783642062339
- ISBN
- 9783642062339
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. Editor(s): Dokken, Tor; Juttler, Bert. Num Pages: 238 pages, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540232742
- ISBN
- 9783540232742
Hardback
Condition: New
€ 126.25
€ 126.25
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 65.44
€ 65.44
Clifford Algebras and Their Application in Mathematical Physics
. Ed(S): Dietrich, Volker; Habetha, Klaus; Ja...
Paperback. Editor(s): Dietrich, Volker; Habetha, Klaus; Jank, Gerhard. Series: Fundamental Theories of Physics. Num Pages: 479 pages, biography. BIC Classification: PBC; PBF; PBKD; PBKJ; PBKL. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 479
- Condition
- New
- SKU
- V9789401061148
- ISBN
- 9789401061148
Paperback
Condition: New
€ 65.74
€ 65.74
Paperback. Editor(s): Dierker, Egbert; Sigmund, Karl. Num Pages: 470 pages, biography. BIC Classification: HP; KCA; PBC; PBG; PBM; PBP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 470
- Condition
- New
- SKU
- V9783709173305
- ISBN
- 9783709173305
Paperback
Condition: New
€ 81.59
€ 81.59