Software Engineering

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part IV / by: (Electronic resources)

Engineering Environment-Mediated Multi-Agent Systems = International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / by: (Electronic resources)

Central European Functional Programming School = second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (Electronic resources)

Deadlock resolution in automated manufacturing systems = a novel Petri Net approach / by: (Electronic resources)

Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (Electronic resources)

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (Electronic resources)

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.