“Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.51, Iss.4, 2013-12, pp. : 453-456

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Book review of Make to Order Assembly Management. By Rainer Kolisch (Berlin: Springer-Verlag, 2001). ISBN 3-540-41098-8 [PP. 260].

By André M. Everett

Production Planning and Control, Vol. 14, Iss. 5, 2003-07 ,pp. : 483-483

Taylor & Francis Ltd

Access to resources Recommend Favorite

An Algorithmic View on OVSF Code Assignment

By Erlebach Thomas Jacob Riko Mihalak Matus Nunkesser Marc Szabo Gabor Widmayer Peter

Algorithmica, Vol. 47, Iss. 3, 2007-04 ,pp. : 269-298

Springer Publishing Company

Access to resources Recommend Favorite

Theoretical and Experimental DNA Computation: Published by: Springer-Verlag, Martyn Amos 172 pages, 78 figures, 2005, ISBN-10 3-540-65773-8

By Jonoska Nataša

Genetic Programming and Evolvable Machines, Vol. 7, Iss. 3, 2006-10 ,pp. : 287-291

Springer Publishing Company

Access to resources Recommend Favorite

Book review of Product Lifecycle Management. By Antti Saaksvuori and Anselmi Immonen (Springer-Verlag, 2002). ISBN 3-540-40 373-6. [pp. 222]

Production Planning and Control, Vol. 16, Iss. 1, 2005-01 ,pp. : 98-98

Taylor & Francis Ltd

Access to resources Recommend Favorite

A. Mucherino, P. J. Papajorgji, P. M. Pardalos: Data mining in agriculture: Springer-Verlag, 2009, ISBN: 978-0-387-88614-5, http://www.springer.com/math/applications/book/978-0-387-88614-5

By Xhafa Fatos

Journal of Global Optimization, Vol. 48, Iss. 3, 2010-11 ,pp. : 509-510

Springer Publishing Company

Access to resources Recommend Favorite