Skip to contents

  2. 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

  4. Giannakopoulou, Dimitra [Author] ; Orejas, Fernando [Other]

    Fundamental Approaches to Software Engineering : 14th International Conference, FASE 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

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6603

  5. Ehrig, Hartmut [Author] ; Orejas, Fernando [Other]

    Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

    Published in: Lecture notes in computer science ; 785

  6. Diaz, Josep [Author] ; Orejas, Fernando [Other]

    TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Published in: Lecture notes in computer science ; 351

  7. Diaz, Josep [Author] ; Orejas, Fernando [Other]

    TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Published in: Lecture notes in computer science ; 352

  8. Orejas, Fernando [Author] ; Leeuwen, Jan [Other]; Spirakis, Paul G. [Other]

    Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Published in: Lecture notes in computer science ; 2076

  9. Guerra, Esther [Editor]; Orejas, Fernando [Editor]

    Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings - [1st ed. 2019]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer, 2019

    Published in: Theoretical Computer Science and General Issues ; 11629- Springer eBooks ; Computer Science

  10. Fiadeiro, José Luiz [Other]; Mosses, Peter [Other]; Orejas, Fernando [Other]

    Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3423

  11. Ehrig, Hartmut [Author] ; Jantke, Klaus P. [Other]; Orejas, Fernando [Other]; Reichel, Horst [Other]

    Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Published in: Lecture notes in computer science ; 534

  14. Bidoit, Michel [Author] ; Kreowski, Hans-Jörg [Other]; Lescanne, Pierre [Other]; Orejas, Fernando [Other]; Sannella, Donald [Other]

    Algebraic System Specification and Development : A Survey and Annotated Bibliography

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Published in: Lecture notes in computer science ; 501

  16. Ehrig, Hartmut [Author]; Engels, Gregor [Author]; Orejas, Fernando [Author]; Wirsing, Martin [Author] ; Hartmut Ehrig and Gregor Engels and Fernando Orejas and Martin Wirsing [Contributor]

    Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001

  17. Ehrig, Hartmut [Author]; Engels, Gergor [Author]; Orejas, Fernando [Author]; Wirsing, Martin [Author] ; Hartmut Ehrig and Gergor Engels and Fernando Orejas and Martin Wirsing [Contributor]

    Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1998

  18. Kreowski, Hans-Jörg [Other]; Montanari, Ugo [Other]; Orejas, Fernando [Other]; Rozenberg, Grzegorz [Other]; Taentzer, Gabriele [Other]

    Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3393