Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Temperature-Aware Design and Management for 3D Multi-Core ArchitecturesSabry, Mohamed M. ; Atienza, DavidFoundations and trends in electronic design automation, 2014, Vol.8 (2), p.117-197 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
12 |
Material Type: Livro
|
![]() |
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 ProceedingsMargaria, Tiziana ; Melham, Tom Melham, Tom ; Margaria, TizianaBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
13 |
Material Type: Livro
|
![]() |
10 Lenses to Design Sports-HCIMueller, Florian ; Young, DamonFoundations and trends in human-computer interaction, 2018, Vol.12 (3), p.172-237 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
14 |
Material Type: Livro
|
![]() |
Computer-Aided Cooperative Product Development: MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 ProceedingsSriram, Duvvuru ; Logcher, Robert ; Fukuda, Shuichi Fukuda, Shuichi ; Logcher, Robert ; Sriram, DuvvuruBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised PapersMoreno-Diaz, Roberto ; Buchberger, Bruno ; Freire, Jose-Luis Luis Freire, José ; Moreno-Díaz, Roberto ; Buchberger, BrunoBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Brain-Inspired Computing: Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected PapersAmunts, Katrin ; Grandinetti, Lucio ; Lippert, Thomas ; Petkov, Nicolai Amunts, Katrin ; Lippert, Thomas ; Petkov, Nicolai ; Grandinetti, Lucio ; Amunts, Katrin ; Petkov, Nicolai ; Grandinetti, Lucio ; Lippert, ThomasCham: Springer Nature 2016Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
LifeLogging: Personal Big DataGurrin, Cathal ; Smeaton, Alan F. ; Doherty, Aiden R.Foundations and trends in information retrieval, 2014, Vol.8 (1), p.1-125 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
18 |
Material Type: Livro
|
![]() |
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, ProceedingsDevitt, Simon ; Lanese, Ivan Lanese, Ivan ; Devitt, Simon ; Lanese, Ivan ; Devitt, SimonCham: Springer Nature 2016Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
A Clean Slate Approach to Secure Wireless NetworkingPonniah, Jonathan ; Hu, Yih-Chun ; Kumar, P. R.Foundations and trends in networking, 2015, Vol.9 (1), p.1-105 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
20 |
Material Type: Livro
|
![]() |
Integrated Modeling for Location AnalysisMak, Ho-Yin ; Shen, Zuo-Jun MaxFoundations and trends in technology, information, and operations management, 2016, Vol.9 (1-2), p.1-152 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |