The Pi-Calculus : A Theory of Mobile Processes
  • 洋書

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

Sangiorgi, Davide/ Walker, David

  • ウェブストア価格 ¥18,550(本体¥16,864)
  • Cambridge University Press(2003/10発売)
  • ポイント 168pt
  • 海外取次在庫
Introduction to Bisimulation and Coinduction
  • 洋書

Introduction to Bisimulation and Coinduction  Hardcover,  言語:ENG

Sangiorgi, Davide

  • ウェブストア価格 ¥25,752(本体¥23,411)
  • Cambridge University Press(2011/10発売)
  • ポイント 234pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥32,299(本体¥29,363)
  • Cambridge University Press(2011/10発売)
  • ポイント 293pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc(2006/02発売)
  • ポイント 109pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。