Search Results for -- Türkiye -- Tarihi. - Narrowed by: E-Book - Electronic Library - 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$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Information$002bsystems.$002509Information$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?dt=list
2024-07-15T18:14:24Z
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399476
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401639
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399729
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195275
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195117
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Liu, Weiru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format: Electronic Resources<br/>Availability 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
ent://SD_ILS/0/SD_ILS:193650
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
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/>
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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
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-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Techniques for the Web The REWERSE Perspective
ent://SD_ILS/0/SD_ILS:190993
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04581-3">http://dx.doi.org/10.1007/978-3-642-04581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189077
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88564-1">http://dx.doi.org/10.1007/978-3-540-88564-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188818
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
ent://SD_ILS/0/SD_ILS:189319
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89704-0">http://dx.doi.org/10.1007/978-3-540-89704-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:187214
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187324
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Bessière, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187570
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76298-0">http://dx.doi.org/10.1007/978-3-540-76298-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185165
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184676
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184911
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Benhamou, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182479
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183145
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183115
2024-07-15T18:14:24Z
2024-07-15T18:14:24Z
Author Beek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>