Your search returned 15 results.

Not what you expected? Check for suggestions

Results
	1.	Intelligent Robotics and Applications. First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings. Part II / [editors] Caihua Xiong [and others]. by ICIRA (Conference) (1st : 2008 : Wuhan, China) Xiong, Caihua Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5315. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Intelligent Robotics and Applications. First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings. Part I / [editors] Caihua Xiong [and others]. by ICIRA (Conference) (1st : 2008 : Wuhan, China) Xiong, Caihua Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5314. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Simulation, modeling, and programming for autonomous robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008, proceedings / Stefano Carpin [and others] (eds.). by SIMPAR (Conference) (1st : 2008 : Venice, Italy) Carpin, Stefano Series: Lecture notes in computer science ; 5325. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Intelligent robotics and applications : second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings / Ming Xie [and others] (eds.). by ICIRA (Conference) (2nd : 2009 : Singapore) Xie, Ming, 1963- Series: Lecture notes in computer science ; 5928. \| 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 Publication details: Berlin ; New York : Springer, ©2009 Other title: ICIRA 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Part II / Samson Abramsky [and others] (Eds.). by International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, France) Abramsky, Samson, 1953- Series: Lecture notes in computer science ; 6199. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010 Other title: ICALP 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Simulation, modeling, and programming for autonomous robots : third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / Itsuki Noda [and others] (eds.). by SIMPAR (Conference) (3rd : 2012 : Tsukuba, Japan) Noda, Itsuki [editor.] Series: Lecture notes in computer science ; 7628. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, ©2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Simulation, modeling, and programming for autonomous robots : 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald (eds.). by SIMPAR (Conference) (4th : 2014 : Bergamo, Italy) Brugali, Davide [editor.] Broenink, Jan F [editor.] Kroeger, Torsten [editor.] MacDonald, Bruce A [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8810. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: SIMPAR 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part II / edited by Tiziana Margaria, Bernhard Steffen. by ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 8803. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014 Other title: ISoLA 2014 (MP) Leveraging applications of formal methods, verification and validation Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I / edited by Tiziana Margaria, Bernhard Steffen. by ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 8802. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014 Other title: ISoLA 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (7th : 2016 : Kerkyra, Greece) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 9952. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: ISoLA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (7th : 2016 : Kerkyra, Greece) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 9953. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: ISoLA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) [author.] Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 11244. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018] Other title: ISoLA 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 11247. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: ISoLA 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	14.	Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 11246. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: ISoLA 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	15.	Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.). by ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) Margaria-Steffen, Tiziana, 1964- [editor.] Steffen, Bernhard [editor.] Series: Lecture notes in computer science ; 11245. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: ISoLA 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha