STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

This publication constitutes the refereed complaints of the twenty first Annual Symposium on Theoretical features of machine technology, STACS 2004, held in Montpellier, France, in March 2004. The fifty four revised complete papers awarded including invited contributions have been conscientiously reviewed and chosen from greater than 2 hundred submissions.

Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

This booklet constitutes the completely refereed post-proceedings of the 4th foreign Workshop on Declarative Agent Languages and applied sciences, DALT 2006, held in Hakodate, Japan in may well 2006 as an linked occasion of AAMAS 2006, the most foreign convention on self reliant brokers and multi-agent structures.

Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

This ebook constitutes the completely refereed post-conference complaints of the twentieth foreign Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, united states, in October 2007. The 23 revised complete papers awarded have been conscientiously reviewed and chosen from forty nine submissions.

Bio-inspired Modeling of Cognitive Tasks: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

The 1st of a two-volume set, this publication constitutes the refereed lawsuits of the second one foreign Work-Conference at the interaction among normal and synthetic Computation, IWINAC 2007, held in l. a. Manga del Mar Menor, Spain in June 2007. The 126 revised papers awarded are thematically divided into volumes.