本文に飛ぶ

年 〜
年

検索結果 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.
紙図書
IEEE[2016]<M17-19-281>
国立国会図書館
  • 件名Autonomous robots--Programming--Congresses. Autonomous robots--Simulation...

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)
紙図書
Springer[2014]<M17-15-742>
国立国会図書館
  • 件名...s--Congresses. Robots--Programming--Congresses.

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)
紙図書
Springerc2012.<M17-13-1155>
国立国会図書館
  • 件名...s--Congresses. Robots--Programming--Congresses.

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)
紙図書
Springer[2014]<M17-15-1533>
国立国会図書館
  • 件名Robots--Programming--Congresses. Machine learning--Congresses....

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)
紙図書
Springerc2011.<M17-12-1902>
国立国会図書館
  • 件名...s--Congresses. Robots--Programming--Congresses. Artificial intelligence--Cong...

Industrial practice

Industrial practice
紙図書
Springerc2018
全国の図書館

Verification

Verification
紙図書
Springerc2018
全国の図書館

Modeling

Modeling
紙図書
Springerc2018
全国の図書館

Distributed systems

Distributed systems
紙図書
Springerc2018
全国の図書館

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
紙図書
Honghai Liu ... [et al.] (eds.)Springerc2010
全国の図書館

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

CAD based programming for sensory robots : Germany : U.S.
紙図書
edited by Bahram RavaniSpringer-Verlagc1988
全国の図書館

検索結果は以上です。

RSS