A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Call for Papers
1976
Computer
Preserved Fulltext
ADVERTISERS INDEX-JUNE 1976
ACM (Association for Computing Machinery) ....
........ 91
ACM Computer Science Conference-1977 .
............. 71
Arya-83
17
5
45
94
Inside Front Cover
PRODUCT ...
Stone, program Operations Research and Computer Science: Special Issue of Operations Research, late 1977. ...
doi:10.1109/c-m.1976.218622
fatcat:mquvlj53xzgdtblfmtol7xt2hq
Bibliography on the evaluation of numerical software
1979
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Vichnevetsky,
Available from AICA, Rutgers University, Department
of Computer Science, New Brunswick, New Jersey 08903,
pp. 40-45.
3.~9
EISENSTAT, S C; SCHgLTZ, M B; SHERMAN, A H (1977): An
Auxiliary ...
grants from the Sweden-America Foundation and the National Science Foundation, while the production was financed by the Office of Naval Research. ...
doi:10.1016/0771-050x(79)90011-1
fatcat:nvl2qsirmzfnpb7ohpf2ihce4u
Abstraction and verification in Alphard
1977
Proceedings of an ACM conference on Language design for reliable software -
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23. ...
London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). ...
doi:10.1145/800022.808321
fatcat:zuuerylr3fhc7cbzpijepsbinq
Abstraction and verification in Alphard
1977
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23. ...
London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). ...
doi:10.1145/390018.808321
fatcat:6mp6jshmnjg5thssngqrusca3u
Abstraction and verification in Alphard: defining and specifying iteration and generators
1977
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23. ...
London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). ...
doi:10.1145/359763.359782
fatcat:2ckqb2i6rrdsnipkjasaia3yaa
Abstraction and verification in Alphard
1977
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23. ...
London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). ...
doi:10.1145/390019.808321
fatcat:owxireuadvagna7utuefnfbb3q
Abstraction and verification in Alphard
1977
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23. ...
London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). ...
doi:10.1145/390017.808321
fatcat:26pqysz4pnfb5e3sawaggsuory
Page 27 of Journal of Research and Practice in Information Technology Vol. 12, Issue 1
[page]
1980
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Conference on Very High Level Languages, in ACM Sigplan Notices, 9, 4, p. 50. ...
ACM, 15,3, p. 157.
SPIER, M.J. (1973): “A Model Implementation for Protective Domains”, /nt. journal of Computer and Information Sciences, 2,3, p. 201. ...
Book Review: Data Base Systems - A Practical Reference, by Ian Palmer
1978
IEEE Data Engineering Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Kerr, "Structure memory designs for a data base computer," Proc. ACM Annual Conf., pp. 343-350, 1977. C. ...
., "A note on associative processors for data management," IBM ReportRJ 1941 (27630), Computer Science, Feb. 1977. 111.20] Lipovski, G. ...
Co sponsored by ACM SIGARCH and the IEEE Computer Society, the conference covers current trends in Special Purpose Processors, Data Base Architectures, Language- ...
dblp:journals/debu/X78a
fatcat:2qr2zq7vbnfbpk7zl24ezyexqe
Page 57 of Journal of Research and Practice in Information Technology Vol. 20, Issue 2
[page]
1988
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Symp. on Computer Architecture, Ann Arbor, Michigan, pp. 348-354, June 1984.
PETERSON, J.L. (1977): “Petri Nets”, ACM Computing Surveys, Vol. 9, No. 3, pp. 223-252, September 1977. ...
From January 1980 to December 1983, he was an Assistant Professor of Computer Science at the University of lowa, lowa City, lowa (USA). ...
Page 61 of Journal of Research and Practice in Information Technology Vol. 14, Issue 2
[page]
1982
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Proc. 8th World Computer Conference, North-Holland, pp. 337-342.
LISKOV, B., SNYDER, A., ATKINSON, R. and SCHAFFERT, C. (1977), Abstraction Mechanisms in CLU. Comm, ACM, Vol. 20, No. 8, pp. 564-576. ...
Proc, 4th Australian Computer Science Conference, Brisbane, pp. 1-13.
BISHOP, P.B. (1977), Computer Systems with a Very Large Address Space and Garbage Collection. Ph.D. Thesis, MIT, May 1977. ...
Page 758 of Mathematical Reviews Vol. , Issue 80B
[page]
1980
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Proceedings of a Conference on Theoretical Computer Science (Univ. Waterloo, Waterloo, Ont., 1977), pp. 262-274, Univ. Waterloo, Waterloo, Ont., 1978. ...
Ullman [ACM Trans. Database Systems 2 (1977), no. |,
1—10]). ...
Page 2162 of Mathematical Reviews Vol. , Issue 82e
[page]
1982
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Systems Theory 13 (1979/80), no. 3, 187-207; Conference Record of the Ninth Annual ACM Symposium on Theory of Computing (Boulder, Colo., 1977), pp. 228-238, ACM, New York, 1977; see MR 56 #17176] provide ...
Conference Record of the Tenth Annual ACM Symposium on
Theory of Computing (San Diego, Calif., 1978), pp. 150-161,
ACM, New York, 1978. ...
Page 137 of Journal of Research and Practice in Information Technology Vol. 10, Issue 4
[page]
1978
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
SMITH, J.M. and SMITH, D.C.P. (1977), Database abstractions: aggregation and generalisation, ACM Transactions on Database Systems, 2, 2, pp. 105-133. ...
SCHMID, H.A. and SWENSON, J.R. (1975), On the semantics of the relational model, Proceedings of ACM SIGMOD Conference, pp. 211-233. ...
Page 117 of Journal of Research and Practice in Information Technology Vol. 21, Issue 3
[page]
1989
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
SMITH, J M and SMITH, D C P (1977): Database Abstractions: Aggregation and Generalisation, ACM Trans. Database Sys.,
Vol 2, No.2, pp 105-133. ...
of Technology Sydney NSW 2000
Australia
The 16th International Conference
Ron Sacks-Davis Department of Computing Science
TUTORIAL CO-CHAIRS
John Zeleznikow
Department of Computer Science La Trobe University ...
« Previous
Showing results 1 — 15 out of 3,477 results