close
1.

電子ブック

EB
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.

電子ブック

EB
edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6735
オンライン: http://dx.doi.org/10.1007/978-3-642-21875-0
所蔵情報: loading…
3.

電子ブック

EB
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…
4.

電子ブック

EB
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…
5.

電子ブック

EB
by Dov M. Gabbay, Karl Schlechta
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Cognitive Technologies ;
オンライン: http://dx.doi.org/10.1007/978-3-642-19068-1
所蔵情報: loading…
6.

電子ブック

EB
edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6680
オンライン: http://dx.doi.org/10.1007/978-3-642-21350-2
所蔵情報: loading…
7.

電子ブック

EB
edited by Luke Ong
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6690
オンライン: http://dx.doi.org/10.1007/978-3-642-21691-6
所蔵情報: loading…
8.

電子ブック

EB
by Radomir S. Stanković, Jaakko Astola
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Studies in Computational Intelligence ; 335
オンライン: http://dx.doi.org/10.1007/978-3-642-11682-7
所蔵情報: loading…
9.

電子ブック

EB
edited by Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-13606-1
所蔵情報: loading…
10.

電子ブック

EB
by Torben Braüner
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Applied Logic Series ; 37
オンライン: http://dx.doi.org/10.1007/978-94-007-0002-4
所蔵情報: loading…