Yazar
Giese, Holger. editor.
Format:
Electronic Resources
Alıntı:
Data structures (Computer science).
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Data Structures, Cryptology and Information Theory.
View Other Search Results
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
and explanation; verification frameworks and applications; hypervisors and dynamic data structures
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
: sampling and randomized methods; logic, algebra and automata; database and data structures; parameterized
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How to
Yazar
Gnesi, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data Structures
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
-- Automatic Atomicity Verification for Clients of Concurrent Data Structures -- Regression-Free Synthesis for
Arama Sonuçlarını Sınırlandır
Daraltılmış: