Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Logic design of nanoICs

Taxonomies for the Development and Verification of Digital Systems

New Algorithms, Architectures and Applications for Reconfigurable Computing

Logically determined design clockless system design with NULL convention logic

Introduction to logic design

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers