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
Repository:
37
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
881-890 from
995
results
(0.027 seconds)
Title:
An extension to EMTPL
Author:
Cobo, María Laura
/
Falappa, Marcelo Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Programming Languages
/
Metric Temporal Logic
/
Deductive Databases
/
Negation
/
base de datos
/
Languages
/
Metrics
/
SOFTWARE ENGINEERING
Acceder
Title:
Typing polymorphic recursion
Author:
Figueiredo, Lucília Camarão de
/
Camarão, Carlos
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
informática
/
Polymorphism
/
Programming languages
/
Type inference
Acceder
Title:
LaST: Language Study Tool
Author:
Molinari, Enrique
/
Lindner, Edgard
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
tecnología
/
Semantics
/
educación
/
Computer science education
/
informática
/
computer education technology
/
programming language semantics
/
teaching programming languages
Acceder
Title:
Los latidos del tiempo: un viaje imaginario desde el origen del universo hasta nuestros días
Author:
Lucero, A. L.
/
Salerno, Nicolás
/
Voglino, Damián
/
Andolfo, María
/
Trotta, H.
/
Roma, M.
/
Dieguez, D.
Language:
Español
Repository:
37
Subject:
Ciencias Naturales
/
Astronomía
/
extensión
/
ciencia
/
educación no formal
/
universo
/
interdisciplina
/
naturaleza
/
extension
/
science
/
non-formal education
/
universe
/
interdisciplinary
/
nature
/
extensão
/
ciência
/
educação não-formal
/
universo,
/
natureza
Acceder
Acceder
Title:
Los guardianes del museo: nuevas formas de acercar el museo a la comunidad
Author:
Martins, María Eugenia
/
Scazzola, María Soledad
/
Pérez, María Emilia
/
Santos, Gabriela Coelho dos
/
Schierff, Germán
/
González Dubox, Raúl
Language:
Español
Repository:
37
Subject:
Ciencias Naturales
/
museo
/
educación no formal
/
visitantes
/
actividades lúdicas
/
interpelación
/
museum
/
non-formal education
/
visitors
/
recreational activities
/
question
/
educação não-formal
/
museu
/
atividades recreativas
/
interpelação
Acceder
Acceder
Title:
Democracia comunal y justicia distributiva en Ronald Dworkin
Author:
Liaudat, Santiago
Language:
Español
Repository:
37
Subject:
Humanidades
/
Filosofía
/
justicia distributiva, desigualdad económica, democracia comunal, democracia formal, Ronald Dworkin; ;
/
Justicia Social
/
Democracia
/
distributive justice, economic inequality, communal democracy, formal democracy
/
justiça distributiva, desigualdade econômica, democracia comunitária, democracia formal
Acceder
Acceder
Title:
Implementing a typed assembly language and its machine model
Author:
Medel, Ricardo
/
Lucotte, Matthieu
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Programming languages
/
type systems
/
typed assembly languages
/
compilers
/
resources awareness
Acceder
Title:
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Author:
Matos, Alexandre Veloso de
/
Gonçalves Riso, Bernardo
/
Notare, Mirela Sechi Moretti Anonni
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
LOTOS
/
java
/
carregador de applets
/
Security and Protection
/
Distributed systems
/
PROGRAMMING LANGUAGES
Acceder
Title:
Formalizing relations between use cases in the unified modeling language
Author:
Giandini, Roxana Silvia
/
Pons, Claudia
/
Baum, Gabriel Alfredo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Object-oriented design methods
/
Semantics
/
graphical modeling languages
/
use cases
Acceder
Title:
Analizando el uso de (Dyn)Alloy como herramienta educativa
Author:
Cornejo, César
/
Politano, Mariano
/
Raverta, Fernando
/
Permigiani, Sonia
/
Ponzio, Pablo Daniel
/
Regis, Germán
/
Aguirre, Nazareno Matías
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Languages
/
Requirements/Specifications
Acceder
« Previous
85
86
87
88
89
90
91
92
93
Next »