本文に飛ぶ

年 〜
年

検索結果 2 件

Trust and trustworthy computing : 6th international conference, TRUST 2013 : London, UK, June 17-19, 2013 : proceedings : Jun 2013, London, UK. (Lecture Notes in Computer Science ; 7904)

Trust and trustworthy computing : 6th international conference, TRUST 2013 : London, UK, June 17-19, 2013 : proceedings : Jun 2013, London, UK. (Lecture Notes in Computer Science ; 7904)
紙図書
Springerc2013.<M17-13-3374>
国立国会図書館
  • 著者標目...ndon, England) Huth, Michael, 1962- Asokan, N. Čapkun, Srdjan. Fl...

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)
紙図書
Springerc2007.<M17-07-1267>
国立国会図書館
  • 著者標目...rumberg, Orna. Huth, Michael, 1962- TACAS 2007 (2007 : Braga, Por...

検索結果は以上です。

RSS