Tools and algorithms for the construction and analysis of systems (vol. # 3920) : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Tools and algorithms for the construction and analysis of systems (vol. # 3920) : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Saved in:

Bibliographic Details
Corporate Authors:	TACAS 2006 Vienna, Austria, SpringerLink (Online service)
Other Authors:	Hermanns, Holger, Palsberg, Jens
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin Heidelberg Springer-Verlag 2006
Series:	Lecture Notes in Computer Science, 3920
Subjects:	System design > Congresses. Computer software > Development > Congresses.
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compiler construction (vol. # 3923) : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Published: (2006)

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, march 22-29, 2009. Proceedings /
Published: (2009)

Foundations of software science and computational structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006: proceedings /
Published: (2006)

Fundamental approaches to software engineering (vol. # 3922) : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006: proceedings /
Published: (2006)

Software composition (vol. # 4089) : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /
Published: (2006)

Business process management (vol. # 4102) : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings /
Published: (2006)

Algorithmic learning theory (vol. # 4264) : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /
Published: (2006)

Algorithms in bioinformatics (vol. # 4175) : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings /
Published: (2006)

Algorithms and computation (vol. # 4288) : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /
Published: (2006)

Combinatorial and algorithmic aspects of networking (vol. # 4235) : Third Workshop, CAAN 2006, Chester, UK, July 2, 2006, Revised Papers /

Computer Vision -- ECCV 2006 (vol. # 3952) : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II /
Published: (2006)

Computer Vision -- ECCV 2006 (vol. # 3953) : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III /
Published: (2006)

Computer Vision -- ECCV 2006 (vol. # 3954) : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV /
Published: (2006)

Evolutionary computation in combinatorial optimization (vol. # 3906) : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings /
Published: (2006)

Programming languages and systems (vol. # 3924) : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /
Published: (2006)

Model checking software (vol. # 3925) : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
Published: (2006)

Advances in information retrieval (vol. # 3936) : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006, Proceedings /
Published: (2006)

Wired (vol. # 3970) 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings /
Published: (2006)

Computer Vision -- ECCV 2006 (vol. # 3951) : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I /
Published: (2006)

Theory of cryptography (vol. # 3876) : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings /
Published: (2006)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005)

Intelligence and security informatics (vol. # 3917) : International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings /

Security in pervasive computing (vol. # 3934) : Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /
Published: (2006)

Advances in knowledge discovery and data mining (vol. # 3918) : 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings /
Published: (2006)

Computing and combinatorics (vol. # 4112) : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /
Published: (2006)

Advances in databases and information systems (vol. # 4152) : 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings /
Published: (2006)

Database systems for advanced applications (vol. # 3882) : 11th International Conference, DASFAA 2006, Singapore, April 12-15, 2006, Proceedings /
Published: (2006)

Advances in information systems (vol. # 4243) : 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006 /
Published: (2006)

Computer vision in human-computer interaction (vol. # 3979) : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006, Proceedings /

Mathematical knowledge management (vol. # 4108) : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
Published: (2006)

Pervasive computing (vol. # 3968) : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings /
Published: (2006)

Information security practice and experience (vol. # 3903) : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings /
Published: (2006)

Term rewriting and applications (vol. # 4098) : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
Published: (2006)

The semantic web: research and applications (vol. # 4011) : 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings /
Published: (2006)

Software architecture (vol. # 4344) : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers /
Published: (2006)

Unconventional computation (vol. # 4135) : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings /
Published: (2006)

Fast software encryption (vol. # 4047) : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /
Published: (2006)

Modeling decisions for artificial intelligence (vol. # 3885) : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings /
Published: (2006)

Discrete geometry for computer imagery (vol. # 4245) : 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings /

Computational Science - ICCS 2006 (vol. # 3992) 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II /
Published: (2006)