Language: English

圖資館首頁

Login

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.

Change password

Login