Robots - Congresses. - Programming
Overview
| Works: | 6 works in 6 publications in 6 languages | |
|---|---|---|
Titles
Intelligent robotics and applications[electronic resource] :first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 : Proceedings.Part I /
by:
(Language materials, printed)
Intelligent robotics and applications[electronic resource] :first international conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 : Proceedings.Part II /
by:
(Language materials, printed)
Simulation, modeling, and programming for autonomous robots[electronic resource] :first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
(Language materials, printed)
Subjects