Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- Reasoning about call-by-need by means of types -- Algorithms for Infinite Systems Coverability Trees for
Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
Behavioral Types -- Temporary Read-Only Permissions for Separation Logic -- Faster Algorithms for Weighted
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a
Yazar
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: