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 Language: Inglés

Sort by Score Title Year -

1-7 from 7 results (0.015 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: 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: A model-driven development approach for learning design using the LPCEL Editor
Language: Inglés
Repository: 34
Subject: 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Control of an Industrial Static VAr Compensator
Author: García Rochín, Roberto
Language: Inglés
Repository: 34
Subject: Reactive power / Static VAr Compensator / Ingeniería y Ciencias Aplicadas / Engineering & Applied Sciences

Acceder
Title: Towards a Full Integration of Physics and Math Concepts: The Path Full of Traps
Author: Dominguez, Angeles / Hernandez-Armenta, Itzel / de la Garza Becerra, Jorge Eugenio
Language: Inglés
Repository: 34
Subject: Física / Matemáticas / Educación superior

Acceder

« Previous 1 Next »