Machine theory.

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

Algebraic theory of automata networksan introduction / by: (書目-電子資源)

A course in formal languages, automata and groups by: (書目-電子資源)

Modelling, state observation, and diagnosis of quantised systems by: (書目-電子資源)

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

Elements of Computation Theory by: (書目-電子資源)

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

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

Automata, computability and complexity :theory and applications / by: (書目-語言資料,印刷品)

Non-standard parameter adaptation for exploratory data analysis by: (書目-電子資源)

Automata, logics, and infinite games by: (書目-電子資源)

Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (書目-電子資源)

Formal and natural computingessays dedicated to Grzegorz Rozenberg / by: (書目-電子資源)

Automata for branching and layered temporal structuresan investigation into regularities of infinite transition systems / by: (書目-電子資源)

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

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

Structural theory of automata, semigroups, and universal algebra by: (書目-電子資源)

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

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

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

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

Data clustering :algorithms and applications / by: (書目-語言資料,印刷品)

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

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

Big data and analyticsstrategic 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 ClassificationThinking with Examples for Effective Learning / by: (書目-電子資源)

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

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

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

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

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

Data clusteringalgorithms and applications / by: (書目-電子資源)

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

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

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

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

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

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