登入

跳至 : 概要書目資訊主題

Computer systems - Congresses. - Verification

概要

作品:	22 作品在 16 項出版品 16 種語言

書目資訊

Hardware and Software, Verification and TestingFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / by: (書目-電子資源)

Model checking and artificial intelligence5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (書目-電子資源)

Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (書目-電子資源)

Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Engineering dependable software systems by: (書目-電子資源)

Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (書目-語言資料,印刷品)

Cyber physical systemsdesign, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (書目-電子資源)

Dependable software systems engineering by: (書目-電子資源)

主題

Software Engineering.

Artificial intelligence

Mathematical Logic and Formal Languages.

Theory of Computation.

Computing Methodologies.

Mathematical Logic and Foundations.

Data Structures and Information Theory.

Logics and Meanings of Programs.

Configurations

Mathematics of Computing.

Automatic control

Sensor networks

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Logic in AI.

Computer systems

Computer software

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Cybernetics

Information Systems Applications (incl. Internet)

Control Structures and Microprogramming.

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Systems software

Computer Science Logic and Foundations of Programming.

Coding and Information Theory.

Numeric Computing.

Computer programs

Computer science

Computer security

Cyber intelligence (Computer security)

Performance and Reliability.

Artificial Intelligence.

The Computing Profession.

Formal Languages and Automata Theory.

Computer Science.

Decidability (Mathematical logic)

Graph theory

Computer networks

Computer Communication Networks.

Computer Hardware.

Computer System Implementation.

Math Applications in Computer Science.

Probability and Statistics in Computer Science.

System Performance and Evaluation.

Computer Systems Organization and Communication Networks.

Design and Analysis of Algorithms.

Integrated circuits

Cooperating objects (Computer systems)

Quality Control, Reliability, Safety and Risk.