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  

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)
Date: 10 April 2011, 02:46
Product Description:
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.
The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

DISCLAIMER:

This site does not store CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) on its server. We only index and link to CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) provided by other sites. Please contact the content providers to delete CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science) if any and email us, we'll remove relevant links or contents immediately.


Posts related to "CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science)"
Text Speech and Dialogue 7th International Conference TSD 2004 Brno Czech Republic September 8-11 2004 Proceedings Text Speech and Dialogue 7th International Conference TSD 2004 Brno Czech Republic September 8-11 2004 Proceedings

ISBN/ASIN: N/A
Total size: N/A
Differential Geometric Methods in Mathematical Physics: Proceedings of the 14th International Conference held in Salamanca, Spain, June 24 - 29, 1985 (Lecture Notes in Mathematics) Differential Geometric Methods in Mathematical Physics: Proceedings of the 14th International Conference held in Salamanca, Spain, June 24 - 29, 1985 (Lecture Notes in Mathematics)

ISBN/ASIN: 3540178163
Total size: 2 MB
Digital Heritage: Third International Euro-Mediterranean Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI) Digital Heritage: Third International Euro-Mediterranean Conference, EuroMed 2010, Lemessos, Cyprus, November 8-13, 2010. Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI)

ISBN/ASIN: 3642168728
Total size: 27.4 MB
Asian and Pacific Coasts 2003 (with CD-ROM) : Proceedings of the 2nd International Conference, Makuhari, Japan 29 February - 4 March 2004 Asian and Pacific Coasts 2003 (with CD-ROM) : Proceedings of the 2nd International Conference, Makuhari, Japan 29 February - 4 March 2004

ISBN/ASIN: 9812385584
Total size: 23.3 MB
Computer Systems: Architectures, Modeling, and Simulation: Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July ... (Lecture Notes in Computer Science) Computer Systems: Architectures, Modeling, and Simulation: Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July ... (Lecture Notes in Computer Science)

ISBN/ASIN: 3540223770
Total size: 11.6 MB
Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN/ASIN: 3540705201
Total size: 17.7 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
Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science) Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science)

ISBN/ASIN: 3540111573
Total size: 7 MB
Artificial Neural Networks: An Introduction to ANN Theory and Practice (Lecture Notes in Computer Science) Artificial Neural Networks: An Introduction to ANN Theory and Practice (Lecture Notes in Computer Science)

ISBN/ASIN: 3540594884
Total size: 4 MB

Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches
running