Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is Open Access under a CC BY licence. .

Computer science. --- Computer system failures. --- Software engineering. --- Data structures (Computer science). --- Computer logic. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Computing Milieux. --- Data Structures, Cryptology and Information Theory. --- System Performance and Evaluation. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Failures --- Logic design. --- Data structures (Computer scienc. --- Computer system performance. --- Data Structures and Information Theory. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- cryptography --- privacy --- world wide web --- semantics --- programming languages --- formal specification --- program compilers --- formal logic --- computer science --- separation logic --- formal methods --- data privacy --- security systems --- software engineering --- computer software selection and evaluation --- internet --- verification --- authentication --- Information theory. --- Electronic digital computers—Evaluation. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Communication theory --- Communication

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is Open Access under a CC BY licence.

Computer science. --- Computer system failures. --- Computer security. --- Data structures (Computer science). --- Computers. --- Computer Science. --- Systems and Data Security. --- Theory of Computation. --- Computing Milieux. --- Data Structures, Cryptology and Information Theory. --- System Performance and Evaluation. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer privacy --- Computer system security --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Protection --- Security measures --- Failures --- Information theory. --- Data structures (Computer scienc. --- Computer system performance. --- Data Structures and Information Theory. --- Communication theory --- Communication --- security analysis --- cryptography --- privacy --- world wide web --- semantics --- programming languages --- formal specification --- program compilers --- specifications --- formal logic --- computer science --- separation logic --- formal methods --- data privacy --- security systems --- software engineering --- computer software selection and evaluation --- internet --- verification --- authentication

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is Open Access under a CC BY licence.

Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Computing Methodologies. --- Computing Milieux. --- Computer Hardware. --- Computer hardware. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Artificial intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- System design --- System analysis --- Computer software --- Development --- state space --- semantics --- programming languages --- program compilers --- specifications --- formal logic --- model checking --- multi core processors --- computer architecture --- formal methods --- software engineering --- computer software selection and evaluation --- model checker --- verification --- Computer engineering. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Computer Engineering and Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computers --- Distributed processing --- Design and construction