Listing 1 - 3 of 3 |
Sort by
|
Choose an application
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
Mathematical logic. --- Computer science—Mathematics. --- Programming languages (Electronic computers). --- Computer programming. --- Artificial intelligence. --- Computer logic. --- Computer organization. --- Mathematical Logic and Foundations. --- Discrete Mathematics in Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Logic in AI. --- Computer Systems Organization and Communication Networks. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Organization, Computer --- Electronic digital computers --- Computer science logic --- Logic, Symbolic and mathematical --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Programming --- Mathematical Logic and Foundations --- Discrete Mathematics in Computer Science --- Programming Languages, Compilers, Interpreters --- Programming Techniques --- Logic in AI --- Computer Systems Organization and Communication Networks --- categorical models and logics --- language theory, automata, and games --- modal, spatial, and temporal logics --- type theory and proof theory --- concurrency theory and process calculi --- rewriting theory --- semantics of programming languages --- program analysis, correctness, transformation, and verification --- logics of programming --- software specification and refinement --- emerging models of computation --- logical aspects of computational complexity --- models of software security --- logical foundations of data bases --- mathematics --- artificial intellegence --- formal logic --- linguistics --- Mathematical foundations --- Discrete mathematics --- Maths for computer scientists --- Programming & scripting languages: general --- Compilers & interpreters --- Computer programming / software engineering --- Artificial intelligence --- Computer networking & communications --- Discrete mathematics. --- Compilers (Computer programs). --- Logic programming. --- Computer engineering. --- Computer networks. --- Compilers and Interpreters. --- 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 --- Computer programming --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Distributed processing --- Design and construction
Choose an application
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
Choose an application
This book is Open Access under a CC BY licence.
Computer science. --- Artificial intelligence. --- Computational complexity. --- Data structures (Computer scienc. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Discrete Mathematics in Computer Science. --- Data Structures. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Data structures (Computer science) --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Mathematical logic. --- Computer science—Mathematics. --- Data structures (Computer science). --- Programming languages (Electronic computers). --- Computer programming. --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Programming --- Computer science --- Artificial intelligence --- Computer science—Mathematics --- Programming languages (Electronic computers) --- Computer programming --- Machine theory. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Compilers (Computer programs). --- Formal Languages and Automata Theory. --- Data Science. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics
Listing 1 - 3 of 3 |
Sort by
|