close
1.

電子ブック
ＥＢ
1. Parameterized and Exact Computation : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
edited by Venkatesh Raman, Saket Saurabh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6478
オンライン: http://dx.doi.org/10.1007/978-3-642-17493-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Algorithmic Randomness and Complexity. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
edited by Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5635
オンライン: http://dx.doi.org/10.1007/978-3-642-03073-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
edited by Jianer Chen, Fedor V. Fomin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5917
オンライン: http://dx.doi.org/10.1007/978-3-642-11269-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
edited by Jean-Raymond Abrial, Uwe Glasser
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5115
オンライン: http://dx.doi.org/10.1007/978-3-642-11447-2
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Computability of Julia Sets
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Algorithms and Computation in Mathematics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-540-68547-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5028
オンライン: http://dx.doi.org/10.1007/978-3-540-69407-6
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4800
オンライン: http://dx.doi.org/10.1007/978-3-540-78127-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Algoritmi : Lo spirito dell’informatica
by David Harel, Yishai Feldman
出版情報: Milano : Springer-Verlag Italia, Milano, 2008
シリーズ名: Unitext ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0580-8
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Computation and Logic in the Real World : Third Conference on Computability in Europe CiE 2007 Siena Italy June 18-232007 Proceedings
edited by S. Barry Cooper Benedikt Lowe Andrea Sorbi
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Lecture Notes in Computer Science ; 4497
オンライン: http://dx.doi.org/10.1007/978-3-540-73001-9
所蔵情報: loading…