Machine theory.

Abstract Computing Machines = A Lambda Calculus Perspective / by: (Language materials, printed)

Feasible computations and provable complexity properties by: (Language materials, printed)

A course in formal languages, automata and groups by: (Language materials, printed)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (Language materials, printed)

Automata, logics, and infinite games by: (Language materials, printed)

Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (Language materials, printed)

A second course in formal languages and automata theory / by: (Language materials, printed)

Fuzzy semirings with applications to automata theory by: (Electronic resources)

Infinite words = automata, semigroups, logic and games / by: (Electronic resources)

Regulated grammars and automata by: (Electronic resources)

Big data and analytics = strategic and organizational impacts / by: (Electronic resources)

Formal languages, automata and numeration systems.. 1,. Introduction to combinatorics on words by: (Electronic resources)

Formal languages, automata and numeration systems.. 2,. Applications to recognizability and decidability by: (Electronic resources)

Fundamentals of machine theory and mechanisms by: (Electronic resources)

Algebraic automata theory by: (Electronic resources)

Restarting automata = the standard type of restarting automaton and its variants / by: (Electronic resources)

Theory of computation = automata, formal languages, computation and complexity / by: (Electronic resources)

An introduction to theory of computation = an algorithmic approach / by: (Electronic resources)

Introduction to automata theory, languages, and computation / by: (Language materials, printed)

Automata on infinite objects and Church's problem / by: (Language materials, printed)

An Introduction to formal languages and automata / by: (Language materials, printed)

Infinite words : = automata, semigroups, logic and games / by: (Language materials, printed)

Finite automata / by: (Language materials, printed)

Modelling, state observation and diagnosis of quantised systems / by: (Language materials, printed)

Algebraic theory of automata and languages by: (Electronic resources)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (Electronic resources)

Information and randomness : = an algorithmic perspective / by: (Language materials, printed)

Stochastic complexity in statistical inquiry by: (Electronic resources)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (Language materials, printed)

Algebraic theory of automata networks = an introduction / by: (Language materials, printed)

Formal languages and their relation to automata by: (Language materials, printed)

Machines, languages, and computation / by: (Language materials, printed)

Modelling, state observation, and diagnosis of quantised systems by: (Language materials, printed)

Elements of Computation Theory by: (Language materials, printed)

Formal and natural computing = essays dedicated to Grzegorz Rozenberg / by: (Language materials, printed)

Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems / by: (Language materials, printed)

Codes and automata / by: (Language materials, printed)

Combinatorics, automata and number theory / by: (Language materials, printed)

Kinematics of machinery through HyperWorks by: (Electronic resources)

Structural theory of automata, semigroups, and universal algebra by: (Electronic resources)

Statistical and machine learning approaches for network analysis / by: (Language materials, printed)

Automata, universality, computation = tribute to Maurice Margenstern / by: (Electronic resources)

Machine Learning Models and Algorithms for Big Data Classification = Thinking with Examples for Effective Learning / by: (Electronic resources)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (Electronic resources)

New trends in mechanism and machine science = theory and industrial applications / by: (Electronic resources)

Data clustering = algorithms and applications / by: (Electronic resources)

Introduction to the theory of computation / by: (Language materials, printed)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (Electronic resources)

Automata theory and formal languages = fundamental notions, theorems, and techniques / by: (Electronic resources)

Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation / by: (Electronic resources)

Programming-based formal languages and automata theory = design, implement, validate, and prove / by: (Electronic resources)

State-of-the-art and innovations in mechanism and machine science = a tribute to Carlos López-Cajún / by: (Electronic resources)

Automata = theory, trends, and applications / by: (Electronic resources)

Restarting automata = extensions and generalizations / by: (Electronic resources)

Big data = algorithms, analytics, and applications / by: (Electronic resources)

Turing's legacy = developments from Turing's ideas in logic / by: (Electronic resources)

Classical and quantum computation / by: (Language materials, printed)

An introduction to formal languages and automata / by: (Language materials, printed)

An Introduction to formal languages and automata / by: (Language materials, printed)