年 〜
年

検索結果 9 件

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)
紙図書
Springer[2014]<M17-15-1486>
国立国会図書館
  • 著者標目... Lanese, Ivan. Sangiorgi, Davide.

Trustworthy global computing : international symposium, TGC 2005 : Edinburgh, UK, April 7-9, 2005 : revised selected papers. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3705)

Trustworthy global computing : international symposium, TGC 2005 : Edinburgh, UK, April 7-9, 2005 : revised selected papers. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3705)
紙図書
Springerc2005.<M17-06-732>
国立国会図書館
  • 著者標目De Nicola, Rocco. Sangiorgi, Davide. International Workshop on Tru...

Introduction to bisimulation and coinduction : hardback

Introduction to bisimulation and coinduction : hardback
紙図書
Davide SangiorgiCambridge University Press2012
全国の図書館

Advanced topics in bisimulation and coinduction : Hardback

Advanced topics in bisimulation and coinduction : Hardback
紙図書
edited by Davide Sangiorgi, Jan RuttenCambridge University Press2012
全国の図書館

The π-calculus : a theory of mobile processes : pbk

The π-calculus : a theory of mobile processes : pbk
紙図書
Davide Sangiorgi, David WalkerCambridge University Press2003, c2001
全国の図書館

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
紙図書
Rocco De Nicola, Davide Sangiorgi (eds.)Springerc2005
全国の図書館

The π-calculus : a theory of mobile processes : hard pbk

The π-calculus : a theory of mobile processes : hard pbk
紙図書
Davide Sangiorgi, David WalkerCambridge University Press2001
全国の図書館

CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings

CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
紙図書
Davide Sangiorgi, Robert de Simone (eds.)Springerc1998
全国の図書館

Expressing mobility in process algebras : first-order and higher-order paradigms

Expressing mobility in process algebras : first-order and higher-order paradigms
紙図書
Davide SangiorgiUniversity of Edinburgh, Department of Computer Science1993
全国の図書館

検索結果は以上です。