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 320 dari pencarian Anda melalui kata kunci: subject="PROGRAMMING"
Permintaan membutuhkan 0.12997 detik untuk selesai
XML ResultJSON Result

Informasi


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