skip to main content
Language:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theorie des algorithmes, des langages et de la programmation
Theorie des algorithmes, des langages et de la programmation
Material Type:
Book 		Add to e-Shelf

Theorie des algorithmes, des langages et de la programmation

Seminaire IRIA (1972-1973) Maurice Nivat 1937-

S.L S. N. 1973

Available at IME - Inst. Matemática e Estatística    (QA750.C N734t 1972-73 )(GetIt)

2
Automata, languages and programming
Automata, languages and programming
Material Type:
Book 		Add to e-Shelf

Automata, languages and programming

Maurice Nivat 1937-; Institut de recherche d'informatique et d'automatique

Amsterdam North-Holland Pub. Co. New York American Elsevier 1973

Available at ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 A939 1972 e.1 ) and other locations(GetIt)

3
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme
Material Type:
Ph.D. Dissertation 		Add to e-Shelf

Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programme

Bruno Courcelie Maurice Nivat 1937-

1976

Available at IME - Inst. Matemática e Estatística    (QA806.T C859s )(GetIt)

4
Équations avec constantes et algorithme de Makanin
Material Type:
Ph.D. Dissertation 		Add to e-Shelf

Équations avec constantes et algorithme de Makanin

Jean-Pierre Pécuchet Maurice Nivat 1937-

1981

Available at IME - Inst. Matemática e Estatística  IMRE SIMON  (CIS QA173.T P369e )(GetIt)

5
Automata on infinite words
Automata on infinite words
Material Type:
Book 		Add to e-Shelf

Automata on infinite words

Ecole de printemps d'informatique théorique (1984 Le Mont-Dore, France) Maurice Nivat 1937-; Dominique Perrin

Berlin New York Springer-Verlag c1985

Available at EPBC - Esc. Politécnica-Bib Central    (004 Ec73a ) and other locations(GetIt)

6
Programming of future generation computers proceedings
Programming of future generation computers proceedings
Material Type:
Book 		Add to e-Shelf

Programming of future generation computers proceedings

Franco-Japanese Symposium on Programming of Future General Computers, 1, Tokyo, 1986 Kazuhiro Fuchi; Maurice Nivat 1937-

Amsterdam North-Holland 1988

Available at IME - Inst. Matemática e Estatística    (QA754.C F949p )(GetIt)

7
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
CAAP '88 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings
Material Type:
Book 		Add to e-Shelf

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

Colloquium on Trees in Algebra and Programming (13th 1988 Nancy, France) M Dauchet 1946- (Max); Maurice Nivat 1937-; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.299 ex.1 ) and other locations(GetIt)

8
Resolution of equations in algebraic structures
Resolution of equations in algebraic structures
Material Type:
Book 		Add to e-Shelf

Resolution of equations in algebraic structures

Hassan Aït-Kaci 1954-; Maurice Nivat 1937-

Academic Press 1989

Available at IME - Inst. Matemática e Estatística    (QA816.C3 A311r v.2 )(GetIt)

9
Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèle
Material Type:
Ph.D. Dissertation 		Add to e-Shelf

Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèle

Afonso Galvão Ferreira Maurice Nivat 1937-

1990

Available at IME - Inst. Matemática e Estatística    (QA733.T F383c )(GetIt)

10
Algorithmique parallèle
Algorithmique parallèle
Material Type:
Book 		Add to e-Shelf

Algorithmique parallèle

M Cosnard (Michel); Maurice Nivat 1937-; Yves Robert 1938-

Paris Masson 1992

Available at IME - Inst. Matemática e Estatística    (QA733.C3 C843a )(GetIt)

Personalize your results

  1. Edit

Refine Search Results

Refine My Results

Resource Type 

  1. Books  (12)
  2. Academic Productions  (3)
  3. More options open sub menu

Creation Date 

From To
Refine
  1. Before1981  (3)
  2. 1981To1987  (2)
  3. 1988To1989  (3)
  4. 1990To1995  (4)
  5. After 1995  (3)
  6. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait