Advanced Functional Programming

Advanced Distributed Systems

Adapting Proofs-as-Programs

Abstraction, Refinement and Proof for Probabilistic Systems

Component-Based Software Development for Embedded Systems

Component Deployment

Financial Cryptography and Data Security

Logic Programming

Hasil Pencarian


Ditemukan 1072 dari pencarian Anda melalui kata kunci: subject="OPERA"
Permintaan membutuhkan 0.26606 detik untuk selesai
XML ResultJSON Result

Informasi


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