Component-Based Software Engineering

Adaptive Agents and Multi-Agent Systems II

Adapting Proofs-as-Programs

Abstraction, Reformulation and Approximation

Abstraction, Refinement and Proof for Probabilistic Systems

Component Deployment

Compiler Construction

Hasil Pencarian


Ditemukan 122 dari pencarian Anda melalui kata kunci: subject="PROGRAMS"
Permintaan membutuhkan 0.11763 detik untuk selesai
XML ResultJSON Result

Informasi


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