Cargando…

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings /

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS)...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Halbwachs, Nicolas (Editor ), Zuck, Lenore (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:	1st ed. 2005.
Colección:	Theoretical Computer Science and General Issues, 3440
Temas:	Software engineering. Computer science. Computer networks . Algorithms. Software Engineering. Computer Science Logic and Foundations of Programming. Computer Communication Networks.
Acceso en línea:	Texto Completo

Ejemplares similares

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 /
Publicado: (2006)

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 /
Publicado: (2007)

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 /
Publicado: (2008)

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 /
Publicado: (2009)

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /
Publicado: (2010)

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Publicado: (2012)

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicado: (2011)

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Publicado: (2013)

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Theoretical Computer Science 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings /
Publicado: (2010)

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
Publicado: (2016)

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings /
Publicado: (2014)

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /
Publicado: (2005)

Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicado: (2011)

Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Publicado: (2012)

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers /
Publicado: (2009)

Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings /
Publicado: (2009)

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publicado: (2016)

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /
Publicado: (2008)

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II /
Publicado: (2011)

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings /
Publicado: (2009)

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures /
Publicado: (2007)

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
Publicado: (2015)

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
Publicado: (2012)

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
Publicado: (2015)

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings /
Publicado: (2010)

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
Publicado: (2015)

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III /
Publicado: (2015)

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV /
Publicado: (2015)

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II /
Publicado: (2015)

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II /
Publicado: (2014)

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I /
Publicado: (2014)

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I /
Publicado: (2015)

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings /
Publicado: (2006)

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /
Publicado: (2013)

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II /
Publicado: (2013)

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings /
Publicado: (2007)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_tn19liv6755vn9635mga8loeqn