Approximate Optimization Methods and Metaheuristics in Operational Research

Artificial Ants

Ant Colony Optimization and Constraint Programming

Markov Decision Processes in Artificial Intelligence

Systems of Systems

Co-design Approaches for Dependable Networked Control Systems

Communicating Embedded Systems

Software and design

Sequential Decision-making Problems

Representation and Solution

Constraint Networks

Techniques and Algorithms

Decision-making Process

Concepts and Methods

Intelligent Machining

Graph Theory and Applications

with exercises and problems

The Mojette Transform

theory and applications

Cooperating Embedded Systems and Wireless Sensor Networks

Nanocomputers and Swarm Intelligence

Combinatorial Optimization and Theoretical Computer Science

Interfaces and Perspectives 30th Anniversary of the LAMSADE

Modeling and Verification of Real-Time Systems

Formalisms and Software Tools

Trends in Constraint Programming

A to Z of Sudoku

From MDD Concepts To Experiments And Illustrations

Interoperability for Enterprise Software and Applications

Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006

Software Specification Methods

An Overview Using a Case Study

Probabilistic Combinatorial Optimization on Graphs

Model Driven Engineering for Distributed Real-time Embedded Systems

Interoperability of Enterprise Software and Applications

Workshops of the INTEROP-ESA 2005 International Conference (EI2N, WSI, ISIDI and IEHENA 2005)

Language Engineering

Digital Cognitive Technologies

Epistemology and the Knowledge Economy

Spoken Language Processing