Jump to main content

yr 〜
yr

Search results 2

Communicating sequential processes : the first 25 years : symposium on the occasion of 25 years of CSP : London, UK, July 7-8, 2004 : revised invited papers. : Jul 2004, London, UK. (Lecture Notes in Computer Science ; 3525. Festschrift)

Communicating sequential processes : the first 25 years : symposium on the occasion of 25 years of CSP : London, UK, July 7-8, 2004 : revised invited papers. : Jul 2004, London, UK. (Lecture Notes in Computer Science ; 3525. Festschrift)
Paper図書
Springerc2005.<M17-05-1734>
National Diet Library
  • Author HeadingBritish Computer Society. Formal Aspects of Computing Science Specialist Group.

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers. : Dec 2002, London, UK. (Lecture Notes in Computer Science ; 2629)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers. : Dec 2002, London, UK. (Lecture Notes in Computer Science ; 2629)
Paper図書
Springer-Verlagc2003.<M17-04-2991>
National Diet Library
  • Author HeadingBritish Computer Society. Formal Aspects of Computing Science Specialist Group. Abdallah, Ali E., 1957- Ryan,...

Reached to the end of result.

RSS