Choose an application

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

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

Computer science. --- Computer system failures. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Computer logic. --- Computer Science. --- System Performance and Evaluation. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Computer system performance. --- Computer software. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Foundations --- Failures --- Computer software --- Development

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