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

Sort by Score Title Year -

621-630 from 995 results (0.02 seconds)

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: 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: 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: Parallel adaptive finite state automata
Author: Rocha, Ricardo L. / Garanhani, César E.C.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Parallel / adaptive automata / symbolic computation / parallel computation

Acceder
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: Interconnection and sharing through webservices
Author: De Giusti, Marisa Raquel / Sobrado, Ariel / Lira, Ariel Jorge / Vila, María Marta
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Bibliotecología / bibliotecas digitales / webservices

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: Intelligent systems engineering with reconfigurable computing
Author: Skliarova, Iouliia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Intelligent computing systems (ICS) / FPGA (field-programmable gate array) / algorithm mapping

Acceder
Title: Enseñar programación a niños, jóvenes y adultos usando la plataforma Arduino
Author: Arias-Méndez, Esteban / Pereira-Carpio, Gabriela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Enseñanza / Arduino / Programación

AccederDescargar

« Previous 59 60 61 62 63 64 65 66 67 Next »