富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Number theory)
該当件数:4件
Concise Guide to Software Verification : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Texts in Computer Science. ISSN:1868095X)
電子ブック
Modern Cryptography : Applied Mathematics for Encryption and Information Security / by William Easttom
2nd ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
Algorithmic Number Theory : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings / edited by Florian Hess, Sebastian Pauli, Michael Pohst
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Lecture Notes in Computer Science. ISSN:16113349 ; 4076)
Complex multiplication of Abelian varieties and its applications to number theory / by Goro Shimura and the late Yutaka Taniyama
[Tokyo] : Mathematical Society of Japan , 1961. - (Publications of the Mathematical Society of Japan ; 6)
図書