Skip to contents

  1. Guessarian, Irène [Editor] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 17 1990 La Roche-Posay

    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 469

  2. Gross, Maurice [Editor]; Perrin, Dominique [Other] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 15 1987 Saint-Pierre-d'Oléron

    Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25 - 29, 1987 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 377

  3. Cousineau, Guy [Other] ; Laboratoire d'informatique théorique et programmation

    Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 24200

  4. Pin, Jean-Eric [Other] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 16 1988 Ramatuelle

    Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23 - 27, 1988 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 38600

  5. Guessarian, Irène [Other] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 17 1990 La Roche-Posay

    Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 46900

  6. Choffrut, Christian [Other] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 14 1986 Argelès-Village

    Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-Village, France, May 12 - 16, 1986 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 31600

  7. Gross, Maurice [Other] ; Laboratoire d'informatique théorique et programmation, Spring School on Theoretical Computer Science 15 1987 Saint-Pierre-d'Oléron

    Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25 - 29, 1987 ; proceedings

    Books
    View online
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 37700