Adaptive and Natural Computing Algorithms

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 Concept Analysis

Formal Aspects in Security and Trust

Hasil Pencarian


Ditemukan 595 dari pencarian Anda melalui kata kunci: subject="SOFTWARE"
Permintaan membutuhkan 0.18891 detik untuk selesai
XML ResultJSON Result

Informasi


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