1 | | 75 years of Mathematics of computation : symposium, Celebrating 75 Years of Mathematics of Computation, November 1-3, 2018, the Institute for Computational and Experimental Research in Mathematics (ICERM) : pbk ( Contemporary mathematics ; 754 ) | 太秦南館 | Susanne C. Brenner ... [et al.], editors | American Mathematical Society | 2020 | 太秦南館:5階閲覧室 412||Se96 |
2 | | Algorithmic randomness : progress and prospects ( Lecture notes in logic ; 50 ) | 太秦南館 | edited by Johanna N.Y. Franklin, Christopher P. Porter | Association for Symbolic Logic, Cambridge Unviersity Press | 2020 | 太秦南館:5階閲覧室 007.64||A41 |
3 | | Circuit complexity and neural networks : electronic bk ( Foundations of computing ) | その他 | Ian Parberry | MIT Press | 1994 | オンライン |
4 | | Communication complexity and applications : hardback | 太秦南館 | Anup Rao, Amir Yehudayoff | Cambridge University Press | 2020 | 太秦南館:5階閲覧室 410.96||R17c |
5 | | Communication complexity : a new approach to circuit depth : electronic bk ( Acm doctoral dissertation award ) | その他 | Mauricio Karchmer | MIT Press | 1989 | オンライン |
6 | | Computability : Turing, Gödel, Church, and beyond : electronic bk | その他 | edited by Jack Copeland, Carl Posy, and Oron Shagrir | MIT Press | 2013 | オンライン |
7 | | Computational complexity and property testing : on the interplay between randomness and computation ( Lecture notes in computer science ; 12050[ LNCS sublibrary ; SL1 Theoretical computer science and general issues State-of-the-art survey] ) | 太秦南館 | Oded Goldreich ... [et al.], with contributions by Itai Benjamini ... [et al.] | Springer | 2020 | 太秦南館:5階閲覧室 418.1||C85 |
8 | | The computational complexity of differential and integral equations : an information-based approach : hbk ( Oxford mathematical monographs ) | 亀岡本館 | Arthur G. Werschulz | Oxford University Press | 1991 | 亀岡本館:書庫 413.6||W59c |
9 | | Computational theories of interaction and agency : electronic bk ( Artificial intelligence series ) | その他 | edited by Philip E. Agre and Stanley J. Rosenschein | MIT Press | 1996 | オンライン |
10 | | Computational topology : an introduction : pbk. ( Applied mathematics ) | 太秦南館 | Herbert Edelsbrunner, John L. Harer | American Mathematical Society | 2010 | 太秦南館:5階閲覧室 415.7||E22c |