close
1.

電子ブック
ＥＢ
1. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference New Delhi India December 12-14 2007. Proceedings
edited by V. Arvind Sanjiva Prasad
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4855
オンライン: http://dx.doi.org/10.1007/978-3-540-77050-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming CSCLP 2006 Caparica Portugal June 26-282006 Revised Selected and Invited Papers
edited by
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4651
オンライン: http://dx.doi.org/10.1007/978-3-540-73817-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Recent Advances in Constraints (vol. 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2005 Uppsala Sweden June 20-222005 Revised Selected and Invite
Hnich Brahim ; Fages Francois ; Rossi Francesca ; Carlsson Mats ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3978
オンライン: http://dx.doi.org/10.1007/11754602
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference Kolkata India December 13-152006 Proceedings
edited by S. Arun-Kumar Naveen Garg
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4337
オンライン: http://dx.doi.org/10.1007/11944836
所蔵情報: loading…