語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

跳至 : 概要書目資訊主題

Temporal automata - Congresses.

概要

作品:	19 作品在 12 項出版品 12 種語言

書目資訊

Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-電子資源)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (書目-電子資源)

Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-電子資源)

更多

主題

Software Engineering.

Theory of Computation.

Mathematical Logic and Formal Languages.

Data Structures and Information Theory.

Natural Language Processing (NLP)

Automata

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Control Structures and Microprogramming.

Formal methods (Computer science)

Computer Science

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Robots

Computer simulation

Programming Languages, Compilers, Interpreters

Special Purpose and Application-Based Systems

Models and Principles.

Computer Engineering and Networks.

Artificial Intelligence.

Computer Science.

System Performance and Evaluation.

Simulation and Modeling.

Computer System Implementation.

Computer Hardware.

Temporal automata

Logics and Meanings of Programs

Software Engineering

Symbolic and Algebraic Manipulation.

System analysis

Computer Applications.

變更密碼

登入