OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 34 Year: 2018

Sort by Score Title Year -

1-10 from 28 results (0.013 seconds)

Title: The role of non-formal contexts in teacher education for STEM: the case of horno3 science and technology interactive centre
Author: Fernández-Limón, Claudia / Fernández-Cárdenas, Juan Manuel / Gómez Galindo, Alma Adrianna
Language: Inglés
Repository: 34
Subject: non-formal education / teacher education / STEM education / Educación

Acceder
Title: Factors influencing the formation of intra-institutional formal research groups: group prediction from collaboration, organisational, and topical networks
Author: Garza, Sara E / Ceballos Cancino, Héctor Gibrán / Cantú Ortiz, Francisco Javier
Language: Inglés
Repository: 34
Subject: Science / scientific collaboration / network analysis / graph clustering / research groups / complex networks

Acceder
Title: Análisis formal de TLS v 1.0
Language: Español
Repository: 34
Subject: Protocolos de redes de computadoras / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Especificación formal del manejo y administración de una memoria compartida distribuida : algoritmos de coherencia
Language: Español
Repository: 34
Subject: Gestión de memoria (Ciencia de la computación) / Algoritmos--Investigación / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Especificación formal del manejo y administración de una memoria compartida distribuida : administrador de memoria externo
Language: Español
Repository: 34
Subject: Gestión de memoria (Ciencia de la computación) / Memoria magnética (Máquinas calculadoras)--Investigación / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Verificación formal de protocolos de seguridad en HOL a partir del método inductivo
Language: Español
Repository: 34
Subject: Redes de computadoras--Medidas de seguridad / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Efecto de escolaridad sobre el sector formal e informal y las finanzas públicas en México
Language: Español
Repository: 34
Subject: Sector informal (Economía)--México / Educación--México--Indicadores / Finanzas públicas--México / 5 CIENCIAS SOCIALES

Acceder
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language: Inglés
Repository: 34
Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Generalized Bell states map physical systems' quantum evolution into a grammar for quantum information processing
Language: Inglés
Repository: 34
Subject: Integrated circuits / Quantum optics / Classical information processing / Natural languages / Processing operations / Quantum evolution / Quantum Information / Quantum-information processing / Spin-spin couplings / Superconducting circuit / Quantum theory / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Estrategias en el desarrollo de la competencia lingüística y su impacto en los jóvenes de bachillerato
Language: Español
Repository: 34
Subject: P53 / Language and languages--Study and teaching--Education, Secondary / Lenguaje y lenguas--Estudio y enseñanza--Educación media superior

Acceder

« Previous 1 2 3 Next »