1.

図書
図書
1. Computability and complexity theory. 2nd ed.
Steven Homer, Alan L. Selman
出版情報: New York : Springer, c2011
シリーズ名: Texts in computer science
所蔵情報: loading…
2.

図書
図書
2. The U.S. information economy : value, employment, industry structure, and trade
Uday Apte, Uday Karmarkar, Hiranya Nath
出版情報: Boston : Now, c2012
シリーズ名: Foundations and trends [R] in technology, information and operations management ; 6:1(2012)
所蔵情報: loading…
3.

図書
図書
3. The mathematics of networks of linear systems
Paul A. Fuhrmann, Uwe Helmke
出版情報: Cham : Springer, c2015
シリーズ名: Universitext
所蔵情報: loading…
4.

図書
図書
4. Algorithmic randomness and complexity
Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York : Springer Science+Business Media, c2010
シリーズ名: Theory and applications of computability
所蔵情報: loading…
5.

図書
図書
5. Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2010
所蔵情報: loading…
6.

図書
図書
6. 2010 IEEE 51st annual symposium on foundations of computer science : (FOCS 2010) : Las Vegas, Nevada, USA 23-26 October 2010
Symposium on Foundations of Computer Science ; IEEE Computer Society
出版情報: Los Alamitos, California : IEEE, c2010
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2011
所蔵情報: loading…
8.

図書
図書
8. 2011 IEEE 52nd annual symposium on foundations of computer science : (FOCS 2011) : Palm Springs, California, USA 22-25 October 2011
editors, Rafail Ostrovsky
出版情報: Piscataway, NJ : IEEE, c2011
所蔵情報: loading…
9.

図書
図書
9. Object-oriented analysis and design
Sarnath Ramnath and Brahma Dathan
出版情報: London : Springer, [2010]
シリーズ名: Undergraduate topics in computer science
所蔵情報: loading…
目次情報:
“A co-publication with the Universities Press (India) Ptv. Ltd" -- t.p.verso
“A co-publication with the Universities Press (India) Ptv. Ltd" -- t.p.verso
10.

図書
図書
10. Modern applications of automata theory
editors Deepak D'Souza, Priti Shankar
出版情報: [S.l.] : IISc Press , New Jersey : World Scientific, c2012
シリーズ名: IISc research monograph series ; 2
所蔵情報: loading…