年 〜
年

検索結果 4 件

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers. : Jul 2006, Venice, Italy. (Lecture Notes in Computer Science ; 4407)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006 : Venice, Italy, July 12-14, 2006 : revised selected papers. : Jul 2006, Venice, Italy. (Lecture Notes in Computer Science ; 4407)
紙図書
Springerc2007.<M17-07-1257>
国立国会図書館
  • 著者標目Puebla, Germán. LOPSTR 2006 (2006 : Venice, I...

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings. : Sep 2002, Madrid, Spain. (Lecture Notes in Computer Science ; 2477)
紙図書
Springerc2002.<M17-03-162>
国立国会図書館
  • 著者標目Hermenegildo, Manuel. Puebla, Germán. International Static Analysis...

Logic-based program synthesis and transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

Logic-based program synthesis and transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
紙図書
Germán Puebla (ed.)Springerc2007
全国の図書館

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
紙図書
Manuel V. Hermenegildo, Germán Puebla (eds.)Springerc2002
全国の図書館

検索結果は以上です。