Machine theory.
Overview
Works: | 50 works in 21 publications in 21 languages |
---|
Titles
Discrete mathematical structures with applications to computer science /
by:
(Language materials, printed)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(Electronic resources)
Theory is foreveressays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(Electronic resources)
Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(Electronic resources)
Automata for branching and layered temporal structuresan investigation into regularities of infinite transition systems /
by:
(Electronic resources)
Statistical and machine learning approaches for network analysis /
by:
(Language materials, printed)
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)
Machine Learning Models and Algorithms for Big Data ClassificationThinking with Examples for Effective Learning /
by:
(Electronic resources)
Descriptive set theoretic methods in automata theorydecidability and topological complexity /
by:
(Electronic resources)
Introduction to discrete structures for computer science and engineering /
by:
(Language materials, printed)
New trends in mechanism and machine sciencetheory and industrial applications /
by:
(Electronic resources)
Logic functions and equationsfundamentals and applications using the XBOOLE-Monitor /
by:
(Electronic resources)
Automata theory and formal languagesfundamental notions, theorems, and techniques /
by:
(Electronic resources)
Theory of computation simplifiedsimulate real-world computing machines and problems with strong principles of computation /
by:
(Electronic resources)
Programming-based formal languages and automata theorydesign, implement, validate, and prove /
by:
(Electronic resources)
State-of-the-art and innovations in mechanism and machine sciencea tribute to Carlos López-Cajún /
by:
(Electronic resources)
Show more
Fewer
Subjects