Dependable Computing

Taxonomies for the Development and Verification of Digital Systems

Computer Aided Verification

Advances in Computer Systems Architecture

Adapting Proofs-as-Programs

Evolvable Systems: From Biology to Hardware

Job Scheduling Strategies for Parallel Processing

High Performance Embedded Architectures and Compilers

Hasil Pencarian


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

Informasi


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