Search Results for Robotics. - Narrowed by: SpringerLink (Online service) - English - Online Library - Electronic Library - 2013 - Algorithm Analysis and Problem Complexity. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRobotics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026qf$003dSUBJECT$002509Subject$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-06T02:05:20Z
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334725
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334725.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability 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-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334814.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability 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-09-06T02:05:20Z
2024-09-06T02:05:20Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>