Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and
View Other Search Results
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique for
Arama Sonuçlarını Sınırlandır
Daraltılmış: