Zum Inhalt springen

  2. Giannakopoulou, Dimitra [HerausgeberIn]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft] ; 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

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

  3. Kreowski, Hans-Jörg [HerausgeberIn]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]; Ehrig, Hartmut [GefeierteR]

    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

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

  4. Giannakopoulou, Dimitra [VerfasserIn] ; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]

    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

    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, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6603

  5. Ehrig, Hartmut [VerfasserIn] ; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]

    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

    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, Heidelberg: Springer Berlin Heidelberg, 1994

    Erschienen in: Lecture notes in computer science ; 785

  6. Diaz, Josep [VerfasserIn] ; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]

    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

    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, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 351

  7. Diaz, Josep [VerfasserIn] ; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]

    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

    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, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 352

  8. Orejas, Fernando [VerfasserIn] ; Leeuwen, Jan [Sonstige Person, Familie und Körperschaft]; Spirakis, Paul G. [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 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, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2076

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

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

    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: Theoretical Computer Science and General Issues ; 11629- Springer eBooks ; Computer Science

  10. Fiadeiro, José Luiz [Sonstige Person, Familie und Körperschaft]; Mosses, Peter [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised 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, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3423

  11. Ehrig, Hartmut [VerfasserIn] ; Jantke, Klaus P. [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Reichel, Horst [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. 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, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 534

  12. Schneider, Sven [VerfasserIn]; Lambers, Leen [VerfasserIn]; Orejas, Fernando [VerfasserIn]

    A logic-based incremental approach to graph repair ; Ein logikbasierter inkrementeller Ansatz für Graphreparatur

    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.

    University of Potsdam: publish.UP, 2020-01-23

  14. Bidoit, Michel [VerfasserIn] ; Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Lescanne, Pierre [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Sannella, Donald [Sonstige Person, Familie und Körperschaft]

    Algebraic System Specification and Development : A Survey and Annotated Bibliography

    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, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 501

  16. Ehrig, Hartmut [VerfasserIn]; Engels, Gregor [VerfasserIn]; Orejas, Fernando [VerfasserIn]; Wirsing, Martin [VerfasserIn] ; Hartmut Ehrig and Gregor Engels and Fernando Orejas and Martin Wirsing [MitwirkendeR]

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

    Aufsätze
    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.

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

  17. Ehrig, Hartmut [VerfasserIn]; Engels, Gergor [VerfasserIn]; Orejas, Fernando [VerfasserIn]; Wirsing, Martin [VerfasserIn] ; Hartmut Ehrig and Gergor Engels and Fernando Orejas and Martin Wirsing [MitwirkendeR]

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

    Aufsätze
    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.

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

  18. Kreowski, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Montanari, Ugo [Sonstige Person, Familie und Körperschaft]; Orejas, Fernando [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Taentzer, Gabriele [Sonstige Person, Familie und Körperschaft]

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

    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, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3393

  19. Ehrig, Hartmut [VerfasserIn]; Padberg, Julia [VerfasserIn]; Braatz, Benjamin [VerfasserIn]; Klein, Markus [VerfasserIn]; Orejas, Fernando [VerfasserIn]; Perez, Sarah [VerfasserIn]; Pino, Elvira [VerfasserIn]

    A Generic Framework for Connector Architectures based on Components and Transformations

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    REPOSIT HAW Hamburg, 2004-01-01