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.242383

Safety, security and quality

Joseph Sifakis

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 124

doi: 10.1145/242224.242384

Hybrid and incremental modelchecking techniques

Prasad Sistla

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 125

doi: 10.1145/242224.242385

Tools get formal methods into practice

Bernhard Steffen; Tiziana Margaria

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 126

doi: 10.1145/242224.242386

The meaning of “formal”

Pierre Wolper

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 127

doi: 10.1145/242224.242387

Software engineering research directions

Jim Woodcock

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 128

doi: 10.1145/242224.242389

Implications of near-real-time three-dimensional interfaces

Steve Bryson

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 129

doi: 10.1145/242224.242390

Making the technology serve the user

Dick C. A. Bulterman

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 130

doi: 10.1145/242224.242391

Databases and the Web

Tiziana Catarci

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 131

doi: 10.1145/242224.242392

Strategic directions in visual languages research

Wayne Citrin

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 132

doi: 10.1145/242224.250708

Tailorable information visualization

Isabel F. Cruz

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 133