Today's Hours: King Library7:15AM - 9PM

BEST Library7:30AM - 8PM

Amos Music Library8AM - 5PM

Wertz Art & Architecture Library8AM - 5PM

University Archives8AM - 4PM

Western College Memorial ArchivesClosed

Rentschler Library, Hamilton Campus8AM - 7PM

Gardner-Harvey Library, Middletown Campus8AM - 6PM

Searching Books & More : "Calculus"

OneSearch
Books & More
Google Scholar
OhioLINK
Journal Titles
Library Web Site

OneSearch

Books & More

Google Scholar

OhioLINK

Journal Titles

Library Web Site

8 results found in Books & More

SAT 2005 satisfiability research in the year 2005

Cover images provided by Open Library

Published:Dordrecht : Springer, c2006

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers

Cover images provided by Open Library

Author(s):SAT 2003 (2003 : Santa Margherita Ligure, Italy)

Published:Berlin ; New York : Springer, c2004

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

Cover images provided by Open Library

Author(s):SAT 2005 (2005 : St. Andrews, Scotland)

Published:Berlin ; New York : Springer, 2005

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Cover images provided by Open Library

Author(s):SAT 2004 (2004 : Vancouver, B.C.)

Published:Berlin ; New York : Springer, c2005

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing -- SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

Cover images provided by Open Library

Author(s):SAT 2006 (2006 : Seattle, Wash.)

Published:Berlin ; New York : Springer, c2006

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

Cover images provided by Open Library

Author(s):SAT 2007 (2007 : Lisbon, Portugal)

Published:Berlin ; New York : Springer, c2007

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing--SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings

Cover images provided by Open Library

Author(s):SAT 2008 (2008 : Guangzhou, China)

Published:Berlin ; New York : Springer, c2008

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Theory and applications of satisfiability testing--SAT 2009 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings

Cover images provided by Open Library

Author(s):SAT 2009 (2009 : Swansea, Wales)

Published:Berlin ; New York : Springer, c2009

Format:Electronic Resource, Remote

URL:

Connect to OhioLINK EBC

Availability:

Retrieving Holdings Information

Miami University Libraries | 151 South Campus Avenue | Oxford, Ohio 45056 | 513.529.4141 | Miami University | myMiami | Staff Area