• Sangiorgi, Davide,国内・海外在庫あり

    による検索結果
  • 1件〜5件(全5件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

Introduction to Bisimulation and Coinduction

Sangiorgi, Davide
出版社:Cambridge University Press 出版年月:2011年 10月
装丁:HRD 言語:ENG
税込価格:

25,840円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Advanced Topics in Bisimulation and Coinduction

Cambridge Tracts in Theoretical Computer Science

Sangiorgi, Davide (EDT) Rutten, Jan (EDT)
出版社:Cambridge University Press 出版年月:2011年 10月
装丁:HRD 言語:ENG
税込価格:

35,494円

海外在庫あり 通常2~5週間で出荷
書籍表紙

The Pi-Calculus

A Theory of Mobile Processes

Sangiorgi, Davide Walker, David
出版社:Cambridge University Press 出版年月:2003年 10月
装丁:PAP 言語:ENG
税込価格:

19,925円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Theoretical Computer Science

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8705

Herausgegeben von Diaz, Josep Lanese, Ivan Sangiorgi, Davide
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月:2014年 08月
装丁:PAP 版次:2014. 2014. xvi
税込価格:

12,318円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Theoretical Computer Science and General Issues

De Nicola, Rocco Sangiorgi, Davide Tgc 200 (2005 Edinburgh, Scotland
出版社:Springer-Verlag New York Inc 出版年月:2006年 02月
装丁:PAP 言語:ENG 版次:REVISED
税込価格:

12,318円

海外在庫あり 通常2~5週間で出荷