語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
Monographs in Computer Science,
書目資訊
Set theory for computing :from decis...
~
Cantone, Domenico.
Set theory for computing :from decision procedures to declarative programming with sets /
by:
Cantone, Domenico.
Software configuration management us...
~
Heydon, Allan.
Software configuration management using Vesta
by:
Heydon, Allan.
Computer systemstheory, technology, ...
~
Herbert, A. J. (1954-)
Computer systemstheory, technology, and applications : a tribute to Roger Needham /
by:
Herbert, A. J. (1954-)
Adapting Proofs-as-ProgramsThe Curry...
~
Crossley, John Newsome.
Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
by:
Crossley, John Newsome.
Geometric Fundamentals of Robotics /
~
Selig, J. M.
Geometric Fundamentals of Robotics /
by:
Selig, J. M.
Reverse Engineering of Object Oriented Code /
by:
Potrich, Alessandra.
Evolutionary Synthesis of Pattern Recognition Systems /
by:
Bhanu, Bir.
Super-Recursive Algorithms /
by:
Burgin, Mark.
Abstraction, Refinement and Proof for Probabilistic Systems /
by:
McIver, Annabelle.
處理中
...
變更密碼
登入
