Jump to main content

yr 〜
yr

Search results 2

デジタルアイデンティティのすべて : 安全かつユーザー中心のアイデンティティシステムを実現するための知識

デジタルアイデンティティのすべて : 安全かつユーザー中心のアイデンティティシステムを実現するための知識
Paper図書
Phillip J.Windley 著, 富士榮尚寛 監訳, 柴田健久 [ほか] 訳オライリー・ジャパン2024.12
National Diet LibraryOther Libraries in Japan
  • Author HeadingWindley, Phillip J., 1958- 富士榮, 尚寛

Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds. (Lecture notes in computer science)

Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9804>
National Diet Library
  • Author HeadingSchubert, Thomas E., 1959- Windley, Phillip J., 1958- Alves-Foss, James, 1964-

Reached to the end of result.

RSS