Search Results for -- T&uuml;rkiye -- Tarihi. - Narrowed by: E-Book - Electronic Library - 2010 - Artificial intelligence. - Information systems. - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bT$0025C3$0025BCrkiye$002b--$002bTarihi.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Information$002bsystems.$002509Information$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300? 2024-08-21T05:53:44Z Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191841 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Schmid, Ute. editor.&#160;Kitzelmann, Emanuel. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193048 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Janhunen, Tomi. editor.&#160;Niemel&auml;, Ilkka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193211 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Witteveen, Cees. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192904 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Hinchey, Mike. editor.&#160;Kleinjohann, Bernd. editor.&#160;Kleinjohann, Lisa. editor.&#160;Lindsay, Peter A. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192603 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Aloni, Maria. editor.&#160;Bastiaanse, Harald. editor.&#160;Jager, Tikitu. editor.&#160;Schulz, Katrin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192949 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Gastin, Paul. editor.&#160;Laroussinie, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15375-4">http://dx.doi.org/10.1007/978-3-642-15375-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Fisher, Michael. editor.&#160;Nov&aacute;k, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193514 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Siegler, Simon. editor.&#160;Wasser, Nathan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Research Challenges and Solutions for the Future Internet S-Cube &ndash; Towards Engineering, Managing and Adapting Service-Based Systems ent://SD_ILS/0/SD_ILS:193650 2024-08-21T05:53:44Z 2024-08-21T05:53:44Z Author&#160;Papazoglou, Mike P. editor.&#160;Pohl, Klaus. editor.&#160;Parkin, Michael. editor.&#160;Metzger, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>