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
Biodiversity and global change
Biodiversity and global change
Material Type:
Livro 		Adicionar ao Meu Espaço

Biodiversity and global change

O T Solbrig; H M van Emden

Wallingford Cabi 1994

Localização: ESALQ - Biblioteca Central    (574.5 S684b 64158 )(Acessar)

2
Biodiversity and global change
Biodiversity and global change
Material Type:
Livro 		Adicionar ao Meu Espaço

Biodiversity and global change

Otto Thomas Solbrig; H. M. van Emden; P. G. W. J. van Oordt; International Union of Biological Sciences

Paris International Union of Biological Sciences 1992

Localização: EACH - Esc. Artes, Ciências e Humanidades    (577.95 B615g )(Acessar)

3
Pest and Vector Control
Pest and Vector Control
Pest and Vector Control
Material Type:
Livro 		Adicionar ao Meu Espaço

Pest and Vector Control

Helmut Fritz Van Emden M. W Service; Michael W Service; H. F van Emden; Helmut F Van Emden

Cambridge Cambridge University Press 2004

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

4
Interval arithmetic: From principles to implementation
Interval arithmetic: From principles to implementation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interval arithmetic: From principles to implementation

Hickey, T. ; Ju, Q. ; Van Emden, M. H.

Journal of the ACM, 2001-09, Vol.48 (5), p.1038-1068 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Constraint propagation as information maximization
Constraint propagation as information maximization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constraint propagation as information maximization

Nait Abdallah, A. ; van Emden, M.H.

Artificial intelligence, 2013-04, Vol.197, p.25-38 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
6
The Semantics of Predicate Logic as a Programming Language
The Semantics of Predicate Logic as a Programming Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Semantics of Predicate Logic as a Programming Language

Van Emden, M. H. ; Kowalski, R. A.

Journal of the ACM, 1976-10, Vol.23 (4), p.733-742 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
Egyptian multiplication and some of its ramifications
Egyptian multiplication and some of its ramifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Egyptian multiplication and some of its ramifications

van Emden, M H

arXiv.org, 2020-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Matrix Code
Matrix Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Matrix Code

van Emden, M.H.

Science of computer programming, 2014-05, Vol.84, p.3-21 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A Unified Framework for Interval Constraints and Interval Arithmetic
A Unified Framework for Interval Constraints and Interval Arithmetic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Unified Framework for Interval Constraints and Interval Arithmetic

Hickey, T. J. ; van Emden, M. H. ; Wu, H. Puget, Jean-Francois ; Maher, Michael

Lecture notes in computer science, 1998, p.250-264 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Correct by construction
Correct by construction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correct by construction

van Emden, M H

arXiv.org, 2018-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
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  (78)
  2. Anais de Congresso  (5)
  3. Resenhas  (3)
  4. Livros  (3)
  5. Book Chapters  (3)
  6. magazinearticle  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1982  (11)
  2. 1982Até1992  (15)
  3. 1993Até2001  (21)
  4. 2002Até2012  (33)
  5. Após 2012  (14)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Emden, H
  2. Solbrig, O
  3. Oordt, P
  4. Service, M
  5. Van Emden, H

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Life Sciences & Biomedicine
  4. Computer Science
  5. Algorithms

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

Buscando em bases de dados remotas. Favor aguardar.