Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Daydé, Michel. editor.
Format:
Electronic Resources
Alıntı:
Algorithms for GPU and Many cores -- Large-Scale Applications -- Numerical Algorithms -- Direct
View Other Search Results
Yazar
Duval, Béatrice. editor.
Format:
Electronic Resources
Alıntı:
Algorithms Guided by Structural Knowledge -- Activity Recognition for Dogs based on Time-series Data Analysis
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and
Arama Sonuçlarını Sınırlandır
Daraltılmış: