Catálogo de revistas impresas de la biblioteca

Revistas en papel

Login

importsource = "01640925-2010-03.txt"

Se encontraron 9 resultados.

Artículo:: Semantic foundations for typed assembly languages
Autor:: Amal Ahmed
Página:: Article 7
Publicación:: ACM Transactions on Programming Languages and Systems
Volúmen:: 32
Número:: 3
Periodo:: 2010
ISSN:: 01640925
SrcID:: 01640925-2010-03.txt

Documento número 6371
Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
Enlace directo

Artículo:: A termination analyzer for Java bytecode based on path-length
Autor:: Fausto Spoto
Página:: Article 8
Publicación:: ACM Transactions on Programming Languages and Systems
Volúmen:: 32
Número:: 3
Periodo:: 2010
ISSN:: 01640925
SrcID:: 01640925-2010-03.txt

Documento número 6372
Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
Enlace directo

Artículo:: Satin: A high-level and efficient grid programming model
Autor:: Rob V. Van Nieuwpoort
Página:: Article 9
Publicación:: ACM Transactions on Programming Languages and Systems
Volúmen:: 32
Número:: 3
Periodo:: 2010
ISSN:: 01640925
SrcID:: 01640925-2010-03.txt

Documento número 6373
Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
Enlace directo

Artículo:: Semantic foundations for typed assembly languages
Autor:: Amal Ahmed
Página:: Article 7
Publicación:: ACM Transactions on Programming Languages and Systems
Volúmen:: 32
Número:: 3
Periodo:: 2010
ISSN:: 01640925
SrcID:: 01640925-2010-03.txt

Documento número 542180
Actualizado el martes, 10 de julio de 2018 10:14:12 a. m.
Creado el martes, 10 de julio de 2018 10:14:12 a. m.
Enlace directo

Artículo:: A termination analyzer for Java bytecode based on path-length
Autor:: Fausto Spoto
Página:: Article 8
Publicación:: ACM Transactions on Programming Languages and Systems
Volúmen:: 32
Número:: 3
Periodo:: 2010
ISSN:: 01640925
SrcID:: 01640925-2010-03.txt

Documento número 542181
Actualizado el martes, 10 de julio de 2018 10:14:12 a. m.
Creado el martes, 10 de julio de 2018 10:14:12 a. m.
Enlace directo

1-5
6-9