Choose an application

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

Computer science --- Informatique --- Computer Science --- 681.3*F2 --- 681.3*F32 --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 519.72 --- Computer science. --- Informatics --- Science --- Computer Science. --- Algorithmes --- Sémantique --- graph Algorithms --- Cryptography --- Pattern Matching --- Vlsi --- Complexity --- kolmogorov --- Turing Machines --- Specification --- Temporal Logic --- algebraic --- Database Theory --- Modal Logic --- Formal Models --- Semantics --- Type Systems --- Rewriting --- Sémantique

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. --- Computer logic. --- Computer science --- Artificial intelligence. --- Computers. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- System Performance and Evaluation. --- The Computing Profession. --- Discrete Mathematics in Computer Science. --- Mathematics. --- 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 --- 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 --- Computer mathematics --- Discrete mathematics --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Mathematics --- Failures --- Logic design. --- Computer system performance. --- Computer industry. --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Electronic industries --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics. --- artificial intelligence --- computer software --- selection and evaluation --- formal logic --- graph theory --- modal logic --- petri nets --- program compilers --- programming language --- semantics --- separation logic --- software engineering --- theorem proving --- type systems --- verification --- Electronic digital computers—Evaluation. --- Professions. --- Discrete mathematics. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Career patterns --- Careers --- Jobs --- Professional services --- Occupations --- Interprofessional relations --- Vocational guidance