close
1.

電子ブック
ＥＢ
1. Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
edited by Sven-Bodo Scholz, Olaf Chitil
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5836
オンライン: http://dx.doi.org/10.1007/978-3-642-24452-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Implementation and Application of Functional Languages : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
edited by Marco T. Morazán, Sven-Bodo Scholz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6041
オンライン: http://dx.doi.org/10.1007/978-3-642-16478-1
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
edited by Michael Johnson, Dusko Pavlovic
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6486
オンライン: http://dx.doi.org/10.1007/978-3-642-17796-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
edited by Ricardo Rocha, John Launchbury
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6539
オンライン: http://dx.doi.org/10.1007/978-3-642-18378-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
edited by Ron Meyden, Jan-Georg Smaus
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6572
オンライン: http://dx.doi.org/10.1007/978-3-642-20674-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
edited by James P. Delgrande, Wolfgang Faber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6645
オンライン: http://dx.doi.org/10.1007/978-3-642-20895-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
edited by Marcello Balduccini, Tran Cao Son
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6565
オンライン: http://dx.doi.org/10.1007/978-3-642-20832-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
edited by Kai Brünnler, George Metcalfe
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6793
オンライン: http://dx.doi.org/10.1007/978-3-642-22119-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
edited by Ganesh Gopalakrishnan, Shaz Qadeer
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6806
オンライン: http://dx.doi.org/10.1007/978-3-642-22110-1
所蔵情報: loading…