Εναλλακτικές αναζητήσεις:
variations computation » formations computation, equations computation, variation mutation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent programming » constraint programming, concurrent programs
array processing » dairy processing, query processing
array string » array strong, arrays strings, array sharing
1
Έκδοση 2014
Πίνακας περιεχομένων: ... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο