Advanced Functional Programming

Adaptive Agents and Multi-Agent Systems II

Adapting Proofs-as-Programs

Abstraction, Refinement and Proof for Probabilistic Systems

Component-Based Software Development for Embedded Systems

Component Deployment

Compiler Construction

Formal Approaches to Software Testing

Hasil Pencarian


Ditemukan 324 dari pencarian Anda melalui kata kunci: subject="AMMI"
Permintaan membutuhkan 0.19369 detik untuk selesai
XML ResultJSON Result

Informasi


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