Language: English

Jump To : Overview Titles Subjects

Machine theory.

Overview

Works:	83 works in 20 publications in 20 languages

Titles

Automata theory with modern applications / by: (Language materials, printed)

Turing's legacy : = developments from Turing's ideas in logic / by: (Language materials, printed)

Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation / by: (Language materials, printed)

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by: (Language materials, printed)

Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by: (Language materials, printed)

The Semantic Web: ESWC 2022 Satellite Events = Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by: (Language materials, printed)

Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part II / by: (Language materials, printed)

Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / by: (Language materials, printed)

Subjects

Nets (Mathematics)

Telecommunication.

Bionics.

Robots

Economics/Management Science.

Application software.

Business and Management.

Computers.

Algebraic logic.

Data Structures and Information Theory.

Mathematical Modeling and Industrial Mathematics.

Algorithm Analysis and Problem Complexity.

Knowledge Based Systems.

Microprogramming .

Probability and Statistics in Computer Science.

Logic programming.

Computer systems.

Automatic control.

Organizational behavior

File organization (Computer science)

Philology.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computation by Abstract Devices.

Computer science—Mathematics.

Theory and Algorithms for Application Domains.

Algebra, Universal.

Programming Techniques.

Mathematical Logic and Formal Languages.

Computational Intelligence.

Engineering.

Natural Language Processing (NLP).

Compilers (Computer programs).

Group theory.

Programming Language.

Computer Engineering and Networks.

Lattice theory.

Communication

Discrete mathematics.

Control Structures and Microprogramming.

Mechanical Engineering.

Computer Hardware.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Computer System Implementation.

Building information modeling.

Decision making

Theory of Computation.

Operations Research, Management Science .

Complexity.

Logics and Meanings of Programs.

Design and Analysis of Algorithms.

Management.

Mathematical models.

Formal Languages and Automata Theory.

Natural language processing (Computer science).

Database management.

Computing Milieux.

Computer science.

Discrete Mathematics in Computer Science.

Computer Application in Social and Behavioral Sciences.

Cluster analysis.

Computable functions.

Artificial Intelligence (incl. Robotics)

Artificial intelligence

Artificial Intelligence.

Social sciences—Data processing.

Information storage and retrieval systems.

Image processing—Digital techniques.

Telecommunication systems

Document clustering.

Game Theory.

Expert systems (Computer science).

Machinery, Kinematics of.

Building Information Modeling.

IT in Business.

Numerical analysis.

Computer Communication Networks.

Software engineering.

Machine learning.

Mathematical Logic and Foundations.

Computer science

Computational Mathematics and Numerical Analysis.

Rewriting systems (Computer science)

General Algebraic Systems.

Computational complexity.

Internet of things.

Computational linguistics.

Algebraic topology.

Electronic data processing.

Computer networks .

Machinery and Machine Elements.

Computers, Special purpose.

Robotics and Automation.

Numerical Analysis.

Mathematics of Computing.

Data structures (Computer science).

Management of Computing and Information Systems.

Big Data.

Monotonic functions.

Special Purpose and Application-Based Systems.

Biophysics.

Computer engineering.

Symbolic and Algebraic Manipulation.

Turing, Alan Mathison,

Computer programming.

System analysis.

Recursion theory.

Vibration, Dynamical Systems, Control.

Descriptive set theory.

Information technology—Management.

Group Theory and Generalizations.

Robotics.

Appl.Mathematics/Computational Methods of Engineering.

Parallel processing (Electronic computers)

Computability and Recursion Theory.

Software Engineering.

Computer Modelling.

Information theory.

Communications Engineering, Networks.

Compilers and Interpreters.

Complex Networks.

Data mining.

Computational Science and Engineering.

Computer Application in Administrative Data Processing.

Logic design.

Algebraic Topology.

Artificial intelligence.

Logic Design.

Algorithms.

Computer and Information Systems Applications.

Mathematics.

Manifolds and Cell Complexes.

Machine theory.

Database Management.

Differentiable dynamical systems.

Internet of Things.

Computer Science.

Computer simulation.

Computer vision.

Management science.

Reverse engineering.

Computer Science Logic and Foundations of Programming.

Mathematical logic.

Lambda calculus.

Mechanics.

Manufacturing, Machines, Tools.

Cluster analysis

Semirings (Mathematics)

Information Storage and Retrieval.

Computer Science, general.

Formal languages.

Fuzzy sets.

Semigroup algebras.

Innovation/Technology Management.

Languages.

Logic in AI.

Game theory.

Fixed point theory.

Mathematical statistics.

Mathematical Applications in Computer Science.

Mechanical movements.

Operations research.

Theoretical and Applied Mechanics.

Big data.

Manifolds (Mathematics).