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

Sort by Score Title Year -

61-70 from 130 results (0.017 seconds)

Title: An experimental tool for checking probabilistic program refinement
Author: Gonzalía, Carlos José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Formal methods / SOFTWARE ENGINEERING / probabilistic programs / computer verification / refinement checking / trace generation / linear satisfiability checking

Acceder
Title: A UML profile to model classifier refinements
Author: Correa, Natalia / Giandini, Roxana Silvia / Pons, Claudia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / software engineering / Formal methods

Acceder
Title: Language history : A tale of two countries
Author: Davey, Bill / Parker, Kevin R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Universidades / Lenguajes de Programación

Acceder
Title: EMTPL and its relation to first order logic
Author: Cobo, María Laura / Falappa, Marcelo Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Metric Temporal Logic / Temporal Databases / base de datos / SOFTWARE ENGINEERING / Metrics

Acceder
Title: Student's approach to linear programming modeling
Author: Dombrovskaia, Lioubov / Guzmán, Liliana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Linear programming / Language models

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

« Previous 3 4 5 6 7 8 9 10 11 Next »