Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday: 5420 (Lecture Notes in Computer Science)
by Marina Lipshteyn,Vadim E. Levit,Ross McConnell
ISBN 13: 9783642020285
Format: Paperback (244 pages) Publisher: Springer Published: 20 Jul 2009
Save for later
Algorithmic Decision Theory: First International Conference, A.D.T. 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5783
by Francesca Rossi
ISBN 13: 9783642044274
Format: Paperback (476 pages) Publisher: Springer Published: 05 Oct 2009
Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388
by Tom Schrijvers, Thom Frühwirth
ISBN 13: 9783540922421
Format: Paperback (245 pages) Publisher: Springer Published: 18 Dec 2008
Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)
by Sten Lindström,Erik Palmgren,Krister Segerberg
ISBN 13: 9781402089251
Format: Illustrated (528 pages) Publisher: Springer Published: 02 Dec 2008
Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28-July 2, 2009, Revised Selected Papers: 5874 (Lecture Notes in Computer Science)
by Jiri Fiala,Jan Kratochvil,Mirka Miller
ISBN 13: 9783642102165
Format: Paperback (496 pages) Publisher: Springer Published: 09 Nov 2009
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback
Conceptual Mathematics: A First Introduction to Categories
by F. William Lawvere
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008
The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)
by Arnold L. L. Rosenberg
ISBN 13: 9780387096384
Format: Paperback (344 pages) Publisher: Springer Published: 12 Nov 2009
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)
by Marcel Vinícius Medeiros Oliveira, Jim Woodcock
ISBN 13: 9783642104510
Format: Paperback (351 pages) Publisher: Springer Published: 09 Nov 2009
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
by Jean-Raymond Abrial, Uwe Glässer
ISBN 13: 9783642114465
Format: Paperback (256 pages) Publisher: Springer Published: 20 Jan 2010
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008