Robots - Congresses. - Programming

Leveraging applications of formal methods, verification and validation = 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 = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: (Electronic resources)

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, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Electronic resources)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II / by: (Electronic resources)

Software Engineering.

Mathematical Logic and Formal Languages.

Computer logic.

Artificial intelligence

Robots- Programming

Logics and Meanings of Programs.

Logic, Symbolic and mathematical.

Computer and Information Systems Applications.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Computers.

Computer simulation.

Database Management.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Software engineering.

User Interfaces and Human Computer Interaction.

Special Purpose and Application-Based Systems.

Database management.

Machine learning

Mathematical Logic and Formal Languages

Artificial Intelligence.

Computer software- Verification

Computer Science.

Computer science.

Simulation and Modeling

Simulation and Modeling.

Computer Communication Networks.

Logics and Meanings of Programs

Computation by Abstract Devices

Robotics