Cover Image

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 /

Bibliographic Details
Corporate Authors:	TACAS (Conference) York, England), SpringerLink (Online service), ETAPS (Conference)
Other Authors:	Kowalewski, S. (Stefan), Philippou, Anna
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5505.
Subjects:	System analysis > Congresses. System design > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
Published: (2010)

Tools and algorithms for the construction and analysis of systems : 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, Proceedings /
Published: (2011)

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Information systems : modeling, development, and integration ; proceedings, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21 - 24, 2009 /
Published: (2009)

Foundations of software science and computational structures : 12th International Conference, FOSSACS 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)

Service-oriented perspectives in design science research : 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings /
Published: (2011)

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)

Tools and algorithms for the construction and analysis of systems : 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 /
Published: (2006)

Global perspectives on design science research : 5th international conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 ; proceedings /
Published: (2010)

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Systems, automation & control /
Published: (2018)

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)

Complex systems design and management : proceedings of the First International Conference on Complex System Design and Management CSDM 2010 /
Published: (2010)

Human benefit through the diffusion of information systems design science research [electronic resource] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010, proceedings /
Published: (2010)

Foundations of software science and computation structures : 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)

Complex networks : results of the 2009 International Workshop on Complex Networks (CompleNet 2009) /
Published: (2009)

Research in systems analysis and design : models and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011 : revised selected papers /
Published: (2011)

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings /
Published: (2009)

Enterprise, Business-Process and Information Systems Modeling : 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings /
Published: (2009)

Complex systems and self-organization modelling /
Published: (2009)

Advances in design methods from modeling languages for embedded systems and SoC's : Selected Contributions on Specification, Design, and Verification from FDL 2009 /
Published: (2010)

Online communities and social computing : third international conference, OCSC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings /
Published: (2009)

Wireless algorithms, systems, and applications : first international conference, WASA 2006, Xi'an, China, August 15-17, 2006 : proceedings /
Published: (2006)

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /
Published: (2007)

Wireless algorithms, systems, and applications : third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings /
Published: (2008)

Systems modeling and simulation : theory and applications, Asian Simulation Conference 2006 /
Published: (2007)

Multibody dynamics : computational methods and applications /
Published: (2007)

Advances in computational multibody systems /
Published: (2005)

Universal access in human-computer interaction : 5th international conference, UAHCI 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; proceedings.
Published: (2009)

Universal access in human-computer interaction : 5th international conference, UAHCI 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings.
Published: (2009)

Universal access in human-computer interaction : 5th international conference, UAHCI 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; proceedings.
Published: (2009)

Information system development : design and development /
Published: (2008)

AsiaSim 2007 : Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007 : proceedings /
Published: (2007)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
Published: (2010)

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Enterprise, business-process and information systems modeling : 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings /
Published: (2010)

Advances in information systems development : new methods and practice for the networked society /
Published: (2007)