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
(2)
Show More
Show Less
Author
Diaz Cacho Medina, Miguel Ramon
(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
(2)
1203 Ciencia de Los Ordenadores
(1)
33 Ciencias Tecnológicas
(1)
3304.13 Dispositivos de Transmisión de Datos
(1)
Show More
Show Less
Year
2019
(2)
2020
(2)
Show More
Show Less
Document Type
Artículo
(1)
Tesis
(1)
Show More
Show Less
Language
Inglés
(2)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
33
Language:
Inglés
Year:
2019
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.008 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:
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
« Previous
1
Next »