Skip to contents

  1. Steffen, Bernhard [Editor] ; ETAPS 1 1998 Lissabon

    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; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 1384

  2. Graf, Susanne [Editor] ; ETAPS 3 2000 Berlin

    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 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 1785

  3. Knoop, Jens [Editor] ; CC 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6601

  4. Ong, Luke [Editor] ; FOSSACS 13 2010 Paphos, ETAPS 13 2010 Paphos

    Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6014

  5. Hofmann, Martin [Editor] ; FOSSACS 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Foundations of software science and computational structures : 14th international conference, FOSSACS 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6604

  6. Rosenblum, David S. [Editor]; Taentzer, Gabriele [Other] ; FASE 13 2010 Paphos, ETAPS 13 2010 Paphos

    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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6013

  7. Giannakopoulou, Dimitra [Editor]; Orejas, Fernando [Other] ; FASE 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Fundamental approaches to software engineering : 14th international conference, FASE 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6603

  8. Gordon, Andrew D. [Editor] ; ESOP 19 2010 Paphos, ETAPS 13 2010 Paphos

    Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6012

  9. Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Programming languages and systems : 20th European Symposium on Programming, ESOP 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6602

  10. Esparza, Javier [Editor]; Majumdar, Rupak [Other] ; 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6015

  11. Abdulla, Parosh Aziz [Editor]; Leino, K. Rustan M. [Other] ; 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 6605

  12. Moor, Oege de [Other]; Schwartzbach, Michael I. [Other]; De Moor, Oege [Editor] ; CC 18 2009 York, ETAPS 12 2009 York

    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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5501

  13. De Alfaro, Luca [Editor] ; FOSSACS 12 2009 York, ETAPS 12 2009 York

    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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5504

  14. Chechik, Marsha [Editor]; Wirsing, Martin [Other] ; FASE 12 2009 York, ETAPS 12 2009 York

    Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5503

  15. Castagna, Giuseppe [Editor] ; ESOP 18 2009 York, ETAPS 12 2009 York

    Programming languages and systems : 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5502

  16. Kowalewski, Stefan [Editor]; Philippou, Anna [Other] ; 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5505

  17. Amadio, Roberto M. [Editor] ; FOSSACS 11 2008 Budapest, ETAPS 11 2008 Budapest

    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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 4962

  18. Fiadeiro, José Luiz [Editor]; Inverardi, Paola [Other] ; FASE 11 2008 Budapest, ETAPS 11 2008 Budapest

    Fundamental approaches to software engineering : 11th international conference, FASE 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 4961