Výsledky vyhledávání

Discrete structures, logic, and computability Autor Hein, James L.

Three views of logic mathematics, philosophy, and computer science Autor Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Table of contents only

Proofs and computations Autor Schwichtenberg, Helmut 1942-

Table of contents only

Theory of computation Autor Tourlakis, George J.

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy

Introduction to languages and the theory of computation Autor Martin, John C.

Introduction to languages and the theory of computation Autor Martin, John C.

Computability and complexity theory Autor Homer, Steven

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Concise guide to computation theory Autor Maruoka, Akira

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Mathematical foundations of computer science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access