Full Description
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The papers are organized in topical sections on modeling formalisms for concurrent systems; probabilistic models for concurrency;
-
- 電子書籍
- 孤高のぼっち令嬢は初恋王子にふられたい…
-
- 電子書籍
- 小さき天使の訪れ〈愛しの億万長者Ⅱ〉【…
-
- 電子書籍
- どうやらボクの花嫁は女騎士団なようで。…
-
- 電子書籍
- 異世界魔王は腐女子を絶対逃がさない【マ…



