Robots - Congresses. - Programming

Intelligent robotics and applications[electronic resource] :first international conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 : Proceedings.Part I / …で: (言語・文字資料 (印刷物))

Intelligent robotics and applications[electronic resource] :first international conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 : Proceedings.Part II / …で: (言語・文字資料 (印刷物))

Simulation, modeling, and programming for autonomous robots[electronic resource] :first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (コンピュータ・メディア)

Leveraging applications of formal methods, verification and validation[electronic resource] :discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

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 / …で: (言語・文字資料 (印刷物))

Artificial intelligence

Rehabilitation Medicine.

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Robots

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Simulation and Modeling.

Robotics

Artificial intelligence

Rehabilitation Medicine.

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Robots

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Simulation and Modeling.

Robotics

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Robots

User Interfaces and Human Computer Interaction.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Robotics

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Robots

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Machine learning

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Robots

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Machine learning

Computer Science.

Software Engineering.

Mathematical Logic and Formal Languages.

Computer logic.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Computer simulation.

Database Management.

Computation by Abstract Devices.

Computer software

Computers.

Robots

Formal methods (Computer science)

Software engineering.

Database management.

Mathematical Logic and Formal Languages

Machine learning

Simulation and Modeling

Computer Science.

Simulation and Modeling.

Computer science.

Logics and Meanings of Programs

Computation by Abstract Devices