Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
and tree transducers, architecture of oritatami systems, intruder deduction problem, context sensitive
View Other Search Results
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis
Arama Sonuçlarını Sınırlandır
Daraltılmış: