Zum Inhalt springen

  3. Brinksma, Ed [Sonstige Person, Familie und Körperschaft]; Cleaveland, Walter R. [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]; Margaria-Steffen, Tiziana [HerausgeberIn]; Steffen, Bernhard [HerausgeberIn] ; TACAS 1 1995 Århus

    Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995

    Erschienen in: Lecture notes in computer science ; 1019

  4. Esparza, Javier [HerausgeberIn]; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft] ; TACAS 16 2010 Paphos, ETAPS 13 2010 Paphos

    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-28, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6015

  5. Abdulla, Parosh Aziz [HerausgeberIn]; Leino, K. Rustan M. [Sonstige Person, Familie und Körperschaft] ; TACAS 17 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    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, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6605

  6. Kowalewski, Stefan [HerausgeberIn]; Philippou, Anna [Sonstige Person, Familie und Körperschaft] ; TACAS 15 2009 York, ETAPS 12 2009 York

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5505

  7. Ramakrishnan, C. R. [HerausgeberIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4963

  8. Hermanns, Holger [HerausgeberIn]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3920

  9. Grumberg, Orna [HerausgeberIn]; Huth, Michael [Sonstige Person, Familie und Körperschaft] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4424

  10. Halbwachs, Nicolas [HerausgeberIn]; Zuck, Lenore D. [HerausgeberIn] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3440

  11. Jensen, Kurt [HerausgeberIn]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; TACAS 10 2004 Barcelona, ETAPS 7 2004 Barcelona

    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 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 2988

  15. Cleaveland, W. Rance [Sonstige Person, Familie und Körperschaft]; Cleaveland, Walter R. [HerausgeberIn] ; TACAS 5 1999 Amsterdam, ETAPS 2 1999 Amsterdam

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1999

    Erschienen in: Lecture notes in computer science ; 1579

  16. Margaria, Tiziana [Sonstige Person, Familie und Körperschaft] ; TACAS 2 1996 Passau

    Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 105500

  17. Brinksma, Ed [Sonstige Person, Familie und Körperschaft] ; TACAS 1 1995 Århus

    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 101900

  18. Vojnar, Tomáš [HerausgeberIn]; Zhang, Lijun [HerausgeberIn] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2019]

    Erschienen in: Lecture notes in computer science ; 1142700

  19. Vojnar, Tomáš [HerausgeberIn]; Zhang, Lijun [HerausgeberIn] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2019]

    Erschienen in: Lecture notes in computer science ; 1142800

  20. Hähnle, Reiner [HerausgeberIn]; Aalst, Wil van der [HerausgeberIn] ; FASE 22. 2019 Prag, ETAPS 22. 2019 Prag

    Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2019]

    Erschienen in: Lecture notes in computer science ; 1142400