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 Year: 2012 Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

251-260 from 458 results (0.024 seconds)

Title: Nineteen sixties history of data base management
Author: Olle, T. William
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Base de Datos

Acceder
Title: Dynamic subjectivity: implementation issues and computational reflection
Author: Pryor, Jane / Bastán, Natalio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Object-oriented Programming / Dynamic programming / object oriented programming / dynamic subjetivity / computational reflection

Acceder
Title: Primitives for building interaction protocols
Author: Tucat, Mariano / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / agent interaction / interaction protocols

Acceder
Title: Parallel cellular programming skeleton
Author: Saez, Fernando / Printista, Alicia Marcela
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Parallel Architectures / skeletal programming / cellular automata / parallelism

Acceder
Title: Propositional Satisfiability (SAT) as a language problem
Author: Castaño, Rodrigo / Castaño, José M.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ALL-SAT / model counting / FSA intersection / regular expression compilation / Non-clausal formula / clause learning

Acceder
Title: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

Acceder
Title: JBLIF, a tool for non-interference analysis of java and java bytecode programs
Author: Cavadini, Salvador V.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Informática / SOFTWARE ENGINEERING / Information flow controls / Security / information flow control / non-interference

Acceder
Title: Educarse y divertirse, la universidad y el hackspace
Author: Valeros, Verónica / García, Sebastián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / educación / universidad / hackspace / seguridad / innovación

Acceder
Title: Redes colaborativas, tecnología e identidades: un acercamiento a los modelos tecnológicos de comunicación en la conformación de redes regionales a partir del uso de una plataforma educativa en la UNRC
Author: Asaad, Claudio / Ferreira Szpiniak, Ariel / Guazzone, Jorge Oscar / Thuer, Sebastián
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Distance learning / Learning / Computer Uses in Education / TICs / educación a distancia / plataforma de comunicación / enseñanza-aprendizaje

Acceder
Title: Uma experiência no desenvolvimento de linguagens adaptativas de programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / adaptive devices / self-modifying devices / adaptive programming language

Acceder

« Previous 22 23 24 25 26 27 28 29 30 Next »