Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Rival, Xavier. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
View Other Search Results
Yazar
Probst, Christian W. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Checking of Fault-Tolerant Distributed Algorithms -- Applying MDA to Generate Hadoop Based Scientific
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
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a
Arama Sonuçlarını Sınırlandır
Daraltılmış: