Your search returned 12 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah (eds.). by Series: Lecture notes in computer science ; 4501.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SAT 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.). by Series: Lecture notes in computer science ; 4996. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • Satisfiability testing
  • SAT 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.). by Series: Lecture notes in computer science ; 3569.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • SAT 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.). by Series: Lecture notes in computer science ; 3542.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Satisfiability testing
  • SAT 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.). by Series: Lecture notes in computer science ; 4121.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • SAT 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings / Oliver Kullmann (ed.). by Series: Lecture notes in computer science ; 5584. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
10.
Decision and game theory for security : first international conference, GameSec 2010, Berlin, Germany, November 22-23, 2010 : proceedings / Tansu Alpcan, Levente Buttyán, John S. Baras (eds.). by Series: Lecture notes in computer science ; 6442. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • GameSec 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Time and decision : economic and psychological perspectives on intertemporal choice / George Loewenstein, Daniel Read, and Roy Baumeister, editors. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: New York : Russell Sage Foundation, [2003]Copyright date: ©2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Evolution and the mechanisms of decision making / edited by Peter Hammerstein and Jeffrey R. Stevens. by Series: Strüngmann Forum reports
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Copyright date: ©2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha