本文に飛ぶ

年 〜
年

検索結果 3 件

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)

Programming languages and systems : 23rd European symposium on programming, ESOP 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8410. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-2136>
国立国会図書館
  • 著者標目...noble, France) Shao, Zhong, 1968- Universite Joseph Fourier de ...

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)
紙図書
Springerc2011.<M17-12-1779>
国立国会図書館
  • 著者標目CPP 2011 (2011 : Kʻen-ting, Taiwan) Jouannaud, Jean-Pierre. Shao, Zhong, 1968-

Programming languages and systems : 5th Asian symposium, APLAS 2007 : Singapore, November 29-December 1, 2007 : proceedings. : Nov 2007, Singapore. (Lecture Notes in Computer Science ; 4807)

Programming languages and systems : 5th Asian symposium, APLAS 2007 : Singapore, November 29-December 1, 2007 : proceedings. : Nov 2007, Singapore. (Lecture Notes in Computer Science ; 4807)
紙図書
Springerc2007.<M17-08-128>
国立国会図書館
  • 著者標目Shao, Zhong, 1968- APLAS 2007 (2007 : Singapore)

検索結果は以上です。

RSS