Jump to main content

yr 〜
yr

Search results 2

Fundamentals of logic and computation : with practical automated reasoning and verification/ Zhe Hou

Fundamentals of logic and computation : with practical automated reasoning and verification/ Zhe Hou
Paper図書
Springerc2021
Other Libraries in Japan
  • Author HeadingHou, Zhe

New Bounds on the Minimum Calls of Failure-Tolerant Gossiping

New Bounds on the Minimum Calls of Failure-Tolerant Gossiping
Digital文書・図像類
HOU, Zhe, SHIGENO, MaikoUniversity of Tsukuba. Graduate School of Systems and Information Engineering. Doctoral Program in Social Systems & Management2006-12
Available onlineOther Libraries in Japan
  • Author HeadingHOU, Zhe SHIGENO, Maiko

Reached to the end of result.

RSS