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 13 dari pencarian Anda melalui kata kunci: subject="LOGIC DESIGN"
Permintaan membutuhkan 0.13063 detik untuk selesai
XML ResultJSON Result

Informasi


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