|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990001130060403321 |
|
|
Autore |
Barendregt, H. P. |
|
|
Titolo |
The Lamda calculus : its syntax and semantics / by BARENDREGT |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam [etc.] : North-Holland, 1981 |
|
|
|
|
|
|
|
Collana |
|
Studies in logic and the foundations of mathematics ; 103 |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910711949303321 |
|
|
Autore |
Paret Paul |
|
|
Titolo |
Thermal and thermomechanical modeling to design a gallium oxide power electronics package / / Paul Paret [and ten others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Golden, CO : , : National Renewable Energy Laboratory, , 2019 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (8 pages) : color illustrations |
|
|
|
|
|
|
Collana |
|
Conference paper NREL/CP ; ; 5400-72291 |
|
|
|
|
|
|
Soggetti |
|
Power electronics |
Finite element method |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"February 2019." |
"NREL is a national laboratory of the U.S. Department of Energy, Office of Energy Efficiency & Renewable Energy, Operated by the Alliance for Sustainable Energy, LLC." |
"Presented at the 6th IEEE Workshop on Wide Bandgap Power Devices and Applications (WiPDA 2018) Atlanta, Georgia, October 31 - November 2, 2018." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 8). |
|
|
|
|
|