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

Sort by Score Title Year -

1-10 from 267 results (0.017 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: 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 runnable functional formal memetic algorithm framework
Author: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda Mariana
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Informática / Functional Programming / Memetic Algorithm / Combinatorial Optimization / Optimization / Algorithms / Frameworks

Acceder
Title: languages in the united states
Author: zhyrun, iryna
Language: Inglés
Repository: 22
Subject: languages, united, states

Acceder

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