Language: English

Jump To : Overview Titles Subjects

Computer Science Logic and Foundations of Programming.

Overview

Works:	121 works in 70 publications in 70 languages

Titles

Recent trends in algebraic development techniques = 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers / by: (Language materials, printed)

Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers / by: (Language materials, printed)

Simple type theory = a practical logic for expressing and reasoning about mathematical ideas / by: (Language materials, printed)

Raising young coders = a parent's guide to teaching programming at home / by: (Language materials, printed)

Data structures in depth using C++ = a comprehensive guide to data structure implementation and optimization in C++ / by: (Language materials, printed)

Testing software and systems = 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings / by: (Language materials, printed)

Static analysis = 31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings / by: (Language materials, printed)

Theory of computation = automata, formal languages, computation and complexity / by: (Language materials, printed)

Machine translation = 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024 : proceedings / by: (Language materials, printed)

Multi-valued logic for decision-making under uncertainty by: (Language materials, printed)

Subjects

Corpora (Linguistics)

Dynamical Systems.

Mathematica (Computer program language)

Set Theory.

Computer Communication Networks.

Software engineering.

Machine learning.

Mathematical and Computational Engineering Applications.

Robotics

Haskell (Computer program language)

Computer science

Mathematical Logic and Foundations.

Application software.

Formal languages

Decidability (Mathematical logic)

Machine theory.

Prolog (Computer program language)

Computers.

General Logic.

Microsoft.

Induction (Logic)

Algebra.

Control and Systems Theory.

Database Management.

Python.

Data Structures and Information Theory.

Computer networks .

Phraseology

Computer logic.

Operating Systems.

Formal Languages and Automata Theory.

Coding and Information Theory.

Computers, Special purpose.

Engineering—Data processing.

C++ (Computer program language)

Database Management System.

Natural language processing (Computer science).

Computational linguistics

Formal Reasoning.

Microsoft software.

Data structures (Computer science).

Mathematics of Computing.

Microprogramming .

Computer Science.

Computer Vision.

Computer simulation.

Computer vision.

Probability and Statistics in Computer Science.

Data Engineering.

Logic programming.

Database management.

Chinese language

Special Purpose and Application-Based Systems.

Computer systems.

Uncertainty (Information theory)

Quantum Computing.

Engineering mathematics.

Abstract data types (Computer science)

Computer science.

Logic, Symbolic and mathematical

Discrete Mathematics in Computer Science.

Programming languages (Electronic computers)

Category Theory, Homological Algebra.

Reasoning

Computer input-output equipment.

Computer Science Logic and Foundations of Programming.

Computer software

Computer science—Mathematics.

Computer engineering.

Computer Application in Social and Behavioral Sciences.

Formal methods (Computer science)

Theory and Algorithms for Application Domains.

Categories (Mathematics)

Mathematics in Popular Science.

Symbolic and Algebraic Manipulation.

Many-valued logic.

Microsoft .NET Framework.

Computers and Education.

Computer programming.

Programming Techniques.

Computable functions.

Models of Computation.

Cellular automata.

Recursion theory.

Artificial intelligence

Artificial Intelligence.

Information technology—Management.

Social sciences—Data processing.

Information Model.

Computational Intelligence.

Multiple criteria decision making.

Natural Language Processing (NLP).

Computer algorithms.

Robotics.

Operating systems (Computers).

Information Storage and Retrieval.

Software engineering

Machine theory

Quantum Physics.

Compilers (Computer programs).

Fuzzy sets.

Computability and Recursion Theory.

Software Engineering.

Game Development.

Computer Modelling.

Software Management.

Information theory.

Automatic theorem proving

Algebraic Logic.

Data structures (Computer science)

Automation.

Group theory.

Logic in AI.

Programming Language.

Computational Complexity.

Compilers and Interpreters.

Industrial engineering

Logic programming

Computer Engineering and Networks.

Machine learning

Computer logic

Functional programming (Computer science)

Mathematical Applications in Computer Science.

Control Structures and Microprogramming.

Discrete mathematics.

Machine Learning.

Control engineering.

Control, Robotics, Automation.

Computer systems

Computer Application in Administrative Data Processing.

Computational Science and Engineering.

Natural Language Processing (NLP)

Input/Output and Data Communications.

Computer Hardware.

Quantum Information.

Programming languages (Electronic computers).

C++.

Quantum computing

Computer System Implementation.

Algebraic Topology.

Artificial intelligence.

Theory of Computation.

Computer programming

Algorithms.

Computer and Information Systems Applications.

Software engineering—Management.

Machine translating

Design and Analysis of Algorithms.

Coding theory.

Database management