2010

Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings.

International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, France)



 

2013

Distributed autonomous robotic systems : the 10th International Symposium

International Symposium on Distributed Autonomous Robotic Systems (10th : 2010 : École Polytechnique Fédérale de Lausanne)



 

2008

Intelligent Robotics and Applications.

ICIRA (Conference) (1st : 2008 : Wuhan, China)



 

2008

Intelligent Robotics and Applications.

ICIRA (Conference) (1st : 2008 : Wuhan, China)



 

2009

Intelligent robotics and applications : second international conference, ICIRA 2009, Singapore, December 16-18, 2009 : proceedings

ICIRA (Conference) (2nd : 2009 : Singapore)



 

2016

Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece)

Cham : Springer, 2016

 

2016

Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016

ISoLA (Symposium) (7th : 2016 : Kerkyra, Greece)

Cham : Springer, 2016

 

2018

Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.

ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus)

Cham : Springer, 2018

 

2016

Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings.

ISoLA (Symposium) (7th : 2016 : Kerkyra, Greece)

Cham, Switzerland : Springer, 2016

 

2018

Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.

ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2018

 

2012

Leveraging applications of formal methods, verification, and validation : International Workshops SARS 2011 and MLSC 2011 held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011

 

2018

Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings.

ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus), author.

Cham, Switzerland : Springer, [2018]

 

2014

Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,

ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece)

Heidelberg : Springer, 2014

 

2014

Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,

ISoLA (Symposium) (6th : 2014 : Kerkyra, Greece)

Heidelberg : Springer, 2014

 

2018

Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.

ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus)

Cham, Switzerland : Springer, 2018

 

2014

Simulation, modeling, and programming for autonomous robots : 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

SIMPAR (Conference) (4th : 2014 : Bergamo, Italy)

Cham : Springer, 2014

 

2008

Simulation, modeling, and programming for autonomous robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008, proceedings

SIMPAR (Conference) (1st : 2008 : Venice, Italy)



 

2012

Simulation, modeling, and programming for autonomous robots : third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings

SIMPAR (Conference) (3rd : 2012 : Tsukuba, Japan)



 

2021

Robo Wunderkind für Kids

Weiß, Michaela, author
1st edition
mitp Verlag, 2021