skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: SpringerLink Books Lecture Notes in Computer Science Archive remover 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: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Hunt, Warren A. Jr ; Johnson, Steven D Johnson, Steven D. ; Hunt, Warren A.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
2
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam ; Camilleri, Albert Srivas, Mandayam ; Camilleri, Albert

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
3
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Margaria, Tiziana ; Melham, Tom Melham, Tom ; Margaria, Tiziana

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
4
Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings
Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings

Sriram, Duvvuru ; Logcher, Robert ; Fukuda, Shuichi Fukuda, Shuichi ; Logcher, Robert ; Sriram, Duvvuru

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
5
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings

Gopalakrishnan, Ganesh ; Windley, Phillip Gopalakrishnan, Ganesh ; Windley, Phillip

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
6
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
7
Field-Programmable Logic Architectures, Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7–9, 1994 Proceedings
Field-Programmable Logic Architectures, Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7–9, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Field-Programmable Logic Architectures, Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7–9, 1994 Proceedings

Hartenstein, Reiner W ; Servít, Michal Z Hartenstein, Reiner W. ; Servít, Michal Z.

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
8
Field-Programmable Logic and Applications: 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings
Field-Programmable Logic and Applications: 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Field-Programmable Logic and Applications: 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings

Moore, Will ; Luk, Wayne Luk, Wayne ; Moore, Will

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
9
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

Geist, Daniel ; Tronci, Enrico Geist, Daniel ; Tronci, Enrico

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
10
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Hu, Alan J ; Martin, Andrew K Martin, Andrew K. ; Hu, Alan J.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

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.   

Data de Publicação 

De até
Refinar
  1. Antes de1986  (7)
  2. 1986Até1990  (17)
  3. 1991Até1995  (66)
  4. 1996Até2001  (295)
  5. Após 2001  (717)
  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.