skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
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
Contracts for System Design
Contracts for System Design
Material Type:
Livro 		Adicionar ao Meu Espaço

Contracts for System Design

Benveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.

Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
2
Green Energy Audit of Buildings: A guide for a sustainable energy audit of buildings
Green Energy Audit of Buildings: A guide for a sustainable energy audit of buildings
Material Type:
Livro 		Adicionar ao Meu Espaço

Green Energy Audit of Buildings: A guide for a sustainable energy audit of buildings

Dall'O', Giuliano

London: Springer Nature 2013

Texto completo disponível

Citações Citado por
3
Wearing Embodied Emotions: A Practice Based Design Research on Wearable Technology
Wearing Embodied Emotions: A Practice Based Design Research on Wearable Technology
Material Type:
Livro 		Adicionar ao Meu Espaço

Wearing Embodied Emotions: A Practice Based Design Research on Wearable Technology

Uğur, Seçil

Milano: Springer Milan 2013

Texto completo disponível

Citações Citado por
4
A Survey of Value Sensitive Design Methods
A Survey of Value Sensitive Design Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

A Survey of Value Sensitive Design Methods

Friedman, Batya ; Hendry, David G. ; Borning, Alan

Foundations and trends in human-computer interaction, 2017, Vol.11 (2), p.63-125 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
5
FPGA design automation: a survey
FPGA design automation: a survey
Material Type:
Livro 		Adicionar ao Meu Espaço

FPGA design automation: a survey

Chen, Deming ; Cong, Jason ; Pan, Peichen

Foundations and trends in electronic design automation, 2006, Vol.1 (3), p.195-330 [Periódico revisado por pares]

Hanover, Mass: Now Publishers

Texto completo disponível

Citações Citado por
6
The Proper Generalized Decomposition for Advanced Numerical Simulations: A Primer
The Proper Generalized Decomposition for Advanced Numerical Simulations: A Primer
Material Type:
Livro 		Adicionar ao Meu Espaço

The Proper Generalized Decomposition for Advanced Numerical Simulations: A Primer

Chinesta, Francisco ; Keunings, Roland ; Leygue, Adrien

Cham: Springer International Publishing AG 2014

Texto completo disponível

Citações Citado por
7
FPGA architecture: survey and challenges
FPGA architecture: survey and challenges
Material Type:
Livro 		Adicionar ao Meu Espaço

FPGA architecture: survey and challenges

Kuon, Ian Carlos ; Tessier, Russell G ; Rose, Jonathan Scott

Foundations and trends in electronic design automation, 2008, Vol.2 (2), p.135-253 [Periódico revisado por pares]

Hanover, Mass: Now Publishers

Texto completo disponível

Citações Citado por
8
Technology, Design and the Arts - Opportunities and Challenges
Technology, Design and the Arts - Opportunities and Challenges
Material Type:
Livro 		Adicionar ao Meu Espaço

Technology, Design and the Arts - Opportunities and Challenges

Liggett, Susan ; Thalmann, Daniel ; Earnshaw, Rae ; Excell, Peter

Springer Nature 2020

Texto completo disponível

Citações Citado por
9
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
10
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
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 de1989  (16)
  2. 1989Até1996  (116)
  3. 1997Até2004  (535)
  4. 2005Até2013  (496)
  5. Após 2013  (148)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.