東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.9)
該当件数:5件
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1869)
図書
Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Boulton, Richard J., Paul B. Jackson (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2152)
Modelling distributed systems / Wan Fokkink
Berlin : Springer , c2007. - (Texts in theoretical computer science ; . An EATCS series)
Public-key cryptography / Arto Salomaa
Berlin : Springer-Verlag , c1990. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 23)
Algorithm design : foundations, analysis, and internet examples / Michael T. Goodrich [and] Roberto Tamassia
New York : J. Wiley , c2002