Buy Used and New Mathematical Logic Books

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

Save for later

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

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

Applied Logistic Regression Analysis (Quantitative Applications in the Social Sciences) (v. 106)

by Scott Menard

ISBN 13: 9780761922087

Format: Illustrated (128 pages)
Publisher: SAGE Publications, Inc
Published: 05 Dec 2001

Save for later

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

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

Save for later

Cryptographic Boolean Functions and Applications,

by Thomas W. Cusick

ISBN 13: 9780123748904

Format: Illustrated (250 pages)
Publisher: Academic Press
Published: 21 Apr 2009

Save for later

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540734475

Format: Paperback (419 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540735793

Format: Paperback (418 pages)
Publisher: Springer
Published: 04 Jul 2007

Save for later

Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540453758

Format: Paperback (851 pages)
Publisher: Springer
Published: 19 Sep 2006

Save for later

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540682356

Format: Paperback (436 pages)
Publisher: Springer
Published: 08 May 2008

Save for later

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642041631

Format: Paperback (409 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later