close
1.

電子ブック
ＥＢ
1. Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering PSSE 2004 Recife Brazil November 23-December 52004 Revised Lectures
edited by Ana Cavalcanti Augusto Sampaio
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3167
オンライン: http://dx.doi.org/10.1007/11889229
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis Tunisia November 20-24 2006Proceedings
edited by Kamel Barkaoui Ana Cavalcanti Antonio Cerone
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4281
オンライン: http://dx.doi.org/10.1007/11921240
所蔵情報: loading…