Mechanisms in Classical Conditioning A Computational Approach

Computational analysis of firms' organization and strategic behaviour

Digital system verification a combined formal methods and simulation framework

Fundamentals of performance evaluation of computer and telecommunications systems

Strategic materials and computational design a collection of papers presented at the 34th International Conference on Advanced Ceramics and Composites, January 24-29, 2010, Daytona Beach, Florida

Teach yourself the basics of Aspen plus

Modern methods of crystal structure prediction

Flying Insects and Robots

Evolution of Communication and Language in Embodied Agents

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers