A Course in Formal Languages, Automata and Groups (Universitext)
by Ian M. Chiswell
ISBN 13: 9781848009394
Format: Paperback (157 pages) Publisher: Springer Published: 06 Feb 2009
Save for later
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070
by Malgorzata Marciniak
ISBN 13: 9783642047343
Format: Paperback (464 pages) Publisher: Springer Published: 29 Sep 2009
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 2010
Perspectives in Computation (Chicago Lectures in Physics)
by Robert Geroch
ISBN 13: 9780226288550
Format: Paperback (206 pages) Publisher: University of Chicago Press Published: 18 Sep 2009
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by Patrick Blackburn
ISBN 13: 9780521527149
Format: Illustrated (578 pages) Publisher: Cambridge University Press Published: 22 Aug 2002
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays
by Maya B. Gokhale,Paul S. Graham
ISBN 13: 9781441938657
Format: Paperback (248 pages) Publisher: Springer Published: 12 Oct 2010
Computation Engineering: Applied Automata Theory and Logic
by Ganesh Gopalakrishnan
ISBN 13: 9781441937414
Format: Paperback (512 pages) Publisher: Springer Published: 12 Feb 2010
Handbook of Mathematical Cognition
by Jamie I.D. Campbell
ISBN 13: 9781841694115
Format: Hardcover (528 pages) Publisher: Psychology Press Published: 27 Jan 2005
An Introduction to Practical Formal Methods Using Temporal Logic
by Michael Fisher
ISBN 13: 9780470027882
Format: Hardcover (360 pages) Publisher: Wiley-Blackwell Published: 18 Apr 2011