Jump to main content

yr 〜
yr

Search results 11

2016 IEEE international conference on simulation, modeling, and programming for autonomous robots : (SIMPAR 2016) : San Francisco, California, USA : 13-16 December 2016 : Dec 2016, San Francisco, CA.

2016 IEEE international conference on simulation, modeling, and programming for autonomous robots : (SIMPAR 2016) : San Francisco, California, USA : 13-16 December 2016 : Dec 2016, San Francisco, CA.
Paper図書
IEEE[2016]<M17-19-281>
National Diet Library

Simulation, modeling, and programming for autonomous robots : 4th international conference, SIMPAR 2014 : Bergamo, Italy, October 20-23, 2014 : proceedings : 2014 event of SIMPAR : Oct 2014, Bergamo, Italy. (Lecture Notes in Computer Science ; 8810. Lecture Notes in Artificial Intelligence)

Simulation, modeling, and programming for autonomous robots : 4th international conference, SIMPAR 2014 : Bergamo, Italy, October 20-23, 2014 : proceedings : 2014 event of SIMPAR : Oct 2014, Bergamo, Italy. (Lecture Notes in Computer Science ; 8810. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-742>
National Diet Library

Simulation, modeling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5-8, 2012 : proceedings : Nov 2012, Tsukuba, Japan. (Lecture Notes in Computer Science ; 7628. Lecture Notes in Artificial Intelligence)

Simulation, modeling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5-8, 2012 : proceedings : Nov 2012, Tsukuba, Japan. (Lecture Notes in Computer Science ; 7628. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-1155>
National Diet Library

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014 : Imperial, Corfu, Greece, October 8-11, 2014 : proceedings : ISoLA 2014 conference : Oct 2014, Imperial, Greece. (Lecture Notes in Computer Science ; 8802-8803)

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014 : Imperial, Corfu, Greece, October 8-11, 2014 : proceedings : ISoLA 2014 conference : Oct 2014, Imperial, Greece. (Lecture Notes in Computer Science ; 8802-8803)
Paper図書
Springer[2014]<M17-15-1533>
National Diet Library

Intelligent robotics and applications : 4th international conference, ICIRA 2011 : Aachen, Germany, December 6-8, 2011 : proceedings : Dec 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 7101-7102. Lecture Notes in Artificial Intelligence)

Intelligent robotics and applications : 4th international conference, ICIRA 2011 : Aachen, Germany, December 6-8, 2011 : proceedings : Dec 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 7101-7102. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-1902>
National Diet Library

Industrial practice

Industrial practice
Paper図書
Springerc2018
Other Libraries in Japan
  • Subject Heading... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...
  • Subject Heading (ID)... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...

Verification

Verification
Paper図書
Springerc2018
Other Libraries in Japan
  • Subject Heading... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...
  • Subject Heading (ID)... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...

Modeling

Modeling
Paper図書
Springerc2018
Other Libraries in Japan
  • Subject Heading... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...
  • Subject Heading (ID)... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...

Distributed systems

Distributed systems
Paper図書
Springerc2018
Other Libraries in Japan
  • Subject Heading... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...
  • Subject Heading (ID)... -- Congresses Robots -- Programming -- Congresses Machine learning -- Congresse...

Intelligent robotics and applications : third international conference, ICIRA 2010, Shanghai, China, November 10-12, 2010 : proceedings pt. 1 pt. 2

Intelligent robotics and applications : third international conference, ICIRA 2010, Shanghai, China, November 10-12, 2010 : proceedings pt. 1 pt. 2
Paper図書
Honghai Liu ... [et al.] (eds.)Springerc2010
Other Libraries in Japan
  • Subject HeadingRobotics -- Congresses Robots -- Programming -- Congresses Artificial intelligence -- Co...
  • Subject Heading (ID)Robotics -- Congresses Robots -- Programming -- Congresses Artificial intelligence -- Co...

CAD based programming for sensory robots : Germany : U.S.

CAD based programming for sensory robots : Germany : U.S.
Paper図書
edited by Bahram RavaniSpringer-Verlagc1988
Other Libraries in Japan
  • Subject HeadingRobots -- Programming -- Congresses Computer-aided design -- Cong...
  • Subject Heading (ID)Robots -- Programming -- Congresses Computer-aided design -- Cong...

Reached to the end of result.

RSS