Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
by J. Flum, M. Grohe
ISBN 13: 9783540299523
Format: Hardcover (507 pages) Publisher: Springer Published: 09 Feb 2006
Save for later
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)
by
ISBN 13: 9783642218743
Format: Paperback (332 pages) Publisher: Springer Published: 22 Jun 2011
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s
ISBN 13: 9780195096323
Format: Paperback (352 pages) Publisher: OUP USA Published: 13 Nov 1997
Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)
by George J. Klir, Doug Elias
ISBN 13: 9780306473579
Format: Hardcover (354 pages) Publisher: Springer Published: 31 Jan 2003
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
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
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
New Waves in Philosophy of Mathematics
by Otavio Bueno
ISBN 13: 9780230219434
Format: Illustrated (344 pages) Publisher: Palgrave Published: 29 Sep 2009
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
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