Jump to main content

yr 〜
yr

Search results 5

Advanced lectures on software engineering : LASER summer school 2007/2008. : 2007 summer school on applied software verification : 2008 summer school on concurrency and correctness : ------. (Lecture Notes in Computer Science ; 6029. Tutorial)

Advanced lectures on software engineering : LASER summer school 2007/2008. : 2007 summer school on applied software verification : 2008 summer school on concurrency and correctness : ------. (Lecture Notes in Computer Science ; 6029. Tutorial)
Paper図書
Springerc2010.<M17-10-3118>
National Diet Library
  • Subject HeadingSoftware enginnering -- Congresses. Software Engineering. Programmverifikation. Nebenläufigkeit.

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)
Paper図書
Springerc2009.<M17-10-1709>
National Diet Library
  • Subject Heading...Bologna <2009> Nebenläufigkeit. Bologna (2009) Kongress.

Coordination models and languages : 12th international conference, COORDINATION 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : DisCoTec : IFIP federated event on distributed computing techniques : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6116)

Coordination models and languages : 12th international conference, COORDINATION 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : DisCoTec : IFIP federated event on distributed computing techniques : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6116)
Paper図書
Springerc2010.<M17-10-3358>
National Diet Library
  • Subject Heading...eiltes System. Nebenläufigkeit. Mobile Computing. Amsterdam <...

Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium : Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings. : Aug 2009, Kuala Lumpur, Malaysia. (Lecture Notes in Computer Science ; 5684)

Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium : Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings. : Aug 2009, Kuala Lumpur, Malaysia. (Lecture Notes in Computer Science ; 5684)
Paper図書
Springerc2009.<M17-10-1546>
National Diet Library

Concurrent zero-knowledge : with additional background by Oded Goldreich/ Alon Rosen

Concurrent zero-knowledge : with additional background by Oded Goldreich/ Alon Rosen
Paper図書
Springerc2006
Other Libraries in Japan

Reached to the end of result.

RSS