ZB 2005: Formal Specification and Development in Z and B

Formal Methods for Mobile Computing

Implementation of Functional Languages

Computer Science Logic

Global Optimization and Constraint Satisfaction

Theoretical Computer Science

Formal Techniques for Computer Systems and Business Processes

Inconsistency Tolerance

Theoretical Aspects of Computing - ICTAC 2004

Hasil Pencarian


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

Informasi


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