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
37
(995)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(28)
Montejano, Germán Antonio
(26)
Riesco, Daniel Eduardo
(24)
García, Alejandro Javier
(21)
Aguirre, Jorge
(17)
Arroyo, Marcelo
(16)
Baum, Gabriel Alfredo
(16)
Chesñevar, Carlos Iván
(14)
Fillottrani, Pablo Rubén
(14)
Pons, Claudia
(12)
Show More
Show Less
Subject
Ciencias Informáticas
(509)
Educación
(127)
Languages
(124)
SOFTWARE ENGINEERING
(86)
Humanidades
(77)
Sociología
(66)
Letras
(44)
Bellas Artes
(43)
ARTIFICIAL INTELLIGENCE
(39)
Psicología
(35)
Show More
Show Less
Year
2012
(458)
2020
(132)
2014
(124)
2016
(119)
2015
(97)
2017
(93)
2019
(88)
2018
(85)
2013
(70)
2010
(68)
Show More
Show Less
Document Type
Sin Especificar
(995)
Show More
Show Less
Language
Español
(792)
Inglés
(163)
Portugués
(40)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Document Type:
Sin Especificar
Repository:
37
Sort by
Score
Title
Year
-
291-300 from
995
results
(0.017 seconds)
Title:
An interaction language for argumentation-based negotiation
Author:
Rueda, Sonia Vivian
/
Martínez, María Vanina
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Interaction Language
/
Argumentation-based Negotiation
/
ARTIFICIAL INTELLIGENCE
/
Languages
Acceder
Title:
Clasificación y resolución de conflictos entre aspectos
Author:
Casas, Sandra
/
Reinaga, Héctor
/
Vanoli, Verónica
/
Sierpe, Luis
/
Saldivia, Claudio
/
Pryor, Jane
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Resolución de Conflictos
/
clasificación
/
Aspectos
Acceder
Title:
Entorno de Código Móvil Seguro
Author:
Aguirre, Jorge
/
Baum, Gabriel Alfredo
/
Arroyo, Marcelo
/
Bavera, Francisco
/
Medel, Ricardo
/
Nordio, Martín
/
Kilmurray, Cecilia
/
Mussolini, Johanna
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Códigos
/
Código Móvil Seguro
/
Languages
/
análisis estático
/
Parallel programming
/
verificación de código
/
certificación de código
/
compiladores certificantes
Acceder
Title:
Programación en Assembler : Simulador MSX88
Author:
González, Alejandro Héctor
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Assembler
/
PROGRAMMING LANGUAGES
/
PROGRAMMING TECHNIQUES
/
MSX88
/
programación
Acceder
Title:
Generando espacios para poner en práctica el hacer científico en la Licenciatura en Ciencias de la Computación
Author:
Bavera, Francisco
/
Regis, Germán
/
Novaira, Maria Marta
/
Scilingo, Gastón
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Ciencias de la Computación
/
educación
/
Autómatas y Lenguajes
/
informática
/
Compiladores
/
Innovación Pedagógica
Acceder
Title:
Análisis de nuevos lenguajes para la enseñanza de programación imperativa en los primeros años de las carreras de Informática de la Universidad Nacional del Noroeste de la Provincia de Buenos Aires
Author:
Osella Massa, Germán Leandro
/
Russo, Claudia Cecilia
/
Sarobe, Mónica
/
Pompei, Sabrina
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
informática
/
Programación
/
enseñanza
/
Lenguajes
/
Metodologías
/
Actualización
Acceder
Title:
RTL fast convolution using the mersenne number transform
Author:
Bria, Oscar N.
/
Villagarcía Wanza, Horacio A.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Fast Convolution
/
Mersenne Number Transform
/
Languages
/
RTL
/
Distributed
/
Parallel processing
Acceder
Title:
Implementação de um algoritmo de criação de checkpoints para a linguagem distribuída DPC++
Author:
Santos, Rafael R. dos
/
Pilla, Maurício Lima
/
Barreto, Marcos Ennes
/
Cavalheiro, Gerson G. H.
/
Navaux, Philippe O. A.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
algoritmo de criação de checkpoints
/
linguagem distribuída DPC++
/
Distributed
/
Algorithms
/
Languages
/
Parallel processing
Acceder
Title:
A synchronous cooperative architecture for the PROSOFT software engineering environment
Author:
Quites Reis, Rodrigo
/
Lima Reis, Carla Alessandra
/
Nunes, Daltro José
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
cooperative software
/
software enviroment
/
formal methods
/
algebraic specification
/
SOFTWARE ENGINEERING
/
Computer-supported cooperative work
/
Programming Environments
Acceder
Title:
Verificación de propiedades temporales en PPML
Author:
Regis, Germán
/
Aguirre, Nazareno Matías
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
métodos formales
/
Formal methods
/
autómatas temporizados
/
Model checking
/
procesos de negocios
/
business processes
Acceder
« Previous
26
27
28
29
30
31
32
33
34
Next »