1.

図書
図書
1. Post-quantum cryptography : 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
Tanja Lange, Rainer Steinwandt (eds.)
出版情報: Cham : Springer, c2018
シリーズ名: Lecture notes in computer science ; 10786 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
2.

図書
図書
2. Mathematical methods for protein structure analysis and design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000 : advanced lectures
[Concettina Guerra, Sorin Istrail (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2666 . Lecture notes in bioinformatics
所蔵情報: loading…
3.

図書
図書
3. Methods of algorithmic language implementation
edited by A. Ershov and C.H.A. Koster
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 47
所蔵情報: loading…
4.

図書
図書
4. 5th Conference on Optimization Techniques
edited by R. Conti and A. Ruberti
出版情報: Berlin ; New York : Springer-Verlag, 1973
シリーズ名: Lecture notes in computer science ; 3, 4
所蔵情報: loading…