書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 出版事項
- 出版地(国名コード)
- us
- 対象利用者
- 一般
- 関連情報
- A Graph-Theoretic Approach to Enterprise Network DynamicsCryptography and computational number theoryA proof theory for general unificationFeasible mathematics IICoding, cryptography and combinatoricsNumber theoretic methods in cryptography : complexity lower boundsCryptographic applications of analytic number theory : complexity lower bounds and pseudorandomnessAn introduction to quantum computing algorithmsLogical methods : in honor of Anil Nerode's sixtieth birthdayMathematics for the analysis of algorithmsMathematical logic : foundations for information scienceSymbolic rewriting techniquesMathematical logic : foundations for information scienceFeasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989Logic for computer scientistsAutomata theory and its applicationsInterpolating cubic splinesGraph-based proof procedures for horn clausesBounded queries in recursion theoryTemporal type theory : a topos-theoretic approach to systems and behaviorAdvances in proof theoryLearning and geometry : computational approachesPerspectives in Computational Complexity : The Somenath Biswas Anniversary VolumeCryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research
- 提供元機関・データベース
- CiNii Books
- NACSIS書誌ID(NCID)
- https://ci.nii.ac.jp/ncid/BA07712819 : BA07712819