Zum Inhalt springen

  1. Nivat, Maurice [Herausgeber:in] ; FoSSaCS 1 1998 Lissabon, ETAPS 1 1998 Lissabon

    Foundations of software science and computation structures : first International Conference, FoSSaCS '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

    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 [u.a.]: Springer, 1998

    Erschienen in: Lecture notes in computer science ; 1378

  2. Nivat, Maurice [Herausgeber:in] ; Institut de Recherche d'Informatique et d'Automatique Rocquencourt, IRIA, Institut de Recherche d'Informatique et d'Automatique, Colloquium on Automata, Languages and Programming 1 1972 Rocquencourt

    Automata, languages and programming : proceedings of a symposium organized by IRIA, Inst. de Recherche d'Informatique et d'Automatique, Rocquencourt, July 3 - 7, 1972

    Bücher
    Schließen

    Merkliste

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

    New York: American Elsevier Publ. Co., 1973 ; Amsterdam [u.a.]: North-Holland Publ. Co., 1973

  3. Nivat, Maurice [Herausgeber:in]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft]

    Tree automata and languages : [Workshop on Tree Languages and Tree Automata ... by the ESPRIT-BRA Working Group ASMICS (Algebraic and Synthetic Methods in Computer Science) ... in Le Touquet, Northern France, in June 1990]

    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.

    Amsterdam [u.a.]: North-Holland, 1992

    Erschienen in: Studies in computer science and artificial intelligence ; 10

  5. Nivat, Maurice [Verfasser:in]

    Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - Apri

    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, 1998

    Erschienen in: Lecture notes in computer science ; 1378

  7. Wirsing, Martin [Verfasser:in] ; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]

    Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 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, Heidelberg: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1101

  8. Alagar, V.S [Verfasser:in] ; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]

    Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. 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, 1995

    Erschienen in: Lecture notes in computer science ; 936

  9. Dauchet, Max [Verfasser:in] ; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]

    CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. 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, 1988

    Erschienen in: Lecture notes in computer science ; 299

  10. Nivat, Maurice [Herausgeber:in] ; École de Printemps d'Informatique Théorique 1984 Le Mont-Dore

    Automata on infinite words : Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14 - 18, 1984

    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, 1985 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 19200

  12. Ehrig, Hartmut [Verfasser:in] ; Floyd, Christiane [Sonstige Person, Familie und Körperschaft]; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]; Thatcher, James [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE)

    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, 1985

    Erschienen in: Lecture notes in computer science ; 186

  13. Ehrig, Hartmut [Verfasser:in] ; Floyd, Christiane [Sonstige Person, Familie und Körperschaft]; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]; Thatcher, James [Sonstige Person, Familie und Körperschaft]

    Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra 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, 1985

    Erschienen in: Lecture notes in computer science ; 185

  14. Nakamura, Akira [Verfasser:in] ; Inoue, Katsushi [Sonstige Person, Familie und Körperschaft]; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]; Saoudi, Ahmed [Sonstige Person, Familie und Körperschaft]; Wang, Patrick S.P [Sonstige Person, Familie und Körperschaft]

    Parallel Image Analysis : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. 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, 1992

    Erschienen in: Lecture notes in computer science ; 654

  16. Nivat, Maurice

    The true story of TCS

    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.

    Elsevier BV, 2015

    Erschienen in: Theoretical Computer Science, 591 (2015), Seite 1-2

  19. Nivat, Maurice

    25 Years

    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.

    Elsevier BV, 2001

    Erschienen in: Theoretical Computer Science, 250 (2001) 1-2, Seite xi-xiii

  20. Nivat, Maurice

    Foreword

    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.

    Elsevier BV, 1998

    Erschienen in: Theoretical Computer Science, 200 (1998) 1-2, Seite xi-xii