skip to main content
Language:
Refined by: language: French remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
É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)

4
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)

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

Searching Remote Databases, Please Wait