Arama Sonuçları - variations computation concurrent programming ((array string) OR (array processing))

Şunu mu demek istediniz:
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

Kapak Resmi

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...”
Tam Metin Erişim

Elektronik Ekitap