1. isn = "00045411"
Se encontraron 923 resultados.
Artículo:

Speed scaling to manage energy and temperature

Autor:

Nikhil Bansal

Tracy Kimbrel

Kirk Pruhs

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

1

Periodo:

Enero 2007

ISSN:

00045411

SrcID:

00045411-2007-01.txt

  • Documento número 1145545
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

Deciding equivalences among conjunctive aggregate queries

Autor:

Sara Cohen

Werner Nutt

Yehoshua Sagiv

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145546
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

A characterization of regular expressions under bisimulation

Autor:

J. C. M. Baeten

F. Corradini

C. A. Grabmayer

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145547
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

The rational numbers as an abstract data type

Autor:

J. A. Bergstra

J. V. Tucker

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145548
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

The measurement calculus

Autor:

Vincent Danos

Elham Kashefi

Prakash Panangaden

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 1145549
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo