Real-time data processing - Congresses.

Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (書目-電子資源)

Formal techniques in real-time and fault-tolerant systems6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 / by: (書目-電子資源)

Formal techniques in real-time and fault-tolerant systems7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / by: (書目-電子資源)

Enabling real-time business intelligencethird International Workshop, BIRTE 2009, held at the 35th International Conference on Very Large Databases, VLDB 2009, Lyon, France, August 24, 2009 : revised selected papers / by: (書目-電子資源)

System analysis and modelingabout models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

Real-time modelling and processing for communication systemsapplications and practices / by: (書目-電子資源)

Lecture notes in real-time intelligent systems by: (書目-電子資源)

Advances in real-time and autonomous systemsproceedings of the 15th International Conference on Autonomous Systems / by: (書目-電子資源)

Software Engineering.

Communications Engineering, Networks.

Input/Output and Data Communications.

Artificial intelligence

Electronic data processing

SDL (Computer program language)

Logics and Meanings of Programs.

Computer and Information Systems Applications.

Database Management.

Artificial Intelligence (incl. Robotics)

Data Engineering.

Formal methods (Computer science)

Management information systems

Information Storage and Retrieval.

Computer Appl. in Administrative Data Processing.

Communications software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Telecommunication

Computational Intelligence.

Business Information Systems.

Information Systems Applications (incl.Internet)

Real-time data processing

Fault-tolerant computing

Computer Science.

Computer Communication Networks.

Engineering.

Simulation and Modeling.

System analysis

Intelligent agents (Computer software)