Machine theory.

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

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

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

An engineering approach to digital design / 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: (書目-語言資料,印刷品)

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

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

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

Theory of computation = an introduction / by: (書目-語言資料,印刷品)

A graphic apology for symmetry and implicitness / by: (書目-語言資料,印刷品)

Algebraic theory of automata and languages by: (書目-語言資料,印刷品)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (書目-語言資料,印刷品)

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

Stochastic complexity in statistical inquiry 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (書目-語言資料,印刷品)

Elements of Computation Theory 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: (書目-電子資源)

Infinite words = automata, semigroups, logic and games / by: (書目-電子資源)

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

Automata, universality, computation = tribute to Maurice Margenstern / by: (書目-電子資源)

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

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

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

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

Fundamentals of machine theory and mechanisms 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: (書目-電子資源)

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

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

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

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

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

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