ACM Computing Surveys
, Volume 18
Volume 18, Number 1, March 1986
Ronald H. Perrott
,
Adib Zarea-Aliabadi
:
Supercomputer Languages.
5-22
Electronic Edition
(
ACM DL
)
BibTeX
Zvi Galil
:
Efficient Algorithms for Finding Maximum Matching in Graphs.
23-38
Electronic Edition
(
ACM DL
)
BibTeX
Jayadev Misra
:
Distributed Discrete-Event Simulation.
39-65
Electronic Edition
(
ACM DL
)
BibTeX
Roland T. Chin
,
Charles R. Dyer
:
Model-Based Recognition in Robot Vision.
67-108
Electronic Edition
(
ACM DL
)
BibTeX
Volume 18, Number 2, June 1986
Nancy G. Leveson
:
Software Safety: Why, What, and How.
125-163
Electronic Edition
(
ACM DL
)
BibTeX
Rudy Hirschheim
:
The Effect of A Priori Views on the Social Implications of Computing: The Case of Office Automation.
165-195
Electronic Edition
(
ACM DL
)
BibTeX
Toby J. Teorey
,
Dongqing Yang
,
James P. Fry
:
A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model.
197-222
Electronic Edition
BibTeX
Volume 18, Number 3, September 1986
Ali Mili
,
Jules Desharnais
:
Formal Models of Stepwise Refinement of Programs.
231-276
Electronic Edition
(
ACM DL
)
BibTeX
, corrigendum:
ACM Computing Survey 19
(2): 195 (1987)
Barbara G. Ryder
,
Marvin C. Paull
:
Elimination Algorithms for Data Flow Analysis.
277-316
Electronic Edition
(
ACM DL
)
BibTeX
Volume 18, Number 4, December 1986
Carlo Batini
,
Maurizio Lenzerini
,
Shamkant B. Navathe
:
A Comparative Analysis of Methodologies for Database Schema Integration.
323-364
Electronic Edition
BibTeX
Arthur H. Veen
:
Dataflow Machine Architecture.
365-396
Electronic Edition
(
ACM DL
)
BibTeX
Copyright ©
Sat May 16 23:54:44 2009 by
Michael Ley
(
ley@uni-trier.de
)