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/333580.333585

Directions for research in approximate system analysis

Patric Cousot

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 6

doi: 10.1145/333580.333586

Let's evaluate performance algebraically

Marco Bernardo

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 7

doi: 10.1145/333580.333587

Some contributions of the study of abstract communication complexity to other areas of computer science

Juraj Hromkovič

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 8

doi: 10.1145/333580.333588

Graphical represenation and graph transformation

Hartmut Ehrig; Gabriele Taentzer

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 9

doi: 10.1145/333580.333589

Algebraic methods for specification and formal development of programs

Donald Sannella; Andrzei Tarlecki

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 10

doi: 10.1145/333580.333590

Foundational aspects of syntax

Dale Miller; Catuscia Palmidessi

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 11

doi: 10.1145/333580.333591

Extending formal language hierarchies to higher dimensions

Dora Giammarresi; Antonio Restivo

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 12

doi: 10.1145/333580.333592

Operational methods in theoretical computer science

Corrado Priami

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 13

doi: 10.1145/333580.333593

Semantics study and reality of computing

Kohei Honda

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 14

doi: 10.1145/333580.333594

How to simulate free will in a computational device

Rusins Freivalds

Palabras clave: General Computer Science; Theoretical Computer Science.

Pp. 15