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

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

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

6
Algebraic methodology and software technology
Algebraic methodology and software technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology

International Conference on Algebraic Methodologyand Software Technology, AMAST'96, 5 1996 Munich Martin Wirsing; Maurice Nivat

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1101 )(Acessar)

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

8
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996

International Conference on Algebraic Methodologyand Software Technology (5. 1996 Munich, De) Martin Wirsing; M Nivat

Berlin Springer 1996

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

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

10
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings

International Conference on Algebraic Methodologyand Software Technology (4. 1995 Montreal, Ca) Vangalur S Alagar; M Nivat

[ed] Goos, G., Hartmanis, J., Leeuwen, J. Van Berlin, Springer-Verlag, c1985- Lecture notes in computer science

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.936 e.1 ) e outros locais(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.