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

Sort by Score Title Year -

1-10 from 684 results (0.03 seconds)

Title: Simulators for teaching formal languages and automata theory: a comparative survey
Author: Chesñevar, Carlos Iván / Cobo, María Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educational Software / Automata Theory / Formal Languages / tecnología / educación / Education

Acceder
Title: Fast cellular automata with restricted inter-cell communication: computational capacity
Author: Kutrib, Martin / Malcher, Andreas
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Arrays / Formal Languages / Parallel Architectures

Acceder
Title: Status of Indigenous Languages within Gambian Education Policy: English vs Vernacular Languages as the vehicular language in formal education contexts
Author: Biel, Leyre Alejaldre
Language: Inglés
Repository: 73
Subject: Vernacular languages / Colonial language / Linguistic policy / Illiteracy

Acceder
Title: Formal verification for task description languages. A Petri Net approach
Author: López Fernández, Joaquín / Santana Alonso, Alejandro Alejo / Diaz Cacho Medina, Miguel Ramon
Language: Inglés
Repository: 33
Subject: 1203.04 Inteligencia Artificial / 33 Ciencias Tecnológicas

Acceder
Title: On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
Language: Inglés
Repository: 65
Subject: Programación Genérica / Lenguajes de Programación / Metateoría Formal / Cálculo Lambda / Teoría de Tipos

Acceder
Title: Verification and validation of domain specific languages using Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / domain specific language (DSL) / Verification / Validation

Acceder
Title: Transforming a Business and Information Need Goals’ Ontology into a Formal Specification useful for a Strategy Pattern Recommender System
Author: Rivera, Belén / Becker, Pablo / Olsina Santos, Luis Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business and information / ontology / strategy pattern / recommender system

AccederDescargar
Title: Moodelling of processes and formal methods
Author: Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / Formal methods / Languages / Reengineering of processes / Reverse engineering / RAISE language

Acceder
Title: Formal foundations for the unified modeling language
Author: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, Roberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal foundations / unified modeling language / Languages / SOFTWARE ENGINEERING

Acceder
Title: A formal foundation for transformations in model driven engineering
Author: Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ingeniería dirigida por modelos / model driven engineering

AccederDescargar

« Previous 1 2 3 4 5 6 7 8 9 Next »