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

Sort by Score Title Year -

81-90 from 163 results (0.017 seconds)

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: Oral Communication: Generating Network Data for Automated Unit Test Generation
Author: Arcuri, Andrea / Fraser, Gordon / Galeotti, Juan P.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Test generation

AccederDescargar
Title: Nothing is written : The impact of modern international law on the revivalist/reformist debate of the Shari'ah
Author: Khan, Hamid M.
Language: Inglés
Repository: 37
Subject: Ciencias Jurídicas / Relaciones Internacionales

AccederAcceder
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: MAS2DES-Onto: Ontology for MAS-based Digital Ecosystems
Author: Kidanu, Solomon Asres / Chbeir, Richard / Cardinale, Yudith
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / modelos conceptuales / Agent / Multiagent systems / ontologías

AccederDescargar
Title: Applying software engineering techniques to the development of robotic systems
Author: Pons, Claudia / Arévalo, Gabriela Beatriz / Zabala, Gonzalo / Morán, Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Robotics

Acceder
Title: A meshing tool product line architecture
Author: Bastarrica, María Cecilia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Architectures

Acceder
Title: Ideentifying featured articles in Spanish Wikipedia
Author: Pohn, Lian / Ferretti, Edgardo / Errecalde, Marcelo Luis
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Wikipedia / information quality / featured article / support vector machine

Acceder

« Previous 5 6 7 8 9 10 11 12 13 Next »