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

Sort by Score Title Year -

371-380 from 458 results (0.018 seconds)

Title: Líneas de investigación en redes de computadoras desarrolladas en el Centro de Investigación y Desarrollo en Informática Aplicada
Author: Arias Figueroa, Daniel / Sánchez, Ernesto / Rocabado Moreno, Sergio Hernán / Barrena, Alejandro / Aguirre, Miguel Ángel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / redes móviles ad hoc / Network communication / seguridad / MANET / DNS seguro / DNSSEC / DNSCurve / nuevas tendencias en el cableado estructurado / simulación y virtualización aplicadas a la enseñanza de redes

Acceder
Title: Modelling negotiation protocols in a dialectical framework
Author: Stankevicius, Alejandro G. / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Frameworks / Defeasible Argumentation / Negotiation protocols

Acceder
Title: Bisimulation abstraction for selecting software components in RAISE
Author: Estévez, Elsa Clara / Janowski, Tomasz
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Software

Acceder
Title: Component assessment using testing
Author: Sánchez, Marisa / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Software libraries / component retrieval / reusable software / testing / algebraic specifications

Acceder
Title: Overview of a framework to hypermedia process modeling
Author: Olsina Santos, Luis Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / SOFTWARE ENGINEERING / Frameworks / Hypertext/hypermedia / framework / hypermedia / process modeling / web-based developmen

Acceder
Title: NSME: a framework for network worm modeling and simulation
Author: Lin, Siming / Cheng, Xueqi
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Invasive software (e.g., viruses, worms, Trojan horses) / Modeling packages / Simulation

Acceder
Title: Procesos de localización residencial y movilidad en la Periferia Sur del partido de La Plata
Author: Andrés Laube, Carmen Anahí / Sastre, Ezequiel / Aón, Laura / Frediani, Julieta Constanza
Language: Español
Repository: 37
Subject: Humanidades / Arquitectura / La Plata (Argentina)

AccederAcceder
Title: Madurez de Courseware Open Source : Análisis comparativo TelEduc - WebCT
Author: Díaz, Francisco Javier / Osorio, María Alejandra / Amadeo, Ana Paola
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Education / Courseware Open Source / informática / Madurez / TelEduc / WebCT / Análisis comparativo

Acceder
Title: Educación transformadora: una propuesta universitaria de inclusión educativa y articulación territorial en economía social y solidaria : Relato de la experiencia del DOSESS
Author: Mendy, Guillermina / Gallo, Mahuén
Language: Español
Repository: 37
Subject: Sociología / Ciencias de la Educación / economía social y solidaria / universidad / educación popular / comunidad de aprendizaje

AccederAcceder
Title: Negation in logic programs: is it necessary two connectives?
Author: Fillottrani, Pablo Rubén / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Logic Programming / Nonmonotic reasoning / Negation / Negation as failure

Acceder

« Previous 34 35 36 37 38 39 40 41 42 Next »