Resultados 1 - 10 de 49 para Búsqueda General
- Recursos en línea (1)
- Disponible (47)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Libro
|
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2011, c2007Comprobar en EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i 2011 ) y otras localizaciones(Obténgalo) |
| 2 |
Material Type: Libro
|
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Cengage Learning 2022Disponible en FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (681.3.06 S618i 34839 ) y otras localizaciones(Obténgalo) |
| 3 |
Material Type: Libro
|
|
Introdução à teoria da computaçãoMichael Sipser Ruy José Guerra Barretto de Queiroz; Newton José VieiraSão Paulo Thomson Learning c2007Disponible en EACH - Esc. Artes, Ciências e Humanidades (004.0151 S618i e.7 ) y otras localizaciones(Obténgalo) |
| 4 |
Material Type: Libro
|
|
Elementos de teoria da computaçãoHarry R Lewis Christos H Papadimitriou; Edson Furmankiewicz; Hemerson Pistori; João José Neto 1948-Porto Alegre Bookman 2000Disponible en EACH - Esc. Artes, Ciências e Humanidades (004.0151 L674e 2.ed. ) y otras localizaciones(Obténgalo) |
| 5 |
Material Type: Libro
|
|
Elementos de teoria da computaçãoHarry R Lewis Christos H Papadimitriou; Edson Furmankiewicz tradPorto Alegre Bookman 2000Disponible en ICMC - Inst. Ciên. Mat. Computação (68Q01 L673et.2 e.2 ) y otras localizaciones(Obténgalo) |
| 6 |
Material Type: Tesis de Maestria
|
|
Sistemas interativos de prova clássicos e quânticosCardonha, Carlos HenriqueBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2006-09-11Acceso en línea. La biblioteca tiene también copias físicas. |
| 7 |
Material Type: Libro
|
|
Mathematical Foundations of Computer Science 1977GruskaSpringer Berlin Heidelberg 1977Acceso en línea. La biblioteca tiene también copias físicas. |
| 8 |
Material Type: Libro
|
|
ProceedingsJ.-C. Raoult (Jean-Claude) Colloquium on trees in algebra and programming (17th 1992 Rennes)Berlin Springer 1992Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.581 e.1 ) y otras localizaciones(Obténgalo) |
| 9 |
Material Type: Libro
|
|
Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej ScedrovBerlin Springer 1990Disponible en ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.1429 ) y otras localizaciones(Obténgalo) |
| 10 |
Material Type: Libro
|
|
Trees in algebra and programming - caap,96 proceedings [of the] 21st intrnational colloquium, held in linkoping, Sweden, april 22-24, 1996Colloquium on Trees in Algebra and Programming (21. 1996 Sinkoping, Se) Helene Kirchner; European Symposium on Programming (6. 1996 Linkoping, Se)Berlin Springer 1996Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1059 ) y otras localizaciones(Obténgalo) |
Resultados 1 - 10 de 49 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Recursos en línea (1)
- Disponible (47)
Refinar mis resultados
Tipo de Recurso
- Libros (45)
- Producciones Académicas (3)
- Artículos (1)
-
Más opciones
Materia
- Teoria Da Computação (42)
- Computational Complexity (11)
- Ciência Da Computação (9)
- Configurações Combinatórias (8)
- Machine Theory (6)
- Autômatos Finitos (5)
- Linguagens Formais (5)
- Teoria Dos Códigos (4)
- Teoria Dos Códigos (Congressos) (4)
- Computadores (Pesquisa) (4)
- Teoria Dos Autômatos (3)
- Lógica Matemática (3)
- Programming Languages (Electronic Computers) (2)
- Recursive Functions (2)
- Codificação (2)
- Criptologia (2)
- Turing Machines (2)
- Computação Quântica (2)
- Análise De Algoritmos (2)
- Mathematics (1)
-
Más opciones
Creador
- Sipser, M (6)
- Colloquium on Trees in Algebra and Programming (3)
- Queiroz, R (3)
- Papadimitriou, C (3)
- European Symposium on Programming (3)
- International Conference on Applied Algebra Algorithmics and Error-Correcting Codes (3)
- Vieira, N (3)
- Lewis, H (3)
- International Conference on Applied Algebra, A (3)
- Cohen, G (2)
- Furmankiewicz, E (2)
- Jones, N (2)
- Mora, T (2)
- Fernandes, C (2)
- Mattson, H (2)
- Börger, E (1)
- Workshop on Logic and Computational, P (1)
- Sakata, S (1)
- Ghezzi, C (1)
- Thore, S (1)
-
Más opciones
Fecha de Publicación
- Antes de1981 (7)
- 1981Hasta1990 (13)
- 1991Hasta1996 (8)
- 1997Hasta2010 (16)
- Después de 2010 (7)
-
Más opciones
Biblioteca
- IME - Inst. Matemática e Estatística (43)
- ICMC - Inst. Ciên. Mat. Computação (31)
- EACH - Esc. Artes, Ciências e Humanidades (6)
- IFSC - Inst. Física de São Carlos (4)
- EPBC - Esc. Politécnica-Bib Central (4)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (4)
- FEA - Fac. Econ. Adm. Contab. e Atuária (4)
- IF - Instituto de Física (3)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (3)
- IO - Instituto Oceanográfico (2)
- FSP - Faculdade de Saúde Pública (1)
- EE - Escola de Enfermagem (1)
- ESALQ - Biblioteca LES (1)
- ESALQ - Biblioteca Central (1)
- FCFRP - Fac. Ciên. Farm. Ribeirão Preto (1)
- FE - Faculdade de Educação (1)
- CDCC - Cent. Div. Científica e Cultural (1)
- ICB - Inst. Ciências Biomédicas (1)
- PUSPSC - Prefeitura do Campus USP de São Carlos (1)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (1)
-
Más opciones
Idioma
- Inglés (37)
- Portugués (11)
- Francés (1)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 