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 : proceedi

Saved in:

Bibliographic Details
Other Authors:	Halbwachs, Nicolas (Editor) Zuck, Lenore D., 1958- (Editor)
Conference:	TACAS 2005 (Edinburgh, Skotsko) ETAPS (konference) (8. : 2005 : Edinburgh, Skotsko)
Format:	Book
Language:	English
Published:	Berlin : Springer, 2005
Series:	Lecture notes in computer science, v. 3440
Genre/form:	sborníky konferencí
ISBN:	3-540-25333-5
Subjects:	algoritmizace teorie algoritmů
Tags:	Add Tag No Tags, Be the first to tag this record!

Cover Image

Similar Items

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)

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)

Practical analysis of algorithms
by: Vrajitoru, Dana, 1969-
Published: (2014)

Practical algorithms for programmers
by: Binstock, Andrew
Published: (1995)

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceeding
Published: (2001)

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
Published: (2015)

Tools and algorithms for the construction and analysis of systems : 10th international conference TACAS 2004 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Barcelona, Spain, March 29 - April 2, 2004
Published: (2004)

Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998.
Published: (1998)

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000.
Published: (2000)

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 : 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)

Tools and algorithms for the construction and analysis of systems : 9th international conference TACAS 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 : proceeding
Published: (2003)

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.
Published: (1999)

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)

Analysis of algorithms : Computational methods & mathematical tools
by: Hofri, Micha
Published: (1995)

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
Published: (2014)

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 agorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : procee
Published: (2002)

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
Published: (2013)

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)

Introduction to algorithms
Published: (2001)

Theory of algorithms
Published: (1985)

Compiler construction : 14th international conference, CC 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)

Compiler Construction : 14th International Conference, CC 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)

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

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
Published: (2012)

Tools and algorithms for the construction and analysis of systems : Third international workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997. Proceedings
Published: (1997)

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)

A history of algorithms : from the pebble to the microchip
Published: (1999)

Tools and algorithms for the construction and analysis of systems : First international workshop, TACAS '95 Aarhus, Denmark, May 19-20, 1995. Selected papers
Published: (1995)

Algorithms and data structures : the basic toolbox
by: Mehlhorn, Kurt, 1949-
Published: (2010)

Dynamics of algorithms
Published: (2000)

Data structures and algorithms in C++
by: Goodrich, Michael T., 1961-
Published: (2011)

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
Published: (2005)

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
Published: (2005)

Foundations of software science and computational 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)

Boolean satisfiability and covering problem : design and evaluation of efficient algorithms : PhD thesis.
by: Zamazal, Jan
Published: (1995)

Boolean satisfiability and covering problem : design and evaluation of efficient algorithms : PhD thesis.
by: Zamazal, Jan
Published: (1995)

Nature-inspired optimization algorithms
by: Yang, Xin-She
Published: (2014)