close
1.

電子ブック
ＥＢ
1. Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
edited by Werner Kuich, George Rahonis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7020
オンライン: http://dx.doi.org/10.1007/978-3-642-24897-9
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6877
オンライン: http://dx.doi.org/10.1007/978-3-642-25070-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
edited by Jean-Pierre Jouannaud, Zhong Shao
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7086
オンライン: http://dx.doi.org/10.1007/978-3-642-25379-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Principles of Distributed Systems : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
edited by Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7109
オンライン: http://dx.doi.org/10.1007/978-3-642-25873-2
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Rigorous Software Development : An Introduction to Program Verification
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-018-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
edited by Harrie Swart
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6663
オンライン: http://dx.doi.org/10.1007/978-3-642-21070-9
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
edited by Franz Winkler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6742
オンライン: http://dx.doi.org/10.1007/978-3-642-21493-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
edited by Tomi Janhunen, Ilkka Niemelä
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6341
オンライン: http://dx.doi.org/10.1007/978-3-642-15675-5
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6042
オンライン: http://dx.doi.org/10.1007/978-3-642-14287-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Principles of Distributed Systems : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6490
オンライン: http://dx.doi.org/10.1007/978-3-642-17653-1
所蔵情報: loading…