Podobné jednotky

• Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008 : held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings /
  Vydáno: (2008)
• Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings /
  Vydáno: (2004)
• Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings /
  Vydáno: (2003)
• Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /
  Vydáno: (2006)
• Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 : Lisbon, Portugal, March 28-April 4, 1998 : proceedings /
  Vydáno: (1998)