Deduction Systems (Texts in Computer Science) by Socher-Ambrosius

Deduction Systems, Paperback by Socher-Ambrosius, Rolf; Johann, Patricia, Bra...

Chapman and Hall/Crc Texts in Statistical Science Ser.: Statistical Rethinking :

Texts in Computer Science Ser.: Descriptive Complexity by Neil Immerman

Texts in Computer Science Ser.: Computer Vision by Szeliski

Chapman and Hall/Crc Texts in Statistical Science Ser.: Statistical Rethinking :

Texts in Computer Science Ser.: Specification of Software Systems by V. S. ...

Texts in Computer Science Ser.: Algorithm Design Manual by Steven S. Skiena...