Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
Date: 23 May 2011, 18:45
Product Description:
This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004.
The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.

DISCLAIMER:

This site does not store Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science) on its server. We only index and link to Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science) provided by other sites. Please contact the content providers to delete Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)"
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 354022940X
Total size: 16.07 MB
Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings (Lecture Notes in Computer Science) Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540230033
Total size: 15.7 MB
Pervasive Computing: Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings (Lecture Notes in Computer Science) Pervasive Computing: Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540218351
Total size: 14 MB
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540223800
Total size: 5.1 MB
Articulated Motion and Deformable Objects: Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings (Lecture Notes in Computer Science) Articulated Motion and Deformable Objects: Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540229582
Total size: 12 MB
Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN/ASIN: 3540233571
Total size: 6 MB
Smart Graphics: 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004, Proceedings (Lecture Notes in Computer Science) Smart Graphics: 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004, Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540219773
Total size: 7.47 MB
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN/ASIN: 3540223452
Total size: 11.3 MB
Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings (Lecture Notes in Computer Science) Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings (Lecture Notes in Computer Science)

ISBN/ASIN: 3540235809
Total size: 16.5 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running