close
1.

電子ブック
ＥＢ
1. Computer Science : The Hardware, Software and Heart of It. 1
edited by Edward K. Blum, Alfred V. Aho
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4614-1168-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6878
オンライン: http://dx.doi.org/10.1007/978-3-642-23211-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6953
オンライン: http://dx.doi.org/10.1007/978-3-642-24130-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7052
オンライン: http://dx.doi.org/10.1007/978-3-642-24971-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Proofs and Algorithms : An Introduction to Logic and Computability
by Gilles Dowek
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-121-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
edited by Mitsunori Ogihara, Jun Tarui
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6648
オンライン: http://dx.doi.org/10.1007/978-3-642-20877-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Rainbow of Computer Science : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
edited by Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6570
オンライン: http://dx.doi.org/10.1007/978-3-642-19391-0
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Transactions on Rough Sets XIV
edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6600
オンライン: http://dx.doi.org/10.1007/978-3-642-21563-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Theory and Applications of Models of Computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6108
オンライン: http://dx.doi.org/10.1007/978-3-642-13562-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
edited by Agostino Dovier, Enrico Pontelli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6125
オンライン: http://dx.doi.org/10.1007/978-3-642-14309-0
所蔵情報: loading…