Advanced Functional Programming

Adapting Proofs-as-Programs

Abstraction, Refinement and Proof for Probabilistic Systems

Component Deployment

FM 2005: Formal Methods

Extreme Programming and Agile Processes in Software Engineering

Logic Programming and Nonmonotonic Reasoning

Logic Programming

Hasil Pencarian


Ditemukan 394 dari pencarian Anda melalui kata kunci: subject="IQ"
Permintaan membutuhkan 0.19353 detik untuk selesai
XML ResultJSON Result

Informasi


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