Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
View Other Search Results
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
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