Your search returned 31 results.

Not what you expected? Check for suggestions
Sort
Results
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).

by FORMATS (Conference) (7th : 2009 : Budapest, Hungary) | Ouaknine, Joël | Vaandrager, Frits.

Series: Serienbezeichnung | Lecture notes in computer science ; 5813.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E.G. Manes.

by International Symposium on Category Theory Applied to Computation and Control (1st : 1974 : San Francisco, Calif.) | Manes, Ernest G, 1943- [editor.] | American Mathematical Society | American Association for the Advancement of Science.

Series: Serienbezeichnung | Lecture notes in computer science ; 25.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI.

by Fachtagung über Automatentheorie und Formale Sprachen (2nd : 1975 : Kaiserslautern, Germany) | Brakhage, H, 1926- | Gesellschaft für Informatik.

Series: Serienbezeichnung | Lecture notes in computer science ; 33.Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, German Publication details: Berlin ; New York : Springer-Verlag, 1975Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H.K.-G. Walter on behalf of the GI.

by GI-Fachtagung Theoretische Informatik (3rd : 1977 : Darmstadt) | Tzschach, H. G | Waldschmidt, H. (Helmut) | Walter, H. K.-G. (Hermann K.-G.), 1942-.

Series: Serienbezeichnung | Lecture notes in computer science ; 48.Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French, German Publication details: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings. Part II / edited by Sabina Jeschke, Honghai Liu, Daniel Schilberg.

by ICIRA (Conference) (4th : 2011 : Aachen, Germany) | Jeschke, Sabina | Liu, Honghai (Professor of Intelligent Systems) | Schilberg, Daniel.

Series: Serienbezeichnung | Lecture notes in computer science | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7102. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings. Part I / Sabina Jeschke, Honghai Liu, Daniel Schilberg (eds.).

by ICIRA (Conference) (4th : 2011 : Aachen, Germany) | Jeschke, Sabina | Liu, Honghai (Professor of Intelligent Systems) | Schilberg, Daniel.

Series: Serienbezeichnung | Lecture notes in computer science | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7101. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
From animals to animats 12 : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings / Tom Ziemke, Christian Balkenius, John Hallam (eds.).

by International Conference on Simulation of Adaptive Behavior (12th : 2012 : Odense, Denmark) | Ziemke, T. (Tom), 1969- | Balkenius, Christian | Hallam, John.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7426. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: SAB 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings. Part II / Chun-Yi Su, Subhash Rakheja, Honghai Liu (eds.).

by ICIRA (Conference) (5th : 2012 : Montréal, Quebéc) | Su, Chun-Yi | Rakheja, Subhash | Liu, Honghai (Professor of Intelligent Systems).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7507. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: ICIRA 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings. Part I / Chun-Yi Su, Subhash Rakheja, Honghai Liu (eds.).

by ICIRA (Conference) (5th : 2012 : Montréal, Quebéc) | Su, Chun-Yi | Rakheja, Subhash | Liu, Honghai (Professor of Intelligent Systems).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7506. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: ICIRA 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings. Part III / Chun-Yi Su, Subhash Rakheja, Honghai Liu (eds.).

by ICIRA (Conference) (5th : 2012 : Montréal, Quebéc) | Su, Chun-Yi | Rakheja, Subhash | Liu, Honghai (Professor of Intelligent Systems).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7508. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: ICIRA 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 6th international conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013 : proceedings. Part II / Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu (eds.).

by ICIRA 2013 (2013 : Busan, Korea) | Lee, Jangmyung [editor.] | Lee, Min Cheol [editor.] | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Ryu, Jee-Hwan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8103. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: ICIRA 2013.Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1).
From animals to animats 13 : 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings / Angel P. Pobil ... [and more] (eds.).

by International Conference on Simulation of Adaptive Behavior (13th : 2014 : Castellón, Spain) | Pobil, Angel Pasqual del [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 8575. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: SAB 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings. Part II / Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang (eds.).

by ICIRA (Conference) (7th : 2014 : Guangzhou, China) | Zhang, Xianmin (Professor of mechanical engineering) [editor.] | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Chen, Zhong [editor.] | Wang, Nianfeng [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8918. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Intelligent robotics and applicationsMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings. Part I / Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang (eds.).

by ICIRA (Conference) (7th : 2014 : Guangzhou, China) | Zhang, Xianmin (Professor of mechanical engineering) [editor.] | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Chen, Zhong [editor.] | Wang, Nianfeng [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8917. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Intelligent robotics and applicationsMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: ICIRA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings. Part II / Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou (eds.).

by ICIRA (Conference) (8th : 2015 : Portsmouth, England) | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Kubota, Naoyuki [editor.] | Zhu, Xiangyang [editor.] | Dillmann, R, 1949- [editor.] | Zhou, Dalin [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9245. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings. Part I / Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou (eds.).

by ICIRA (Conference) (8th : 2015 : Portsmouth, England) | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Kubota, Naoyuki [editor.] | Zhu, Xiangyang [editor.] | Dillmann, R, 1949- [editor.] | Zhou, Dalin [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9244. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICIRA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings. Part III / Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou (eds.).

by ICIRA (Conference) (8th : 2015 : Portsmouth, England) | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Kubota, Naoyuki [editor.] | Zhu, Xiangyang [editor.] | Dillmann, R, 1949- [editor.] | Zhou, Dalin [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9246. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICIRA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cultural robotics : first International Workshop, CR 2015, held as part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised selected papers / Jeffrey T.K.V. Koh, Belinda J. Dunstan, David Silvera-Tawil, Mari Velonaki (eds.).

by International Workshop in Cultural Robotics (1st : 2015 : Kobe, Japan) | Koh, Jeffrey T. K. V [editor.] | Dunstan, Belinda J [editor.] | Silvera-Tawil, David [editor.] | Velonaki, Mari [editor.] | IEEE International Symposium on Robot and Human Interactive Communication (24th : 2015 : Kobe, Japan).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9549. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [Switzerland] : Springer, 2016Other title: CR2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings. Part II / Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo (eds.).

by ICIRA (Conference) (9th : 2016 : Tokyo, Japan) | Kubota, Naoyuki [editor.] | Kiguichi, Kazuo [editor.] | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Obo, Takenori [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9835. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: ICIRA 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Intelligent robotics and applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings. Part I / Naoyuki Kubota, Kazuo Kiguchi, Honghai Liu, Takenori Obo (eds.).

by ICIRA (Conference) (9th : 2016 : Tokyo, Japan) | Liu, Honghai (Professor of Intelligent Systems) [editor.] | Kubota, Naoyuki [editor.] | Kiguichi, Kazuo [editor.] | Obo, Takenori [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9834. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: ICIRA 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha