yr 〜
yr

Search results 2

Web services and formal methods : 6th international workshop, WS-FM 2009 : Bologna, Italy, September 4-5, 2009 : revised selected papers. : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 6194)

Web services and formal methods : 6th international workshop, WS-FM 2009 : Bologna, Italy, September 4-5, 2009 : revised selected papers. : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 6194)
Paper図書
Springerc2010.<M17-10-4273>
National Diet Library
  • Author HeadingLaneve, Cosimo, 1962- Su, Jianwen. WS-FM 2009 (2009...

Theoretical computer science : 8th Italian conference, ICTCS 2003 : Bertinoro, Italy, October 13-15, 2003 : proceedings. : Oct 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2841)

Theoretical computer science : 8th Italian conference, ICTCS 2003 : Bertinoro, Italy, October 13-15, 2003 : proceedings. : Oct 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2841)
Paper図書
Springer-Verlagc2003.<M17-04-978>
National Diet Library
  • Author HeadingBlundo, Carlo, 1968- Laneve, Cosimo, 1962- ICTCS 2003 (2003 : Bertinoro,...

Reached to the end of result.