skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books Online Archive remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concepts and Tools of Computer-assisted Policy Analysis: Vol. 1: Basic Concepts
Concepts and Tools of Computer-assisted Policy Analysis: Vol. 1: Basic Concepts
Material Type:
Livro 		Adicionar ao Meu Espaço

Concepts and Tools of Computer-assisted Policy Analysis: Vol. 1: Basic Concepts

BOSSEL

Birkhauser 2019

Texto completo disponível

Citações Citado por
2
Informatics in Higher Education
Informatics in Higher Education
Material Type:
Livro 		Adicionar ao Meu Espaço

Informatics in Higher Education

Mulder, Fred ; Weert, Tom J. van ; Staff, International Federation for Information Processing

New York, NY: Springer 2016

Texto completo disponível

Citações Citado por
3
Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings

Kirchner, Claude

Springer 2015

Texto completo disponível

Citações Citado por
4
Cryopreservation of plant germplasm II
Cryopreservation of plant germplasm II
Material Type:
Livro 		Adicionar ao Meu Espaço

Cryopreservation of plant germplasm II

Towill, L.E ; Bajaj, Y.P.S

Springer 2014

Texto completo disponível

Citações Citado por
5
Automated reasoning: First International Joint Conference, IJCAR 2001, Siena, Italy June 18-23, 2001 : proceedings
Automated reasoning: First International Joint Conference, IJCAR 2001, Siena, Italy June 18-23, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning: First International Joint Conference, IJCAR 2001, Siena, Italy June 18-23, 2001 : proceedings

Gore, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias

Springer 2014

Texto completo disponível

Citações Citado por
6
Evaluation of uncertainties and risks in geology: new mathematical approaches for their handling
Evaluation of uncertainties and risks in geology: new mathematical approaches for their handling
Material Type:
Livro 		Adicionar ao Meu Espaço

Evaluation of uncertainties and risks in geology: new mathematical approaches for their handling

Bardossy, Gyorgy ; Fodor, Janos

Springer 2014

Texto completo disponível

Citações Citado por
7
Atmospheric methane: its role in the global environment
Atmospheric methane: its role in the global environment
Material Type:
Livro 		Adicionar ao Meu Espaço

Atmospheric methane: its role in the global environment

Khalil, Mohammad Aslam Khan

Springer 2014

Texto completo disponível

Citações Citado por
8
Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001 : proceedings
Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001 : proceedings

Boulton, Richard J ; Jackson, Paul B

Springer 2014

Texto completo disponível

Citações Citado por
9
Theorem proving in Higher Order Logics
Theorem proving in Higher Order Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in Higher Order Logics

Bertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, Laurent

Springer 2014

Texto completo disponível

Citações Citado por
10
Coordination languages and models: 4th international conference, Coordination 2000, Limassol Cyprus, September 11-13, 2000 : proceedings
Coordination languages and models: 4th international conference, Coordination 2000, Limassol Cyprus, September 11-13, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination languages and models: 4th international conference, Coordination 2000, Limassol Cyprus, September 11-13, 2000 : proceedings

Porto, Antonio ; Roman, Gruia-Catalin

Springer 2014

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.   

Mostrar Somente

  1. Revistas revisadas por pares (351)

Data de Publicação 

De até
Refinar
  1. Antes de1961  (34)
  2. 1961Até1974  (277)
  3. 1975Até1988  (1.722)
  4. 1989Até2003  (4.113)
  5. Após 2003  (2.199)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.768)
  2. Japonês  (115)
  3. Alemão  (30)
  4. Francês  (6)
  5. Russo  (4)
  6. Espanhol  (2)
  7. Italiano  (1)
  8. Latim  (1)
  9. Tcheco  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.