Search Results for Walsh, Toby.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWalsh$00252C$002bToby.$0026ic$003dtrue$0026ps$003d300?
2024-09-10T00:17:48Z
Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519133
2024-09-10T00:17:48Z
2024-09-10T00:17:48Z
Author Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519133.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23114-3">https://doi.org/10.1007/978-3-319-23114-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SAT 2005 Satisfiability Research in the Year 2005
ent://SD_ILS/0/SD_ILS:169525
2024-09-10T00:17:48Z
2024-09-10T00:17:48Z
Author Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5571-3">http://dx.doi.org/10.1007/978-1-4020-5571-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of constraint programming
ent://SD_ILS/0/SD_ILS:253805
2024-09-10T00:17:48Z
2024-09-10T00:17:48Z
Author Rossi, Francesca, 1962- Van Beek, Peter. Walsh, Toby.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444527264">http://www.sciencedirect.com/science/book/9780444527264</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2024-09-10T00:17:48Z
2024-09-10T00:17:48Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>