1. num = "05"
Se encontraron 3545 resultados.
Artículo:

Mostly static program partitioning of binary executables

Autor:

Efe Yardimci

Michael Franz

Página:

17.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

05

Periodo:

Junio 2009

ISSN:

01640925

SrcID:

01640925-2009-05.txt

  • Documento número 625725
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Certificate translation for optimizing compilers

Autor:

Gilles Barthe

Benjamin Grégoire

César Kunz, Tamara Rezk

Página:

18.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

05

Periodo:

Junio 2009

ISSN:

01640925

SrcID:

01640925-2009-05.txt

  • Documento número 625726
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

A theory of contracts for Web services

Autor:

Giuseppe Castagna

Nils Gesbert

Luca Padovani

Página:

19.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

05

Periodo:

Junio 2009

ISSN:

01640925

SrcID:

01640925-2009-05.txt

  • Documento número 625727
  • Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:12 a. m.
  • Enlace directo
Artículo:

Anchorage Strength and Behavior of Headed Bars in Exterior Beam-Column Joints

Autor:

Sung-Chul Chun

Bohwan Oh

Sung-Ho Lee

Clay J. Naito

Página:

579

Publicación:

ACI Structural Journal

Volúmen:

106

Número:

05

Periodo:

Septiembre – Octubre 2009

ISSN:

08893241

SrcID:

08893241-2009-05.txt

  • Documento número 627701
  • Actualizado el martes, 10 de julio de 2018 10:24:27 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:27 a. m.
  • Enlace directo
Artículo:

Seismic Behavior of Nonseismically Detailed Interior Beam-Wide Column and Beam-Wall Connections

Autor:

Bing Li

Tso-Chien Pan

Cao Thanh Ngoc Tran

Página:

591

Publicación:

ACI Structural Journal

Volúmen:

106

Número:

05

Periodo:

Septiembre – Octubre 2009

ISSN:

08893241

SrcID:

08893241-2009-05.txt

  • Documento número 627702
  • Actualizado el martes, 10 de julio de 2018 10:24:27 a. m.
  • Creado el martes, 10 de julio de 2018 10:24:27 a. m.
  • Enlace directo