yr 〜
yr

Search results 4

CONCUR 2003 -- concurrency theory : 14th international conference : Marseille, France, September 3-5, 2003 : proceedings. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2761)

CONCUR 2003 -- concurrency theory : 14th international conference : Marseille, France, September 3-5, 2003 : proceedings. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2761)
Paper図書
Springerc2003.<M17-04-952>
National Diet Library
  • Author HeadingUniversite de Provence. Amadio, Roberto M. Lugiez, Denis. Laboratoire d'...

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
Paper図書
Roberto Amadio (ed.)Springerc2008
Other Libraries in Japan
  • Author HeadingFOSSACS 2008 (2008 : Budapest, Hungary) Amadio, Roberto M. ETAPS 2008 (2008 : Budapest, ...

CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings

CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings
Paper図書
Roberto Amadio, Denis Lugiez (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Amadio, Roberto M. Lugiez, Denis

Domains and lambda-calculi : hardback : pbk

Domains and lambda-calculi : hardback : pbk
Paper図書
Roberto M. Amadio, Pierre-Louis CurienCambridge University Press1998
Other Libraries in Japan
  • Author HeadingAmadio, Roberto M. Curien, Pierre-Louis

Reached to the end of result.