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

Repository: 37 Query: FORMAL LANGUAGES

Sort by Score Title Year -

501-510 from 1773 results (0.015 seconds)

Title: Aspect Oriented Behavioral Synthesis
Author: Asteasuain, Fernando / Calonge, Federico / Gamboa, Pablo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Aspect Orientation / Behavioral Synthesis

Acceder
Title: Indirect job creation and the informal sector in México
Author: Pereira-López, Mariana
Language: Inglés
Repository: 37
Subject: Ciencias Económicas / México / JEL: J23, R11, R12, R23 / empleo / local multipliers / informal sector / agglomeration / pecuniary externalities

AccederDescargar
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: Historia del arte y cultura visual : El día en que Bugs Bunny conoció a Seurat / History of Art and Visual Culture. The day when Bugs Bunny met Seurat
Author: Matewecki, Natalia
Language: Español
Repository: 37
Subject: Bellas Artes / análisis de imágenes / historia del arte / cultura visual / obra de arte / medios masivos / history of art / visual culture / work of art / mass media

AccederAcceder
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: 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

« Previous 47 48 49 50 51 52 53 54 55 Next »