Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642223020
Format: Paperback (375 pages) Publisher: Springer Published: 18 Jul 2011
Save for later
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642223051
Format: Paperback (205 pages) Publisher: Springer Published: 05 Jul 2011
General Lattice Theory: Second edition: Volume 1: The Foundation
by George Grätzer
ISBN 13: 9783764369965
Format: Paperback (663 pages) Publisher: Birkhauser Published: 21 Nov 2002
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642234408
Format: Paperback (135 pages) Publisher: Springer Published: 06 Sep 2011
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9780857291202
Format: Paperback (203 pages) Publisher: Springer Published: 14 Jan 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)
by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
ISBN 13: 9783540719403
Format: Paperback (797 pages) Publisher: Springer Published: 20 Jul 2007
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783642005954
Format: Paperback (471 pages) Publisher: Springer Published: 09 Mar 2009