Introduction to Bisimulation and Coinduction
  • 洋書

Introduction to Bisimulation and Coinduction  Hardcover,  言語:ENG

Sangiorgi, Davide

  • ウェブストア価格 ¥24,422(本体¥22,202)
  • Cambridge University Press(2011/10発売)
  • ポイント 222pt
  • 海外取次在庫
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)  Hardcover,  言語:ENG

Sangiorgi, Davide (EDT)/ Rutten, Jan (EDT)

  • ウェブストア価格 ¥30,631(本体¥27,847)
  • Cambridge University Press(2011/10発売)
  • ポイント 278pt
  • 海外取次在庫
The Pi-Calculus : A Theory of Mobile Processes
  • 洋書

The Pi-Calculus : A Theory of Mobile Processes  Paperback,  言語:ENG

Sangiorgi, Davide/ Walker, David

  • ウェブストア価格 ¥17,592(本体¥15,993)
  • Cambridge University Press(2003/10発売)
  • ポイント 159pt
  • 海外取次在庫
Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback

Diaz, Josep (EDT)/ Lanese, Ivan (EDT)/ Sangiorgi, Davide (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trustworthy Global Computing : International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005 (Lecture Notes in Computer Science) (REVISED)
  • 洋書

Trustworthy Global Computing : International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005 (Lecture Notes in Computer Science) (REVISED)  Paperback,  言語:ENG

De Nicola, Rocco/ Sangiorgi, Davide/ Tgc 200 (2005 Edinburgh, Scotland

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag New York Inc(2006/02発売)
  • ポイント 103pt
  • 海外取次在庫