Theoretical Computer Science

关于 Theoretical Computer Science 书籍列表

• 

  Design and Formal Analysis of Petri Net Based Logic Control

  阅读量：0
  ISBN：9783832200435
  发布时间：2025-05-16 23:38:33

• 

  Finite Automata, Their Algebras and Grammars

  阅读量：0
  ISBN：9780387969053
  发布时间：2025-05-17 00:06:46

• 

  Logic in Computer Science

  阅读量：0
  ISBN：9780521543101
  发布时间：2025-05-17 01:41:19

• 

  Theorem Proving in Higher Order Logics

  阅读量：0
  ISBN：9783540283720
  发布时间：2025-05-17 03:54:42

• 

  Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16

  阅读量：0
  ISBN：9780387199092
  发布时间：2025-05-17 11:33:13