年 〜
年

検索結果 9 件

Proceedings of the sixth Asian workshop on foundations of software (GRACE technical reports ; 2009-1)

Proceedings of the sixth Asian workshop on foundations of software (GRACE technical reports ; 2009-1)
紙図書
Zhenjiang Hu, Jian Zhang (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2009.4<M18-B915>
国立国会図書館

Programming languages and systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

Programming languages and systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
紙図書
Zhenjiang Hu (ed.)Springerc2009
全国の図書館

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software
紙図書
Robert Glück ... [et al.] (eds.)Department of Computer Science, University of Copenhagen[2011]
全国の図書館

Theory and practice of model transformations : 5th international conference, ICMT 2012 : Prague, Czech Republic, May 28-29, 2012 : proceedings : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7307)

Theory and practice of model transformations : 5th international conference, ICMT 2012 : Prague, Czech Republic, May 28-29, 2012 : proceedings : May 2012, Prague, Czech Republic. (Lecture Notes in Computer Science ; 7307)
紙図書
Springerc2012.<M17-12-4088>
国立国会図書館

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)
紙図書
Springerc2009.<M17-10-1776>
国立国会図書館

Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software

Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software
紙図書
Robert Glück and Zhenjiang Hu (eds.)HCØ Tryk, University of Copenhagen[2005]
全国の図書館

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
紙図書
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)Springerc2002
全国の図書館

Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings. : Sep 2002, Aizu, Japan. (Lecture Notes in Computer Science ; 2441)

Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings. : Sep 2002, Aizu, Japan. (Lecture Notes in Computer Science ; 2441)
紙図書
Springer2002.<M17-03-116>
国立国会図書館

連想計算の代数に基づく並列連想計算方式の研究

連想計算の代数に基づく並列連想計算方式の研究
紙図書
胡振江, 東京大学 [著][胡振江]2004-2005<Y151-TR006-007>
国立国会図書館

検索結果は以上です。