Dependable Computing

Andrade, Aline Maria Santos. - Assis Silva, Flávio Morais de. - Maziero, Carlos Alberto. - Silva, João Gabriel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

New Algorithms, Architectures and Applications for Reconfigurable Computing

Lysaght, Patrick. - Rosenstiel, Wolfgang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Cryptographic Hardware and Embedded Systems - CHES 2005

Rao, Josyula R. - Sunar, Berk.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Taxonomies for the Development and Verification of Digital Systems

Anderson, Thomas. - Bailey, Brian. - Martin, Grant.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Computer Aided Verification

Etessami, Kousha. - Rajamani, Sriram K.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Advances in Computer Systems Architecture

Chang, Chip-Hong. - Srikanthan, Thambipillai. - Xue, Jingling.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Adapting Proofs-as-Programs

Crossley, John N. - Poernomo, Iman. - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Evolvable Systems: From Biology to Hardware

Cosp, Jordi. - Madrenas, Jordi. - Moreno, J. Manuel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Job Scheduling Strategies for Parallel Processing

Feitelson, Dror. - Rudolph, Larry. - Schwiegelshohn, Uwe. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

High Performance Embedded Architectures and Compilers

Conte, Tom. - Hwu, Wen-mei W. - Navarro, Nacho. - SpringerLink (Online service) - Ungerer, Theo. - Valero, Mateo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 12 dari pencarian Anda melalui kata kunci: subject="Logic design."
Permintaan membutuhkan 0.11972 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog