Search Results for Fisher, Michael. - Narrowed by: Online Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFisher$00252C$002bMichael.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300?
2024-11-06T22:24:27Z
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to practical formal methods using temporal logic
ent://SD_ILS/0/SD_ILS:305703
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:190413
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184743
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Fisher, Michael. editor. Hoek, Wiebe. editor. Konev, Boris. editor. Lisitsa, Alexei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853886">http://dx.doi.org/10.1007/11853886</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of temporal reasoning in artificial intelligence
ent://SD_ILS/0/SD_ILS:253803
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Drug metabolizing enzymes cytochrome P450 and other enzymes in drug discovery and development
ent://SD_ILS/0/SD_ILS:289554
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Lee, Jae S. Obach, R. Scott. Fisher, Michael B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420028485">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:193440
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transport phenomena in biomedical engineering principles and practices
ent://SD_ILS/0/SD_ILS:286264
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Peattie, Robert A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439874639">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Edgar Allan Poe in context
ent://SD_ILS/0/SD_ILS:506374
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Hayes, Kevin J., editor.<br/>Preferred Shelf Number PS2638 .E345 2013<br/>Electronic Access <a href="https://doi.org/10.1017/CBO9780511844027">https://doi.org/10.1017/CBO9780511844027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Protein engineering and design
ent://SD_ILS/0/SD_ILS:285129
2024-11-06T22:24:27Z
2024-11-06T22:24:27Z
Author Park, Sheldon J. Cochran, Jennifer R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420076592">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>