Resultados da busca - "Computable functions."

Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings

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

Symbolic-numeric computation por Wang, Dongming

Table of contents only

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

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

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

Communication complexity in P systems with energy por Juayong, Richelle Ann B.

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

Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. por Vergara, John Paul C.

On turing machines. [article]. por Albacea, Eliezer A.

On turing machines por Albacea, Eliezer A.