1. importsource = "1996-01.txt"
Se encontraron 1814 resultados.
Artículo:

The Benefits of Relaxing Punctuality

Autor:

R. Alur

T. Feder

T. A. Henzinger

Página:

116

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

43

Número:

1

Periodo:

Enero 1996

ISSN:

00045411

SrcID:

00045411-1996-01.TXT

  • Documento número 1670629
  • Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Enlace directo
Artículo:

The Asymptotic Complexity of Merging Networks

Autor:

P. B. Miltersen

M. Paterson

J. Tarui

Página:

147

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

43

Número:

1

Periodo:

Enero 1996

ISSN:

00045411

SrcID:

00045411-1996-01.TXT

  • Documento número 1670630
  • Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Enlace directo
Artículo:

Automated Proofs of Object Code for a Widely Used Microprocessor

Autor:

R. S. Boyer

Yu

Página:

166

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

43

Número:

1

Periodo:

Enero 1996

ISSN:

00045411

SrcID:

00045411-1996-01.TXT

  • Documento número 1670631
  • Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
  • Enlace directo
Artículo:

Estrategias de convergencia para equilibrio liquido-liquido. El problema del “flash” negativo

Autor:

Fernando Barragán-Aroche

Enrique Bazúa Rueda

Página:

5

Publicación:

Tecnología Ciencia Educación

Volúmen:

11

Número:

1-2

Periodo:

Enero-Diciembre 1996

ISSN:

01866036

SrcID:

01866036-1996-01.txt

  • Documento número 1699748
  • Actualizado el lunes, 13 de marzo de 2023 12:43:33 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:43:33 p. m.
  • Enlace directo
Artículo:

Opciones de diseño para la sección de enfriamiento y la torre desentanizadora de una planta recuperadora de vapores para una refinería

Autor:

Marisol Garfias-Vázquez

Francisco José Barnés-de-Castro

Página:

17

Publicación:

Tecnología Ciencia Educación

Volúmen:

11

Número:

1-2

Periodo:

Enero-Diciembre 1996

ISSN:

01866036

SrcID:

01866036-1996-01.txt

  • Documento número 1699749
  • Actualizado el lunes, 13 de marzo de 2023 12:43:33 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:43:33 p. m.
  • Enlace directo