Search Results for Artificial Intelligence (incl. Robotics). - Narrowed by: English - Online Library - Electronic Library - Discrete Mathematics in Computer Science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArtificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-26T10:29:15Z
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334657
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334657.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38715-9">http://dx.doi.org/10.1007/978-3-642-38715-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334879
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334879.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40020-9">http://dx.doi.org/10.1007/978-3-642-40020-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334915
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.<br/>Preferred Shelf Number ONLINE(334915.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40235-7">http://dx.doi.org/10.1007/978-3-642-40235-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335036
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40988-2">http://dx.doi.org/10.1007/978-3-642-40988-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335037
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335037.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40991-2">http://dx.doi.org/10.1007/978-3-642-40991-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:335038
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40994-3">http://dx.doi.org/10.1007/978-3-642-40994-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335176
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335176.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44973-4">http://dx.doi.org/10.1007/978-3-642-44973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334121
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334121.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36092-3">http://dx.doi.org/10.1007/978-3-642-36092-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334549
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334615
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334615.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38527-8">http://dx.doi.org/10.1007/978-3-642-38527-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334653
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334653.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38703-6">http://dx.doi.org/10.1007/978-3-642-38703-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Search: From Algorithms to Systems
ent://SD_ILS/0/SD_ILS:335109
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335214
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335214.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45392-2">http://dx.doi.org/10.1007/978-3-642-45392-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334048
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334048.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35786-2">http://dx.doi.org/10.1007/978-3-642-35786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332892
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332892.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332975
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2024-08-26T10:29:15Z
2024-08-26T10:29:15Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>