Roderick Bloemのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Roderick Bloem · Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory (Paperback Book) (2015)

Decidability of Parameterized Ve... (2015)

Cover for Roderick Bloem · Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2013)

Trusted Systems: 5th Internation... (2013)