Hybrid Systems: Computation and Control

Theorem Proving in Higher Order Logics

Typed Lambda Calculi and Applications

Formal Modeling and Analysis of Timed Systems

Software Composition

Implementation and Application of Functional Languages

Static Analysis

Theoretical Aspects of Computing - ICTAC 2005

Formal Methods for Components and Objects

Integrated Formal Methods

Hasil Pencarian


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

Informasi


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