OPAC

Your search

Query: FORMAL LANGUAGES Year: 2014 Repository: 65

Sort by Score Title Year -

21-30 from 59 results (0.012 seconds)

Title: Autorización de Acceso en MIDP 3.0
Language: Español
Repository: 65
Subject: Dispositivos Móviles Interactivos / MIDP / Especificación y Verificación Formal / Teoría de Tipos / Coq

Acceder
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: Behavioral refinements of UML-statecharts
Language: in
Repository: 65
Subject: Statecharts / UML / Formal semantics / Software product lines / Variability / Behavioral refinement

Acceder
Title: The complexity of the K-reliability in networks constrained to diameter two
Language: in
Repository: 65
Subject: Network reliability / Survivability / Diameter constraints / Combinatorial problems / Computational complexity / Formal Verification

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language: in
Repository: 65
Subject: Java Micro Edition / Calculus of Inductive Constructions / Information Integrity

Acceder
Title: Adquisición de la fonología : el inglés como lengua extranjera en estudiantes montevideanos
Language: Español
Repository: 65
Subject: LENGUAJE Y LENGUA / INGLES / FONOLOGIA / LINGUISTICA

Acceder
Title: Marco teórico para evaluar taxonomías de defectos
Language: Español
Repository: 65
Subject: Taxonomías / Taxonomías de defectos de software / Comparación de taxonomías

Acceder
Title: Jóvenes de la periferia : trayectorias educativas y expectativas de vida
Language: Español
Repository: 65
Subject: Rol del psicólogo / Educación inicial / Instituciones educativas / Jóvenes de la periferia / Subjetividad / Producción deseante

Acceder
Title: Jóvenes de la Periferia : trayectorias educativas y expectativas de vida
Language: Español
Repository: 65
Subject: Rol del psicólogo / Instituciones educativas / Educación inicial / INFANCIA

Acceder

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search