Catálogo de publicaciones - revistas

Compartir en
redes sociales

ACM Computing Surveys (CSUR)

Resumen/Descripción – provisto por la editorial en inglés
A journal of the Association for Computing Machinery (ACM), which publishes surveys, tutorials, and special reports on all areas of computing research. Volumes are published yearly in four issues appearing in March, June, September, and December.
Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No detectada desde mar. 1969 / hasta dic. 2023 ACM Digital Library

Información

Tipo de recurso:

revistas

ISSN impreso

0360-0300

ISSN electrónico

1557-7341

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

Cobertura temática

matematica

Matemáticas

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1145/242224.242293

Concurrency concepts

Vaughan R. Pratt

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 54

doi: 10.1145/242224.242294

Research directions for concurrency

Joseph Sifakis

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 55

doi: 10.1145/242224.242296

Method engineering for real-life concurrent systems

Bernhard Steffen; Tiziana Margaria

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 56

doi: 10.1145/242224.242297

Programming languages, analysis tools, and concurrency theory

Bent Thomsen

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 57

doi: 10.1145/242224.242298

Where is the algorithmic support?

Pierre Wolper

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 58

doi: 10.1145/242224.242299

Constraint databases

Alexander Brodsky

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 59

doi: 10.1145/242224.242301

The virtuality of constraints and the constraints of virtuality

Philippe Codognet

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 60

doi: 10.1145/242224.242302

Bucket elimination

R. Dechter

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 61

doi: 10.1145/242224.242303

Constraint programming

M. Dincbas

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 62

doi: 10.1145/242224.242304

In pursuit of the holy grail

E. Freuder

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 63