Developments in Language Theory

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods and Software Engineering

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

Hasil Pencarian


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

Informasi


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