12
1
10
Dependable Computing
Maziero, Carlos Alberto.
Editor
Silva, João Gabriel.
Editor
Andrade, Aline Maria Santos.
Editor
Assis Silva, Flávio Morais de.
Editor
mixed material
9783540320920
Berlin, Heidelberg
Springer
2005
New Algorithms, Architectures and Applications for Reconfigurable Computing
Lysaght, Patrick.
Additional Author
Rosenstiel, Wolfgang.
Additional Author
mixed material
9781402031281
Boston, MA
Springer
2005
Cryptographic Hardware and Embedded Systems - CHES 2005
Rao, Josyula R.
Editor
Sunar, Berk.
Editor
mixed material
9783540319405
Berlin, Heidelberg
Springer
2005
Taxonomies for the Development and Verification of Digital Systems
Martin, Grant.
Additional Author
Bailey, Brian.
Additional Author
Anderson, Thomas.
Additional Author
mixed material
9780387240213
Boston, MA
Springer
2005
Computer Aided Verification
Etessami, Kousha.
Editor
Rajamani, Sriram K.
Editor
mixed material
9783540316862
Berlin, Heidelberg
Springer
2005
Advances in Computer Systems Architecture
Srikanthan, Thambipillai.
Editor
Xue, Jingling.
Editor
Chang, Chip-Hong.
Editor
mixed material
9783540321088
Berlin, Heidelberg
Springer
2005
Adapting Proofs-as-Programs
Poernomo, Iman.
Primary Author
Crossley, John N.
Additional Author
Wirsing, Martin.
Additional Author
mixed material
9780387281834
2005
Evolvable Systems:
From Biology to Hardware
Moreno, J. Manuel.
Editor
Madrenas, Jordi.
Editor
Cosp, Jordi.
Editor
mixed material
9783540287377
Berlin
Springer
2005
Job Scheduling Strategies for Parallel Processing
SpringerLink (Online service)
Additional Author
Feitelson, Dror.
Additional Author
Rudolph, Larry.
Additional Author
Schwiegelshohn, Uwe.
Additional Author
mixed material
9783540317951
High Performance Embedded Architectures and Compilers
SpringerLink (Online service)
Additional Author
Conte, Tom.
Additional Author
Navarro, Nacho.
Additional Author
Hwu, Wen-mei W.
Additional Author
Valero, Mateo.
Additional Author
Ungerer, Theo.
Additional Author
mixed material
9783540322726