Search Results - "Rowan Garnier"

Discrete Mathematics : Proofs, Structures and Applications, Third Edition

Authors: Rowan Garnier John Taylor

Resource Type: eBook.

Subjects: Computer science--Mathematics

Categories: MATHEMATICS / Discrete Mathematics, MATHEMATICS / Logic, MATHEMATICS / Number Theory

Book Reviews.

Authors: Chleboun, Jan Pravda, Vojtěch Somer, Lawrence

Source: Applications of Mathematics. Oct2010, Vol. 55 Issue 5, p431-432. 2p.

Mechanizing Proof : Computing, Risk, and Trust

Authors: Donald Mackenzie

Resource Type: eBook.

Subjects: Computer systems--Reliability, Computers and civilization

Categories: SOCIAL SCIENCE / Sociology / General