Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
by Ronald C. Pine
ISBN 13: 9780195155051
Format: Paperback (432 pages) Publisher: Oxford University Press, USA Published: 05 Oct 1995
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
A Calculus of Communication Systems: 92 (Lecture Notes in Computer Science)
by R. Milner
ISBN 13: 9783540102359
Format: Paperback (188 pages) Publisher: Springer Published: 01 Sep 1980
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
The Frege Reader (Wiley Blackwell Readers)
by Michael Beaney
ISBN 13: 9780631194453
Format: Paperback (432 pages) Publisher: Wiley-Blackwell Published: 02 May 1997
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)
by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka
ISBN 13: 9783540724575
Format: Illustrated (592 pages) Publisher: Springer Published: 27 Apr 2007
Principles of Applied Mathematics (Advanced Book Program)
by James P. Keener
ISBN 13: 9780738201290
Format: Hardcover (624 pages) Publisher: CRC Press Published: 14 Jan 2000
Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)
by Alexander Gelbukh
ISBN 13: 9783642003813
Format: Paperback (604 pages) Publisher: Springer Published: 16 Feb 2009