In probability theory and statistics, correlation, also called correlation coefficient, is a numeric measure of the strength of linear relationship between two random variables. In general statistical usage, correlation or co-relation refers to the departure of two variables from independence. In this broad sense there are several coefficients, measuring the degree of correlation, adapted to the nature of data. A number of different coefficients are used for different situations. The best known is the Pearson prod ...

Including:

Correlation - Pearson's product-moment coefficient
Correlation - Mathematical properties Correlation - The sample correlation
Correlation - Non-parametric correlation coefficients Correlation - Other measures of dependence among random variables Correlation - Copulas and correlation Correlation - Correlation matrices Correlation - Correlation does not imply causation

Read more here: » Correlation: Encyclopedia - Correlation

See also:

Correlation, Correlation - Pearson's product-moment coefficient, Correlation - Mathematical properties, Correlation - The sample correlation, Correlation - Non-parametric correlation coefficients, Correlation - Other measures of dependence among random variables, Correlation - Copulas and correlation, Correlation - Correlation matrices, Correlation - Correlation does not imply causation

Read more here: » Correlation: Encyclopedia II - Correlation - Correlation matrices

Correlation - Mathematical properties. The correlation ρX, Y between two random variables X and Y with expected values μX and μY and standard deviations σX and σY is defined as: Since μX = E(X), σX2 = E(X2) − E2(XSee also:

Correlation, Correlation - Pearson's product-moment coefficient, Correlation - Mathematical properties, Correlation - The sample correlation, Correlation - Non-parametric correlation coefficients, Correlation - Other measures of dependence among random variables, Correlation - Copulas and correlation, Correlation - Correlation matrices, Correlation - Correlation does not imply causation

Read more here: » Correlation: Encyclopedia II - Correlation - Pearson's product-moment coefficient

Since is equivalent to it follows that, if y is proportional to x, with proportionality constant k, then x is also proportional to y with proportionality constant 1/k. If y is proportional to x, then the graph of y as a function of x will be a straight line passing through the origin with the s ...

See also:

Proportionality mathematics, Proportionality mathematics - Definition, Proportionality mathematics - Examples, Proportionality mathematics - Properties, Proportionality mathematics - Inverse proportionality, Proportionality mathematics - Exponential and logarithmic proportionality, Proportionality mathematics - Experimental determination

Read more here: » Proportionality mathematics: Encyclopedia II - Proportionality mathematics - Properties

As noted in the definition above two proportional variables are sometime said to be directly proportional. This is done so as to contrast proportionality with inverse proportionality. Two variables are inversely proportional (or varying inversely) if one of the variables is directly proportional with the multiplicative inverse of the other, or equivalently if their product is a constant. It follows, that the variable y is inversely proportional to the variable x if t ...

See also:

Proportionality mathematics, Proportionality mathematics - Definition, Proportionality mathematics - Examples, Proportionality mathematics - Properties, Proportionality mathematics - Inverse proportionality, Proportionality mathematics - Exponential and logarithmic proportionality, Proportionality mathematics - Experimental determination

Read more here: » Proportionality mathematics: Encyclopedia II - Proportionality mathematics - Inverse proportionality

A variable y is exponentially proportional to a variable x, if y is directly proportional to the exponential function of x, that is if there exists a non-zero constant k such that Likewise, a variable y is logarithmically proportional to a variable x, if y is directly proportional to the logarithm of See also:

Proportionality mathematics, Proportionality mathematics - Definition, Proportionality mathematics - Examples, Proportionality mathematics - Properties, Proportionality mathematics - Inverse proportionality, Proportionality mathematics - Exponential and logarithmic proportionality, Proportionality mathematics - Experimental determination

Read more here: » Proportionality mathematics: Encyclopedia II - Proportionality mathematics - Exponential and logarithmic proportionality

More formally, the variable y is said to be proportional (or sometimes directly proportional) to the variable x, if there exists a constant non-zero number k such that . The relation is often denoted: and the constant ratio is called the proportionality constant or consta ...

See also:

Proportionality mathematics, Proportionality mathematics - Definition, Proportionality mathematics - Examples, Proportionality mathematics - Properties, Proportionality mathematics - Inverse proportionality, Proportionality mathematics - Exponential and logarithmic proportionality, Proportionality mathematics - Experimental determination

Read more here: » Proportionality mathematics: Encyclopedia II - Proportionality mathematics - Definition

Autocorrelation is a mathematical tool used frequently in signal processing for analysing functions or series of values, such as time domain signals. It is the cross-correlation of a signal with itself. Autocorrelation is useful for finding repeating patterns in a signal, such as determining the presence of a periodic signal which has been buried under noise, or identifying the fundamental frequency of a signal which doesn't actually contain that frequency component, but implies it with many harmonic frequencies. Autocor ...

Including:

Autocorrelation - Definitions
Autocorrelation - Statistics Autocorrelation - Signal processing
Autocorrelation - Properties Autocorrelation - Applications

Read more here: » Autocorrelation: Encyclopedia - Autocorrelation

The word random is used to express apparent lack of purpose, cause, or order. The term randomness is often used synonymously with a number of measurable statistical properties, such as lack of bias or correlation. Randomness has an important place in science and philosophy. Randomness - History. Humankind has been concerned with randomness since prehistoric times, mostly through divination (reading messages in random patterns) and gambling. The opposition between free will ...

Including:

Randomness - History Randomness - Randomness versus unpredictability Randomness - Misconceptions/logical fallacies
Randomness - A number is due Randomness - A number is cursed
Randomness - Study of randomness
Randomness - In philosophy Randomness - In biology Randomness - In the natural sciences Randomness - Source of randomness Randomness - In mathematics Randomness - In communication theory Randomness - In finance
Randomness - Applications and use of randomness Randomness - Generating randomness Randomness - Quotations Randomness - Books

Read more here: » Randomness: Encyclopedia - Randomness

List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem. Alan Turing Proceedings of the London Mathematical Society, Series 2, 42 (submitted May 28, 1936, read November 12, 1936), pp 230–265. Errata appeared in Series 2, 43 (1937), pp 544–546. Online version (MS IExplorer only) PDF version ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computability

List of publications in computer science - A mathematical theory of communication. C.E. Shannon Bell System Technical Journal, 27:379–423,623–656, 1948 Online copy (HTML) Description: This paper created communication theory and information theory. Importance: Topic creator, Breakthrough, Introduction, Influence List of publications in computer science - Error detecting and error correcting codes. Richard Hamming Bell Systems ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Information theory

List of publications in computer science - The Computer from Pascal to von Neumann. Herman H. Goldstine Princton University Press, 1972, ISBN 0-691-08104-2 Description: Perhaps the first book on the history of computation. Importance: List of publications in computer science - A History of Computing in the Twentieth Century. edited by: Nicholas Metropolis J. Howlett Gian-Carlo Rota Academic Press, 1980, ISBN 0-12-49 ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - History of Computation

List of publications in computer science - Assigning meanings to programs. Robert W. Floyd Mathematical Aspects of Computer Science, pages 19–32, 1967 Description: Introduced the idea of attaching logical assertions to points in a program in order to prove its correctness and influenced C. A. R. Hoare's seminal work on program verification ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Formal verification

List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee. Peter Naur, Brian Randell (eds.) Garmisch, Germany, 7–11 October 1968, Brussels, Scientific Affairs Division, NATO (1969) 231pp. Online copy (PDF) Description: Conference of leading figures in software fie ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Software engineering

List of publications in computer science - The Structure of THE-Multiprogramming System. Dijkstra, E. W. Communication of the ACM, Vol. 11, No. 5 May 1968, pp. 345–346 Online copy (HTML) Description: The introduction of basic primitives like mutex as the basis of multiprocessing programming. Importance: Breakthrough, Influence List of publications in computer science - How to Make a Multiprocessor Computer That Correctly ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Parallel computing

List of publications in computer science - Ethernet: Distributed packet switching for local computer networks. R.M. Metcalfe, D.R. Boggs Communications of the ACM 19, 7 (July 1976), 395–404 Online copy (HTML) Description: The Ethernet protocol. Importance: Influence, Latest and greatest List of publications in computer science - A Dynamic Network Architecture. Sean W. O'Malley, Larry L. Peterson ACM Tra ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computer networks

List of publications in computer science - The Byzantine Generals Problem. Leslie Lamport, Robert Shostak, Marshall Pease Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press Online version Description: Impossibility result for distributed computing, see Byzantine failure. Importance: Influence, Breakthrough ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Distributed computing

List of publications in computer science - On the computational complexity of algorithms. Juris Hartmanis Richard Stearns Trans. Amer. Math. Soc. 117 (1965), 285–306. Description: This paper gave computational complexity its name and seed. Importance: Topic creator, Breakthrough, Influence List of publications in computer science - The complexity of theorem proving procedures. S. A. Cook Proceedi ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computational complexity theory

List of publications in computer science - A machine program for theorem proving. M. Davis, G. Logemann, D. Loveland Communications of the ACM, 5:394–397, 1962. Description: The DLL algorithm. The basic algorithm for SAT and other NP-Complete problems. Importance: Breakthrough, Influence List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle. J. Alan Robi ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Algorithms

List of publications in computer science - A formal theory of inductive inference. Ray Solomonoff Information and Control, vol. 7, pp. 1–22, March 1964; pp. 224–254, June 1964. Description: This was the beginning of Algorithmic information theory and Kolmogorov complexity. Note that though Kolmogorov complexity is named after Andrey Kolmogorov, he said that the seeds of that idea are due to Ray Solomonoff. Andrey Kolmogorov contributed a lot to this a ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Algorithmic information theory