Hierarchical Methods: Undulative Electrodynamical Systems, Volume 2

Hierarchical Methods: Undulative Electrodynamical Systems, Volume 2

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation: 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings

Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

Field Programmable Logic and Application: 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

Computational Science and Its Applications -- ICCSA 2004: International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

Natural Language Communication with Computers

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Advances in Bioinformatics and Computational Biology: Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings

Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings

Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

Computational Science — ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part II

Cooperative Buildings: Integrating Information, Organization, and Architecture

Mobile Agents and Security

Computer Performance Evaluation: Modelling Techniques and Tools

Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983

Fundamentals of Computation Theory: 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings

Scale Space Methods in Computer Vision: 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings

Architecture of Distributed Computer Systems