語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Robots - Congresses. - Programming

概要

作品:	4 作品在 4 項出版品 4 種語言

書目資訊

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II / by: (書目-電子資源)

主題

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

變更密碼

登入