Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783642237010
Format: Paperback (399 pages) Publisher: Springer Published: 06 Sep 2011
Save for later
Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by Oded Goldreich
ISBN 13: 9783642226694
Format: Paperback (574 pages) Publisher: Springer Published: 03 Aug 2011
Conceptual Structures for Discovering Knowledge: 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642226878
Format: Paperback (438 pages) Publisher: Springer Published: 18 Jul 2011
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642218743
Format: Paperback (332 pages) Publisher: Springer Published: 22 Jun 2011
Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783642223204
Format: Paperback (490 pages) Publisher: Springer Published: 12 Jul 2011
The Strength of Nonstandard Analysis
ISBN 13: 9783211998922
Format: Paperback (421 pages) Publisher: Springer Published: 13 Oct 2010
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642229923
Format: Paperback (633 pages) Publisher: Springer Published: 09 Aug 2011
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings: 23rd ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642224379
Format: Paperback (521 pages) Publisher: Springer Published: 12 Jul 2011
Philosophy of Logic (Routledge Revivals)
by Hilary Putnam
ISBN 13: 9780415581257
Format: Paperback (86 pages) Publisher: Routledge Published: 31 Aug 2011 Other Format: Hardcover
Principia Mathematica to *56 (Cambridge Mathematical Library)
by Alfred North Whitehead, Bertrand Russell
ISBN 13: 9780521626064
Format: Paperback (460 pages) Publisher: Cambridge University Press Published: 11 Sep 1997
Modeling Decision for Artificial Intelligence: 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642225888
Format: Paperback (273 pages) Publisher: Springer Published: 08 Jul 2011
Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642217319
Format: Paperback (241 pages) Publisher: Springer Published: 22 Jun 2011