Software Engineering

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part IV / by: (書目-電子資源)

Engineering Environment-Mediated Multi-Agent Systems = International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / by: (書目-電子資源)

Central European Functional Programming School = second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (書目-電子資源)

Deadlock resolution in automated manufacturing systems = a novel Petri Net approach / by: (書目-電子資源)

Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (書目-電子資源)

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (書目-電子資源)

Control , Robotics, Mechatronics

Formal methods (Computer science)

Supervisory control systems.

Mathematical Logic and Formal Languages

Intelligent agents (Computer software)

Simulation and Modeling

Automatic theorem proving

Software engineering.

Computer Communication Networks

Models and Principles

Software Engineering

Algorithm Analysis and Problem Complexity

Computer Science.

Computer science

Information Systems Applications (incl.Internet)

Data Mining and Knowledge Discovery

Computer Science

Theory of Computation

Artificial Intelligence (incl. Robotics)

Programming Languages, Compilers, Interpreters

Functional programming (Computer science)

Distributed artificial intelligence

Programming Techniques

Logics and Meanings of Programs

Manufacturing, Machines, Tools

Automatic control.

Computer science.

Computational complexity

Production engineering.