Machine theory.

Formal languages, automata and numeration systems.. 2,. Applications to recognizability and decidability by: (書目-電子資源)

Fundamentals of machine theory and mechanisms by: (書目-電子資源)

Data clustering = algorithms and applications / by: (書目-電子資源)

Introduction to the theory of computation / by: (書目-語言資料,印刷品)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (書目-電子資源)

Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation / by: (書目-電子資源)

Restarting automata = the standard type of restarting automaton and its variants / by: (書目-電子資源)

Elements of the theory of computation by: (書目-語言資料,印刷品)

An engineering approach to digital design / by: (書目-語言資料,印刷品)

Elements of the theory of computation / by: (書目-語言資料,印刷品)

Introduction to automata theory, languages, and computation / by: (書目-語言資料,印刷品)

The recursive universe : = cosmic complexity and the limits of scientific knowledge / by: (書目-語言資料,印刷品)

Automata on infinite objects and Church's problem / by: (書目-語言資料,印刷品)

An Introduction to formal languages and automata / by: (書目-語言資料,印刷品)

Classical and quantum computation / by: (書目-語言資料,印刷品)

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

Automata studies / by: (書目-語言資料,印刷品)

Modelling, state observation and diagnosis of quantised systems / by: (書目-語言資料,印刷品)

Theory of computation = an introduction / by: (書目-電子資源)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (書目-電子資源)

Stochastic complexity in statistical inquiry by: (書目-電子資源)

Abstract Computing Machines = A Lambda Calculus Perspective / by: (書目-語言資料,印刷品)

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

Machines, languages, and computation / by: (書目-語言資料,印刷品)

Modelling, state observation, and diagnosis of quantised systems by: (書目-語言資料,印刷品)

Automata, logics, and infinite games by: (書目-語言資料,印刷品)

Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal and natural computing = essays dedicated to Grzegorz Rozenberg / by: (書目-語言資料,印刷品)

Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems / by: (書目-語言資料,印刷品)

A second course in formal languages and automata theory / by: (書目-語言資料,印刷品)

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

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

Kinematics of machinery through HyperWorks by: (書目-電子資源)

Fuzzy semirings with applications to automata theory by: (書目-電子資源)

Statistical and machine learning approaches for network analysis / by: (書目-語言資料,印刷品)

Regulated grammars and automata by: (書目-電子資源)

Big data and analytics = strategic and organizational impacts / by: (書目-電子資源)

Formal languages, automata and numeration systems.. 1,. Introduction to combinatorics on words by: (書目-電子資源)

An introduction to formal languages and automata / by: (書目-語言資料,印刷品)

Machine Learning Models and Algorithms for Big Data Classification = Thinking with Examples for Effective Learning / by: (書目-電子資源)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (書目-電子資源)

An Introduction to formal languages and automata / by: (書目-語言資料,印刷品)

New trends in mechanism and machine science = theory and industrial applications / by: (書目-電子資源)

Turing's legacy = developments from Turing's ideas in logic / by: (書目-電子資源)

Programming-based formal languages and automata theory = design, implement, validate, and prove / by: (書目-電子資源)

State-of-the-art and innovations in mechanism and machine science = a tribute to Carlos López-Cajún / by: (書目-電子資源)

Automata = theory, trends, and applications / by: (書目-電子資源)

Restarting automata = extensions and generalizations / by: (書目-電子資源)

Theory of computation = automata, formal languages, computation and complexity / by: (書目-電子資源)

An introduction to theory of computation = an algorithmic approach / by: (書目-電子資源)

Elements of Computation Theory by: (書目-語言資料,印刷品)

Algebraic automata theory by: (書目-電子資源)

Automata theory and formal languages = fundamental notions, theorems, and techniques / by: (書目-電子資源)

Infinite words : = automata, semigroups, logic and games / by: (書目-語言資料,印刷品)

Information and randomness : = an algorithmic perspective / by: (書目-語言資料,印刷品)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-語言資料,印刷品)

Feasible computations and provable complexity properties by: (書目-語言資料,印刷品)

Algebraic theory of automata networks = an introduction / by: (書目-語言資料,印刷品)

Big data = algorithms, analytics, and applications / by: (書目-電子資源)