Search Results for Theory of Computation.

5 sonuç bulundu

00000DEFAULT_TR

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Yazar

Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-18073-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Yazar

Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22953-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

Yazar

Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-20877-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal. Seda, Anthony.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime

Yazar

Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.2307/j.ctt7rzmb

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}