Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Digital Design and Computer ArchitectureHarris, David ; Harris, Sarah LSan Francisco, Calif: Elsevier 2007Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSetKołodziej, Joanna ; González-Vélez, Horacio Kołodziej, Joanna ; González-Vélez, HoracioNetherlands: Springer Nature 2019Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 ProceedingsSoudris, Dimitrios ; Pirsch, Peter ; Barke, Erich Pirsch, Peter ; Barke, Erich ; Soudris, DimitriosBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Hybrid Systems IIAntsaklis, Panos ; Kohn, Wolf ; Nerode, Anil ; Sastry, Shankar Antsaklis, Panos ; Sastry, Shankar ; Kohn, Wolf ; Nerode, AnilBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOSDeprettere, Ed F ; Vassiliadis, Stamatis Deprettere, Ed F ; Vassiliadis, Stamatis ; Vassiliadis, Stamatis ; Deprettere, Ed F. ; Teich, JürgenBerlin, Heidelberg: Springer Nature 2003Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Hybrid Systems III: Verification and ControlAlur, Rajeev ; Henzinger, Thomas A ; Sontag, Eduardo D Alur, Rajeev ; Henzinger, Thomas A. ; Sontag, Eduardo D.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. ProceedingsChico, Jorge Juan ; Macii, Enrico Macii, Enrico ; Chico, Jorge JuanBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Job Scheduling Strategies for Parallel Processing: IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 ProceedingsFeitelson, Dror G ; Rudolph, Larry Rudolph, Larry ; Feitelson, Dror G.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Digital logic design and computer organization with computer architecture for securityFaroughi, NikrouzNew York, N.Y: McGraw-Hill Education 2015Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 ProceedingsSnepscheut, J. L. A. van de van de Snepscheut, J. L. A.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |