skip to main content

Idioma:

9 Resultados para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Mostrar solo

Revistas arbitradas (5)

Refinado por: xxx: xxx

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines Lu, Dianchen ; Wang, Qingyan ; Zheng, Rui Electronic proceedings in theoretical computer science, 2010-01, Vol.24 (Proc. CCA 2010), p.101-105 Open Publishing Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		COMPLEXITY OF SELF-ASSEMBLED SHAPES SOLOVEICHIK, David ; WINFREE, Erik SIAM journal on computing, 2007, Vol.36 (6), p.1544-1569 [Revista revisada por pares] Philadelphia, PA: Society for Industrial and Applied Mathematics Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		Programmed grammars and their relation to the LBA problem BORDIHN, Henning ; HOLZER, Markus Acta informatica, 2006-11, Vol.43 (4), p.223-242 [Revista revisada por pares] Berlin: Springer Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		A time complexity gap for two-way probabilistic finite-state automata DWORK, C ; STOCKMEYER, L SIAM journal on computing, 1990-12, Vol.19 (6), p.1011-1023 [Revista revisada por pares] Philadelphia, PA: Society for Industrial and Applied Mathematics Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Capítulo de Libro		The Church-Turing Thesis Reus, Bernhard Limits of Computation, p.123-148 Cham: Springer International Publishing Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Acta de Congreso		Finding euler circuits in logarithmic parallel time Awerbuch, B. ; Israeli, A. ; Shiloach, Y. Annual ACM Symposium on Theory of Computing: Proceedings of the sixteenth annual ACM symposium on Theory of computing, 1984, p.249-257 [Revista revisada por pares] New York, NY, USA: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Colossus: its origins and originators Copeland, B.J. IEEE annals of the history of computing, 2004-10, Vol.26 (4), p.38-45 [Revista revisada por pares] Los Alamitos, CA: IEEE Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Capítulo de Libro		The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2 Berto, Francesco There's Something about Gödel, 2009, p.102-127 Oxford, UK: Wiley‐Blackwell Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: magazinearticle		Translation equations Vere, Steven Communications of the ACM, 1970-02, Vol.13 (2), p.83-89 New York, NY, USA: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

9 Resultados para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Revistas arbitradas (5)

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora