Skip to contents

Nivat, Maurice [Editor] ; 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

View online
Schließen

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 ; 1378
Nivat, Maurice [Editor] ; 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

Close

Bookmarks

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

New York: American Elsevier Publ. Co., 1973 ; Amsterdam [u.a.]: North-Holland Publ. Co., 1973
Nivat, Maurice [Editor]; Podelski, Andreas [Other]

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]

View online
Schließen

Close

Bookmarks

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

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

Published in: Studies in computer science and artificial intelligence ; 10
Nivat, Maurice [Author]

On the interpretation of recursive program schemes

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Published in: Bericht ; 1974,9
Nivat, Maurice [Author]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1378
Nivat, Maurice [Author]

On the interpretation of recursive program schemes

View online
Schließen

Links

... to E-book via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 1974
Alagar, V.S [Author] ; Nivat, Maurice [Other]

Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 936
Wirsing, Martin [Author] ; Nivat, Maurice [Other]

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1101
Dauchet, Max [Author] ; Nivat, Maurice [Other]

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1988

Published in: Lecture notes in computer science ; 299
Nivat, Maurice [Editor] ; É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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 19200
Grtizmann, Peter [Author]; Nivat, Maurice [Author] ; Peter Grtizmann and Maurice Nivat [Contributor]

Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997
Ehrig, Hartmut [Author] ; Floyd, Christiane [Other]; Nivat, Maurice [Other]; Thatcher, James [Other]

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)

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1985

Published in: Lecture notes in computer science ; 186
Ehrig, Hartmut [Author] ; Floyd, Christiane [Other]; Nivat, Maurice [Other]; Thatcher, James [Other]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1985

Published in: Lecture notes in computer science ; 185
Nakamura, Akira [Author] ; Inoue, Katsushi [Other]; Nivat, Maurice [Other]; Saoudi, Ahmed [Other]; Wang, Patrick S.P [Other]

Parallel Image Analysis : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Published in: Lecture notes in computer science ; 654
Nivat, Maurice

Ordre et informatique

View online
Schließen

Access

Close

Bookmarks

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

CAIRN, 2015

Published in: Cahiers philosophiques, n° 141 (2015) 2, Seite 16-26
Nivat, Maurice

The true story of TCS

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2015

Published in: Theoretical Computer Science, 591 (2015), Seite 1-2
Nivat, Maurice

Theory Is Forever: On a Tomographic Equivalence Between (0,1)-Matrices

View online
Schließen

Access

Close

Bookmarks

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

Springer Berlin Heidelberg, 2004

Published in: Theory Is Forever (2004), Seite 216-234
Nivat, Maurice

25 Years

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2001

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

Sous-ensembles homogènes de ℤ 2 et pavages du plan

View online
Schließen

Access

Close

Bookmarks

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

Cellule MathDoc/Centre Mersenne, 2002

Published in: Comptes Rendus. Mathématique, 335 (2002) 1, Seite 83-86
Nivat, Maurice

Foreword

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1998

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

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication