1979
44 references published this year.
TI announces home computer
Advertisement (1979) · Institution of Engineering and Technology (IET)
Isomorphism and higher order equivalence
Miklós Ajtai (1979) · Annals of Mathematical Logic
Recursive assertions are not enough - or are they?
Krzysztof R. Apt and others (1979) · Theoretical Computer Science · Elsevier BV
Ten years of Hoare's logic, a survey
K. R. Apt (1979) · Proceedings of the 5th Scandinavian Logic Symposium · Aalborg University Press
A Computational Logic
Robert S. Boyer and others (1979) · Academic Press
On a Ternary Model of Gate Networks
J. A. Brzozowski and others (1979) · Institute of Electrical and Electronics Engineers (IEEE)
Symbolic Simulation for Correct Machine Design
W. C. Carter and others (1979) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
John C. Cherniavsky and others (1979) · Journal of the ACM · Association for Computing Machinery
Programming language constructs for which it is impossible to obtain good Hoare axiom systems
Edmund M. Clarke Jr. (1979) · Journal of the ACM
Social Change and Crime Rate Trends: A Routine Activity Approach
L. E. Cohen and others (1979) · SAGE Publications
The foundations of a provably secure operating system (PSOS)
Richard J. Feiertag and others (1979) · IEEE
Sheaves and logic
Michael Paul Fourman and others (1979) · Lecture notes in mathematics · Springer Nature
Computers and Intractability: A Guide to the Theory of NP-Completeness
M. R. Garey and others (1979) · W. H. Freeman
Edinburgh LCF: A Mechanised Logic of Computation
Michael J. C. Gordon and others (1979) · Springer Berlin Heidelberg
First-Order Dynamic Logic
David Harel (1979) · Springer
Algorithm AS 136: A K-Means Clustering Algorithm
John A. Hartigan and others (1979) · Journal of the Royal Statistical Society Series C (Applied Statistics) · Oxford University Press
Full abstraction for a simple parallel programming language
M. C. B. Hennessy and others (1979) · Springer Berlin Heidelberg
Introduction to Automata Theory, Languages and Computation
J.E. Hopcroft and others (1979) · Addison Wesley
Why Nuclear Superiority Doesn't Matter
Robert Jervis (1979)
StarOS, a multiprocessor operating system for the support of task forces
Anita K. Jones and others (1979) · ACM Symposium on Operating Systems Principles (SOSP)
Report of the President's Commission on the Accident at Three Mile Island
John G. Kemeny (1979) · President's Commission on the Accident at Three Mile Island, Washington, D.C.
An extension of the Dulmage-Mendelsohn theorem
K. H. Kim (1979) · Elsevier BV
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
Lamport (1979) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers (IEEE)
Crash Recovery in a Distributed Data Storage System
Butler W. Lampson and others (1979) · Xerox Palo Alto Research Center
Theory Net: An Electronic Mail System
Larry Landweber (1979)
On a theory of decision problems in programming languages
Hans Langmaack (1979) · Mathematical Studies of Information Processing · Springer Berlin Heidelberg
Design Verification Based on Functional Abstraction
Sany Leinwand and others (1979) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
The Modal Logic of Programs
Zohar Manna and others (1979) · Defense Technical Information Center
Digital Logic and Computer Design
M. Morris Mano (1979) · Prentice Hall, Inc
Alpha-particle-induced soft errors in dynamic memories
T.C. May and others (1979) · Institute of Electrical and Electronics Engineers (IEEE)
An Investigation of a Programming Language with a Polymorphic Type Structure
N. McCracken (1979)
Formal semantic description of register transfer language elements and mechanized simulator construction
P. Meinen (1979) · Proceedings of the 4th International Symposium on Computer Hardware Description Languages
Concurrent Processes and Their Syntax
George Milne and others (1979) · Journal of the ACM · Association for Computing Machinery (ACM)
Lcf: A way of doing proofs with a machine
Robin Milner (1979) · Lecture notes in computer science · Springer Science+Business Media
UCLA Secure Unix
Gerald J. Popek and others (1979) · IEEE
Identity and existence in intuitionistic logic
Dana Scott (1979) · Applications of Sheaves · Springer Berlin Heidelberg
How to share a secret
A. Shamir (1979) · Association for Computing Machinery (ACM)
Ethica
Spinoza, (1979) · 1665. 1979 Wereldbibliotheek edition. Proposition 52: An object which we have seen previously together with other objects, or which in our opinion only has attributes in common with many other objects, we will not pay the same attention as an object which we imagine to have something special
The BINAC: A Case Study in the History of Technology
Nancy Stern (1979) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Computer hardware description languages and their applications
W. M. vanCleemput (1979) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Specification and verification of the UCLA Unix security kernel
Bruce J. Walker and others (1979) · SOSP ’79: Proceedings of the seventh ACM symposium on Operating systems principles
Theory of International Politics
Kenneth Waltz (1979)
The Cambridge CAP Computer and Its Operating System
Maurice Vincent Wilkes and others (1979) · Elsevier, January 1979. ISBN 0-444-00357-6
Effect of Cosmic Rays on Computer Memories
J. F. Ziegler and others (1979) · Science · American Association for the Advancement of Science (AAAS)