Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Higher Order Logic and Hardware Verification, Author: T. F. Melham
Title: Principles of Programming Languages, Author: Gilles Dowek
Title: Thought and Behavior in Modern Japanese Politics, Author: Masao Maruyama
Title: Functional Programming and Input/Output, Author: Andrew D. Gordon
Title: Easy Oracle Jumpstart: Oracle Database Management Concepts and Administration, Author: Robert Freeman
Title: Complementary Definitions of Programming Language Semantics, Author: J.E. Donahue

Pagination Links