search for books and compare prices
MATHEMATICS / Logic matches 1412 work(s)
< previous 25 |
displaying 26 to 50 |
next 25 >
Hardcover:
9783319309651 | Springer Verlag, June 24, 2016, cover price $59.99
Paperback:
9783662496732 | Springer-Verlag New York Inc, April 9, 2016, cover price $140.00 | About this edition: This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
Hardcover:
9780465051717 | Basic Books, May 5, 2015, cover price $27.50
Paperback:
9780465097678 | Reprint edition (Basic Books, May 10, 2016), cover price $15.99
9780395342329, titled "Economics" | Houghton Mifflin School, January 1, 1984, cover price $7.00 | also contains Economics
CD/Spoken Word:
9781622316687 | Unabridged edition (Highbridge Co, May 5, 2015), cover price $34.99
Product Description: In its first part, the book analyses symbolic computation involving probabilism from scratch. The book establishes rigorous Markov Chain semantics for the typed lambda calculus with recursion and probabilistic choices. It exploits statistical distributions as domains and defines appropriate denotational semantics for the introduced lambda calculus...read more
Hardcover:
9783642551970 | Springer Verlag, November 7, 2016, cover price $109.00 | About this edition: In its first part, the book analyses symbolic computation involving probabilism from scratch.
Hardcover:
9783319288079 | Springer-Verlag New York Inc, February 1, 2016, cover price $129.00
Hardcover:
9780691638379 | Princeton Univ Pr, April 19, 2016, cover price $74.95 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.
9780030085871, titled "Espanol En Espanol" | Harcourt College Pub, January 1, 1996, cover price $98.95 | also contains Espanol En Espanol
9780691082127 | Princeton Univ Pr, August 1, 1978, cover price $35.00 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.
Paperback:
9780691610221 | Princeton Univ Pr, March 8, 2015, cover price $29.95 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.
Hardcover:
9781118947043 | John Wiley & Sons Inc, June 7, 2016, cover price $115.00
Hardcover:
9783598713255 | K G Saur Verlag Gmbh & Co, June 1, 1998, cover price $129.00
9780195049664 | Oxford Univ Pr, January 1, 1994, cover price $30.01
Paperback:
9781532880667 | Createspace Independent Pub, April 22, 2016, cover price $6.95
9781420927344 | Digireads.Com, January 30, 2006, cover price $4.99
9780048820303 | Unwin Hyman, June 1, 1905, cover price $3.95 | also contains Advances In Modal Logic, Advances in Modal Logic
Paperback:
9783319300238 | Springer Verlag, March 26, 2016, cover price $82.00
Hardcover:
9783540206057 | Springer Verlag, March 6, 2017, cover price $99.00
Paperback:
9780091518318, titled "How to Manage People" | Business Books, June 1, 1984, cover price $11.95 | also contains How to Manage People
Paperback:
9783662496299 | Springer-Verlag New York Inc, March 23, 2016, cover price $107.00 | About this edition: This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
Paperback:
9783319299990 | Springer-Verlag New York Inc, April 3, 2016, cover price $107.00 | About this edition: This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016.
Hardcover:
9780465053735 | Basic Books, March 22, 2016, cover price $29.99
Paperback:
9781530703852 | Createspace Independent Pub, March 21, 2016, cover price $9.99 | About this edition: The absolute value of zero is one (and vice versa).
Hardcover:
9783319265490 | Springer Verlag, December 29, 2015, cover price $69.99
Paperback:
9783319294728 | Revised edition (Springer-Verlag New York Inc, February 3, 2016), cover price $60.00
Hardcover:
9781466697980 | Information Science Pub, April 8, 2016, cover price $375.00 | About this edition: Successful development of effective computational systems is a challenge for IT developers across sectors due to uncertainty issues that are inherently present within computational problems.
Hardcover:
9783319281629 | Springer Verlag, February 8, 2016, cover price $129.00 | About this edition: The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine.
Hardcover:
9783110275551 | Walter De Gruyter Inc, July 30, 2015, cover price $168.00 | About this edition: This monograph presents recursion theory from a generalized and largely global point of view.
Paperback:
9783319286778 | Springer-Verlag New York Inc, January 25, 2016, cover price $79.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.
Hardcover:
9783319196046 | Springer Verlag, May 30, 2016, cover price $129.00 | About this edition: This book covers new aspects and frameworks of control, design, and optimization based on the TP model transformation and its various extensions.
Hardcover:
9780309027854, titled "Nitrates: An Environmental Assessment : A Report" | Natl Academy Pr, June 1, 1978, cover price $16.75 | also contains Nitrates: An Environmental Assessment : A Report
Paperback:
9783319287010 | Revised edition (Springer-Verlag New York Inc, February 3, 2016), cover price $60.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence.
Paperback:
9783319287652, titled "Trustworthy Global Computing: 10th International Symposium, Tgc 2015 Madrid, Spain, August 31 â September 1, 2015 Revised Selected Papers" | Springer-Verlag New York Inc, January 26, 2016, cover price $60.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.
Paperback:
9783319289335, titled "Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers" | Revised edition (Springer-Verlag New York Inc, January 30, 2016), cover price $84.00
< previous 25 |
displaying 26 to 50 |
next 25 >