skip to main content
Idioma:
Resultados 1 2 next page
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:
Livro 		Adicionar ao Meu Espaço

Theorie des algorithmes, des langages et de la programmation

Seminaire Iria (1972-1973) M Nivat

Sl Sn 1973

Localização: IME - Inst. Matemática e Estatística    (QA750.C N734t 1972-73 )(Acessar)

2
Automata, languages and programming
Automata, languages and programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming

M Nivat; Institut de recherche d'informatique et d'automatique

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

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q15.01 A939 1972 e.1 ) e outros locais(Acessar)

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:
Tese de Doutorado 		Adicionar ao Meu Espaço

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

1976

Localização: IME - Inst. Matemática e Estatística    (QA806.T C859s )(Acessar)

4
Équations avec constantes et algorithme de Makanin
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Équations avec constantes et algorithme de Makanin

Jean-Pierre Pécuchet Maurice Nivat 1937-

1981

Localização: IME - Inst. Matemática e Estatística  IMRE SIMON  (CIS QA173.T P369e )(Acessar)

5
Automata on infinite words
Automata on infinite words
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata on infinite words

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

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004 Ec73a ) e outros locais(Acessar)

6
Programming of future generation computers proceedings
Programming of future generation computers proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming of future generation computers proceedings

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

Amsterdam North-Holland 1988

Localização: IME - Inst. Matemática e Estatística    (QA754.C F949p )(Acessar)

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:
Livro 		Adicionar ao Meu Espaço

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); M Nivat; European Symposium on Programming (2nd 1988 Nancy, France)

Berlin Springer-Verlag New York c1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.299 ex.1 ) e outros locais(Acessar)

8
Resolution of equations in algebraic structures
Resolution of equations in algebraic structures
Material Type:
Livro 		Adicionar ao Meu Espaço

Resolution of equations in algebraic structures

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

Academic Press 1989

Localização: IME - Inst. Matemática e Estatística    (QA816.C3 A311r v.2 )(Acessar)

9
Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèle
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

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

Afonso Galvão Ferreira Maurice Nivat 1937-

1990

Localização: IME - Inst. Matemática e Estatística    (QA733.T F383c )(Acessar)

10
Algorithmique parallèle
Algorithmique parallèle
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmique parallèle

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

Paris Masson 1992

Localização: IME - Inst. Matemática e Estatística    (QA733.C3 C843a )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (12)
  2. Produções Acadêmicas  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (3)
  2. 1981Até1987  (2)
  3. 1988Até1989  (3)
  4. 1990Até1995  (4)
  5. Após 1995  (3)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.