1
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2013
İçindekiler: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Tam Metin Erişim
Elektronik Ekitap