登入

跳至 : 概要書目資訊主題

Machine theory

概要

作品:	26 作品在 19 項出版品 19 種語言

書目資訊

Formal languages and their relation to automata / by: (書目-語言資料,印刷品)

Introduction to discrete structures for computer science and engineering / by: (書目-語言資料,印刷品)

Information processing letters. by: (書目-語言資料,印刷品)

SIGACT news. by: (書目-語言資料,印刷品)

Codes and automata / by: (書目-語言資料,印刷品)

Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: (書目-電子資源)

Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (書目-電子資源)

主題

Mathematical Logic and Formal Languages.

Artificial intelligence

Software Engineering.

Machine theory

Electronic data processing

Machine theory.

Automata

Logics and Meanings of Programs.

Landing gear- Computer simulation

Z (Computer program language)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Data Structures.

Mathematical linguistics

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Reliability (Engineering)

Petri nets

Computational complexity- Periodicals.

Formal methods (Computer science)

Computational complexity

Information Storage and Retrieval.

Programming languages (Electronic computers)

Computer programming

Programming Languages, Compilers, Interpreters.

Formal languages

Algebra, Abstract

Information storage and retrieval systems

B method (Computer science)

Computer networks- Evaluation

Machine learning

Coding theory.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Appl. in Social and Behavioral Sciences.

Simulation and Modeling.

Computer Communication Networks.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Artificial Intelligence (incl. Robotics).

Robotics

Computational Biology/Bioinformatics.

Symbolic and Algebraic Manipulation.

Computer systems- Evaluation