Publications [2016]

Total number of titles in 2016: 53

Alphabetical list of 30 titles starting from: 51

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 1Letter I, page 1Letter J, page 1Letter K, page 1Letter L, page 1Letter M, page 1Letter N, page 1Letter O, page 1Letter P, page 2Letter Q, page 2Letter R, page 2Letter S, page 2Letter T, page 2Letter U, page 2Letter V, page 2Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 53 records, displayed 51 - 53

 

ŠTILL, Vladimír - ROČKAI, Petr - BARNAT, Jiří.
Weak Memory Models as LLVM-to-LLVM Transformations. In Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-29816-0, pp. 144-155. 2015, Telč, Česká republika.


more

 

KUČERA, Tomáš.
Zahrada světla. 2016.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 53 records, displayed 51 - 53