close
1.

電子ブック
ＥＢ
1. Apartness and Uniformity : A Constructive Development
by Douglas S. Bridges, Luminiţa Simona Vîţă
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-3-642-22415-7
所蔵情報: 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. 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…
4.

電子ブック
ＥＢ
4. Deterministic Extraction from Weak Random Sources
by Ariel Gabizon
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-14903-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
edited by John Impagliazzo, Eduard Proydakov
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 357
オンライン: http://dx.doi.org/10.1007/978-3-642-22816-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Patterns in Permutations and Words
by Sergey Kitaev
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17333-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. High Performance Computing for Computational Science – VECPAR 2010 : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6449
オンライン: http://dx.doi.org/10.1007/978-3-642-19328-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. 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…
9.

電子ブック
ＥＢ
9. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings
edited by Mikhail Atallah, Xiang-Yang Li, Binhai Zhu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6681
オンライン: http://dx.doi.org/10.1007/978-3-642-21204-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. 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…