Language: English

Jump To : Overview Titles Subjects

Computer Science Logic and Foundations of Programming.

Overview

Works:	123 works in 72 publications in 72 languages

Titles

Face method = toward the new generation of linear programming / by: (Language materials, printed)

The computer security workbook = a course companion resource / by: (Language materials, printed)

Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: (Language materials, printed)

Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings / by: (Language materials, printed)

Subjects

Corpora (Linguistics)

Application software.

Decidability (Mathematical logic)

General Logic.

Probability and Statistics in Computer Science.

Computer systems.

Categories (Mathematics)

Programming Techniques.

Cellular automata.

Computational Intelligence.

Software engineering

Automatic theorem proving

Group theory.

Functional programming (Computer science)

Discrete mathematics.

Natural Language Processing (NLP)

Programming languages (Electronic computers).

C++.

Computer System Implementation.

Software engineering—Management.

Design and Analysis of Algorithms.

Coding theory.

Database management

Algebra.

C++ (Computer program language)

Database Management System.

Natural language processing (Computer science).

Quantum Computing.

Computer science.

Computer Application in Social and Behavioral Sciences.

Computable functions.

Artificial Intelligence.

Social sciences—Data processing.

Multiple criteria decision making.

Algebraic Logic.

Computational Complexity.

Dynamical Systems.

Set Theory.

Computer Communication Networks.

Machine learning.

Robotics

Computer science

Formal languages

Prolog (Computer program language)

Computer networks .

Computers, Special purpose.

Formal Reasoning.

Microsoft software.

Computer Vision.

Category Theory, Homological Algebra.

Computer software

Formal methods (Computer science)

Symbolic and Algebraic Manipulation.

Many-valued logic.

Information technology—Management.

Software Engineering.

Computer Modelling.

Industrial engineering

Computer systems

Computational Science and Engineering.

Algebraic Topology.

Computer programming

Algorithms.

Computer and Information Systems Applications.

Machine theory.

Computer logic.

Computer Science.

Computer vision.

Data Engineering.

Engineering mathematics.

Linear programming.

Computer input-output equipment.

Computers and Education.

Information Model.

Discrete Optimization.

Logic in AI.

Computer security

Machine Learning.

Mathematica (Computer program language)

Mathematical and Computational Engineering Applications.

Computers.

Induction (Logic)

Mobile and Network Security.

Data Structures and Information Theory.

Phraseology

Microprogramming .

Logic programming.

Logic, Symbolic and mathematical

Reasoning

Computer science—Mathematics.

Theory and Algorithms for Application Domains.

Microsoft .NET Framework.

Models of Computation.

Natural Language Processing (NLP).

Operations Research, Management Science.

Operating systems (Computers).

Compilers (Computer programs).

Software Management.

Automation.

Programming Language.

Computer Engineering and Networks.

Computer logic

Control Structures and Microprogramming.

Input/Output and Data Communications.

Computer Hardware.

Quantum Information.

Theory of Computation.

Machine translating

Formal Languages and Automata Theory.

Database management.

Chinese language

Discrete Mathematics in Computer Science.

Artificial intelligence

Computer algorithms.

Control engineering.

Control, Robotics, Automation.

Software engineering.

Haskell (Computer program language)

Mathematical Logic and Foundations.

Microsoft.

Control and Systems Theory.

Python.

Operating Systems.

Engineering—Data processing.

Computational linguistics

Data structures (Computer science).

Mathematics of Computing.

Special Purpose and Application-Based Systems.

Uncertainty (Information theory)

Computer engineering.

Computer programming.

Recursion theory.

Robotics.

Machine theory

Computability and Recursion Theory.

Information theory.

Data structures (Computer science)

Compilers and Interpreters.

Computer Application in Administrative Data Processing.

Quantum computing

Artificial intelligence.

Database Management.

Coding and Information Theory.

Computer simulation.

Abstract data types (Computer science)

Programming languages (Electronic computers)

Computer Science Logic and Foundations of Programming.

Mathematics in Popular Science.

Information Storage and Retrieval.

Quantum Physics.

Fuzzy sets.

Game Development.

Logic programming

Machine learning

Mathematical Applications in Computer Science.

Data and Information Security.