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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
33
(6)
Show More
Show Less
Author
Diaz Cacho Medina, Miguel Ramon
(1)
Garcia-Miguel Gallego, José María
(1)
Gil Martínez, Alicia Lidia
(1)
Heine, Jurgen Andreas
(1)
Landesa Vazquez, Iago
(1)
López Fernández, Joaquín
(1)
Magariños Iglesias, Maria Del Carmen
(1)
Santana Alonso, Alejandro Alejo
(1)
Show More
Show Less
Subject
1203.04 Inteligencia Artificial
(3)
1203 Ciencia de Los Ordenadores
(1)
1203.17 Informática
(1)
1209.04 Teoría y Proceso de decisión
(1)
33 Ciencias Tecnológicas
(1)
3304.13 Dispositivos de Transmisión de Datos
(1)
5705.13 Sintaxis, Análisis Sintáctico
(1)
6202.01 Crítica de Textos
(1)
6309.09 Posición Social de la Mujer
(1)
Show More
Show Less
Year
2016
(3)
2015
(2)
2017
(2)
2019
(2)
2020
(2)
2013
(1)
2014
(1)
Show More
Show Less
Document Type
Tesis
(4)
Artículo
(2)
Show More
Show Less
Language
Inglés
(6)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
33
Language:
Inglés
Sort by
Score
Title
Year
-
1-6 from
6
results
(0.01 seconds)
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:
Variable coding and object alignment in Spanish : a corpus-based approach
Author:
Garcia-Miguel Gallego, José María
Language:
Inglés
Repository:
33
Subject:
5705.13 Sintaxis, Análisis Sintáctico
Acceder
Title:
Lois Lane : an analysis of a female character in American superhero comics
Author:
Gil Martínez, Alicia Lidia
Language:
Inglés
Repository:
33
Subject:
6309.09 Posición Social de la Mujer
/
6202.01 Crítica de Textos
Acceder
Title:
A general framework for cost-sensitive boosting
Author:
Landesa Vazquez, Iago
Language:
Inglés
Repository:
33
Subject:
1203.04 Inteligencia Artificial
/
1209.04 Teoría y Proceso de decisión
Acceder
Title:
Voice personalization and speaker de-identification in speech processing systems
Author:
Magariños Iglesias, Maria Del Carmen
Language:
Inglés
Repository:
33
Subject:
1203.04 Inteligencia Artificial
/
1203 Ciencia de Los Ordenadores
/
3304.13 Dispositivos de Transmisión de Datos
Acceder
Title:
Reuse applied to environmental software : design of an adaptable system for water quality assessement and monitoring
Author:
Heine, Jurgen Andreas
Language:
Inglés
Repository:
33
Subject:
1203.17 Informática
Acceder
« Previous
1
Next »