Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics
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
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: