1
Publicerad 2013
Innehållsförteckning: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
Hämta fulltext
Elektronisk E-bok