Search Results for Robotics. - Narrowed by: Algorithm Analysis and Problem Complexity. - Artificial Intelligence (incl. Robotics). - Computation by Abstract Devices. - Logics and Meanings of Programs. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobotics.$0026qf$003dSUBJECT$002509Subject$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$002509Artificial$002bIntelligence$002b$002528incl.$002bRobotics$002529.$0026qf$003dSUBJECT$002509Subject$002509Computation$002bby$002bAbstract$002bDevices.$002509Computation$002bby$002bAbstract$002bDevices.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026te$003dILS$0026ps$003d300?dt=list 2024-07-13T21:58:34Z Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-07-13T21:58:34Z 2024-07-13T21:58:34Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334355 2024-07-13T21:58:34Z 2024-07-13T21:58:34Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334355.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-07-13T21:58:34Z 2024-07-13T21:58:34Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335030 2024-07-13T21:58:34Z 2024-07-13T21:58:34Z Author&#160;Jain, Sanjay. editor.&#160;Munos, R&eacute;mi. editor.&#160;Stephan, Frank. editor.&#160;Zeugmann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335030.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>