沉思录 中文导读 英文版
- 作者（古罗马）马可.奥勒留著；页贝等译
- 出版社北京：清华大学出版社
- 标注页数212 页
- 文件页数228 页
- 文件大小34.55 MB
- 出版时间2014
- ISBN9787302376200
Guest editorialBengt Jonsson; Joachim Parrow; Björn Pehrson · 1993
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || SProc categoricallyJonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Geometry of interaction (abstract)Jonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Hierarchical models of synchronous circuitsJonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || The observational power of clocksJonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Trace refinement of action systemsJonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Process algebra with partial choiceJonsson, Bengt; Parrow, Joachim · 1994
[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Probabilistic simulations for probabilistic processesJonsson, Bengt; Parrow, Joachim · 1994