skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming Language Implementation and Logic Programming
Programming Language Implementation and Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming

PLILP '94 Manuel Hermenegildo; Jaan Penjam

Springer Berlin Heidelberg 1994

Acesso online

2
Programming lnaguages implementations, logics and programs
Programming lnaguages implementations, logics and programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming lnaguages implementations, logics and programs

International Symposium, 7, PHILP'95 1995 Utrecht Manuel Hermenegildo; S Doaitse Swiersta

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

Berlin Springer-Verlag 1995

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

3
Programming language implementation and logic programming
Programming language implementation and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming language implementation and logic programming

International Symposium, PLILP'94, 6 1994 Madrid Manuel Hermenegildo; Jaan Penjam

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

Berlin Springer-Verlag c1994

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

4
Static Analysis
Static Analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis

International Static Analysis Symposium Manuel Hermenegildo; Germán Puebla

Springer Berlin Heidelberg 2002

Acesso online

5
Programming Languages: Implementations, Logics and Programs
Programming Languages: Implementations, Logics and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages: Implementations, Logics and Programs

PLILP '95 Manuel Hermenegildo; S. Doaitse Swierstra

Springer Berlin Heidelberg 1995

Acesso online

6
Analysis and Visualization Tools for Constraint Programming
Analysis and Visualization Tools for Constraint Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and Visualization Tools for Constraint Programming

Pierre Deransart Pierre Deransart; Manuel Hermenegildo; M. V Hermenegildo; J Maluszynski

Springer Berlin Heidelberg 2000

Acesso online

7
Practical aspects of declarative languages 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
Practical aspects of declarative languages 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical aspects of declarative languages 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

PADL 2005 (2005 Long Beach, Calif.) Manuel Hermenegildo; Daniel Cabeza

Berlin Springer New York 2005

Acesso online. A biblioteca também possui exemplares impressos.

8
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings

VMCAI 2010 (2010 : Madrid, Spain) Gilles Barthe 1967-; Manuel Hermenegildo

Berlin Springer New York c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.24 V849v 11. )(Acessar)

9
Analysis and visualization tools for constraint programming constraint debugging
Analysis and visualization tools for constraint programming constraint debugging
Material Type:
Livro 		Adicionar ao Meu Espaço

Analysis and visualization tools for constraint programming constraint debugging

Pierre Deransart; Manuel Hermenegildo; J Ma±uszyânski 1941- (Jan)

Berlin New York Springer 2000

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

10
Programming language implementation and logic programming proceedings
Programming language implementation and logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming language implementation and logic programming proceedings

International Workshop on Programming Languages Impelemtation and Logic Programming (6. 1994 Madrid) Manuel Hermenegildo; Jaan Penjam

Berlin Springer 1994

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (514)
  2. Book Chapters  (102)
  3. Anais de Congresso  (28)
  4. Livros  (23)
  5. Reports  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (17)
  2. 1988Até1996  (117)
  3. 1997Até2005  (221)
  4. 2006Até2015  (117)
  5. Após 2015  (202)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (638)
  2. Japonês  (62)
  3. Espanhol  (16)
  4. Português  (8)
  5. Francês  (7)
  6. Alemão  (2)
  7. Coreano  (1)
  8. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Chiaia, H
  2. Berton, M
  3. Baldi, F
  4. Hermenegildo, M
  5. Lemos, M

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Chemistry
  4. Technology
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.