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
Refinado por: tipo de recurso: Livros remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings

Aagaard, Mark D ; O'Leary, John W Aagaard, Mark D. ; O’Leary, John W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
2
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings

Aagaard, Mark ; Harrison, John Harrison, John ; Aagaard, Mark

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
3
Ambient Intelligence: First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3. -4, 2003, Proceedings
Ambient Intelligence: First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3. -4, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Ambient Intelligence: First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3. -4, 2003, Proceedings

Aarts, Emile ; Collier, René ; van Loenen, Evert ; Ruyter, Boris de van Loenen, Evert ; de Ruyter, Boris ; Aarts, Emile ; Collier, René W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

Aarts, Emile H. L ; Leeuwen, Jan van ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
5
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Abadi, Martín ; Ito, Takayasu Ito, Takayasu ; Abadi, Martín

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
6
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Fetter, Mirko ; Gross, Tom ; Barbosa, Simone ; Palanque, Philippe ; Winckler, Marco ; Abascal, Julio

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
7
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Winckler, Marco ; Fetter, Mirko ; Abascal, Julio ; Barbosa, Simone ; Gross, Tom ; Palanque, Philippe

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
8
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Winckler, Marco ; Fetter, Mirko ; Abascal, Julio ; Barbosa, Simone ; Gross, Tom ; Palanque, Philippe

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
9
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco Winckler, Marco ; Fetter, Mirko ; Abascal, Julio ; Barbosa, Simone ; Gross, Tom ; Palanque, Philippe

Cham: Springer International Publishing AG 2015

Texto completo disponível

Citações Citado por
10
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Abdallah, Ali E ; Ryan, Peter ; Schneider, Steve Abdallah, Ali E. ; Ryan, Peter ; Schneider, Steve

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1984  (15)
  2. 1984Até1992  (118)
  3. 1993Até2001  (1.283)
  4. 2002Até2011  (2.825)
  5. Após 2011  (447)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (29)
  2. Espanhol  (8)
  3. Alemão  (4)
  4. Francês  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.