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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (165)

Show More Show Less

Author

Simari, Guillermo Ricardo (17)
Aguirre, Jorge (14)
Arroyo, Marcelo (13)
Fillottrani, Pablo Rubén (10)
Cecchi, Laura (9)
Falappa, Marcelo Alejandro (8)
Bavera, Francisco (7)
Cobo, María Laura (6)
García, Alejandro Javier (6)
Montejano, Germán Antonio (6)

Show More Show Less

Subject

Ciencias Informáticas (164)
Languages (114)
Semantics (55)
SOFTWARE ENGINEERING (29)
ARTIFICIAL INTELLIGENCE (27)
informática (17)
Intelligent agents (15)
base de datos (15)
educación (12)
Software (10)

Show More Show Less

Year

2012 (165)
2003 (29)
2002 (22)
2006 (20)
2004 (16)
2005 (15)
1997 (11)
2011 (10)
2001 (9)
2000 (5)

Show More Show Less

Document Type

Sin Especificar (163)
Artículo (1)
Tesis (1)

Show More Show Less

Language

Español (102)
Inglés (55)
Portugués (8)

Show More Show Less

Your search

Subject: Semantics of Programming Languages Repository: 37 Year: 2012

Sort by Score Title Year -

161-165 from 165 results (0.013 seconds)

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: 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: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

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

« Previous 9 10 11 12 13 14 15 16 17 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723