Model Driven Architecture

Model Checking Software

Mathematical Foundations of Computer Science 2005

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

Hasil Pencarian


Ditemukan 118 dari pencarian Anda melalui kata kunci: subject="MEANING"
Permintaan membutuhkan 0.13324 detik untuk selesai
XML ResultJSON Result

Informasi


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