Results of search for 'an:36351' › ISTA Library catalog

Results
	1.	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: Lecture notes in computer science ; 5813. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Copyright date: ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	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: Lecture notes in computer science ; 25. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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: Lecture notes in computer science ; 33. Material type: Text; Format: available online ; Literary form: Not fiction Language: English, German Language: engger Publication details: Berlin ; New York : Springer-Verlag, 1975 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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: Lecture notes in computer science ; 48. Material type: Text; Format: available online ; Literary form: Not fiction Language: English, French, German Publication details: Berlin ; New York : Springer-Verlag, 1977 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	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: 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; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	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: 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; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	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: 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; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: SAB 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7507. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: ICIRA 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	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: 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; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: ICIRA 2012 In: Springer Nature eBook Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	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: 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; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: ICIRA 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	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: 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; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013 Other title: ICIRA 2013 Online resources: Click here to access online Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	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: 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; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: SAB 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8918. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014(MP) Intelligent robotics and applications Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	14.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8917. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: ICIRA 2014 (MP) Intelligent robotics and applications Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	15.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9245. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	16.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9244. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICIRA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	17.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9246. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICIRA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	18.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9549. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: [Switzerland] : Springer, 2016 Other title: CR2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	19.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9835. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: ICIRA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	20.	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: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9834. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: ICIRA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Your search returned 33 results.