年 〜
年

検索結果 2 件

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)
紙図書
Springerc2009.<M17-10-1546>
国立国会図書館
  • 著者標目...ucker, Martin. Morgan, Carroll, 1952- ICTAC 2009 (2009 : Kuala Lump...

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)
紙図書
Springerc2011.<M17-12-1762>
国立国会図書館
  • 著者標目...ão, Adenilso. Morgan, Carroll, 1952- Universidade de São Paulo. Es...

検索結果は以上です。