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

Network protocols between exact specifications and pragmatic implementations

Mohamed G. Gouda

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 43

doi: 10.1145/242224.242280

Concurrency theory will set standards for description and analysis of software

Jan Friso Groote

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 44

doi: 10.1145/242224.242282

Unifying theories

C. A. R. Hoare

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 46

doi: 10.1145/242224.242284

Issues in concurrent systems research

David Luginbuhl

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 47

doi: 10.1145/242224.242285

Logical foundations for open system design

Dale Miller

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 48

doi: 10.1145/242224.242286

A discipline of multiprogramming

Jayadev Misra

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 49

doi: 10.1145/242224.242287

Logics for concurrency

Faron Moller

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 50

doi: 10.1145/242224.242289

Causal computing

Ugo Montanari

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 51

doi: 10.1145/242224.242290

Concurrency

Rocco De Nicola; Scott A. Smolka

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 52

doi: 10.1145/242224.242292

Models for mobile computing agents

Sanjiva Prasad

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 53