Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2014]<M17-15-1486>
National Diet Library
  • Author Heading... 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)
Paper図書
Springerc2005.<M17-06-732>
National Diet Library
  • Author HeadingDe Nicola, Rocco. Sangiorgi, Davide. International Workshop on Tr...

Introduction to bisimulation and coinduction : hardback

Introduction to bisimulation and coinduction : hardback
Paper図書
Davide SangiorgiCambridge University Press2012
Other Libraries in Japan
  • Author HeadingSangiorgi, Davide

Advanced topics in bisimulation and coinduction : Hardback

Advanced topics in bisimulation and coinduction : Hardback
Paper図書
edited by Davide Sangiorgi, Jan RuttenCambridge University Press2012
Other Libraries in Japan
  • Author HeadingSangiorgi, Davide Rutten, J. J. M. M.

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

The π-calculus : a theory of mobile processes : pbk
Paper図書
Davide Sangiorgi, David WalkerCambridge University Press2003, c2001
Other Libraries in Japan
  • Author HeadingSangiorgi, Davide Walker, David

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
Paper図書
Rocco De Nicola, Davide Sangiorgi (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Workshop on Trustworthy Global Computing De Nicola, Rocco Sangiorgi, Davide

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

The π-calculus : a theory of mobile processes : hard pbk
Paper図書
Davide Sangiorgi, David WalkerCambridge University Press2001
Other Libraries in Japan
  • Author HeadingSangiorgi, Davide Walker, David

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
Paper図書
Davide Sangiorgi, Robert de Simone (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Sangiorgi, Davide Simone, Robert de

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

Expressing mobility in process algebras : first-order and higher-order paradigms
Paper図書
Davide SangiorgiUniversity of Edinburgh, Department of Computer Science1993
Other Libraries in Japan
  • Author HeadingSangiorgi, Davide

Reached to the end of result.

RSS