Automates mathématiques, Théorie des

Schlagwort : Automates mathématiques, Théorie des
Quelldatei : RAMEAU
Sachgruppe : Mathématiques
Informatique
Verweisungsformen : Automates, Théorie des
Machines, Théorie des
Théorie des automates mathématiques
Théorie des machines

related to this theme (24)

Publikationen über dieses Thema (169)

Livres (169)

The Turing guide
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Control of discrete-event systems
Language and automata theory and applications
Modern applications of automata theory
Algebraic foundations in computer science
Mathematical foundations of computer science 2011
Implementation and Application of Automata
Descriptional Complexity of Formal Systems
Automata, languages and programming Part II
Automata, languages and programming Part I
Language and Automata Theory and Applications
Implementation and application of automata
Mathematical foundations of computer science 2010
Abstract state machines, Alloy, B and Z
Automata for branching and layered temporal structures
Language and automata theory and applications
Automata, Languages and Programming
Traité de robotique 1
Automata, Languages and Programming
Elements of automata theory
A course in formal languages, automata and groups
Formal modeling and analysis of timed systems
Implementation and Application of Automata
Automata, Languages and Programming Part II
Automata, Languages and Programming Part I
Handbook of weighted automata
Language and Automata Theory and Applications
Abstract state machines, B and Z
Language and Automata Theory and Applications
Automata, Languages and Programming
Automata, Languages and Programming
Implementation and application of automata
Implementation and application of automata
Prediction and discovery
Automata, Languages and Programming
Knowledge structures for communications in human-computer systems
Machines, computations, and unvirsality
Introduction à la calculabilité
Automata theory with modern applications
Computation engineering
Implementation and application of automata
Automata, Languages and Programming (vol. [4051)
Automata, Languages and Programming (vol. [4052)
Implementation and Application of Automata
Grammatical Inference
Le chaos
Automata, Languages and Programming (vol. [3580)
Rippling
Machines, computations, and universality
Structural theory of automata, semigroups, and universal algebra
GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen
Automata, Languages and Programming
Grammatical inference
Finite automata
Infinite words
Theory Is Forever
Abstract State Machines 2003
Graph algebras and automata
Implementation and application of automata
Modelling, state observation, and diagnosis of quantised systems
Process algebra and probabilistic methods
Semigroups, algorithms, automata and languages
Automata Logics, and Infinite Games
Formal and natural computing
Implementation and Application of Automata
Introduction to languages, machines and logic
Automata, Languages and Programming
Automata, Languages and Programming
Implementation and application of automata
Process algebra and probabilistic methods
Machines, Computations, and Universality
Automata implementation
Rudiments of [mu]-calculus
Handbook of process algebra
A half-century of automata theory
Le calcul confié aux machines
Automata theory and its applications
Rudiments of [mu]-calculus
Mathématiques de l'informatique
Automata, Languages and Programming
Temporal logic Volume 2
Introduction to process algebra
Abstract State Machines - Theory and Applications
Automata implementation
Théorie des automates
Automata, Languages and Programming
Automata, Languages and Programming
Actes de MCU'98
The theory of computation
Automata Implementation
Theories of computability
Automata Implementation
Automata, Languages and Programming
Théorie générale et logique des automates
Automata, Languages and Programming
L'ordinateur et le cerveau
Wunschmaschine Welterfindung
Automata, Languages and Programming
Different aspects of coding theory
Information and randomness
Automata, Languages and Programming
Selected papers on Automath
The language of machines
Words, languages and combinatorics II
Théorie des langages et des automates
The dynamics of concepts
Computability, complexity, and languages
Deduction
Automata, Languages and Programming
Advances in Petri Nets 1993
STACS 93
Actes des Deuxièmes Journées franco-belges Théorie des automates et applications, Université de Rouen, 3-5 septembre 1991
Automata, Languages and Programming
Theory of self-reproducting automata
L'ordinateur et le cerveau
Mathématiques et robotique
Advances in Petri Nets 1991
Automata, Languages and Programming
Algebraic and structural automata theory
Neural and automata networks
Algebraic and structural automata theory
Monoids and semigroups with applications
Complex systems dynamics
Automata, Languages and Programming
Automata and algebras in categories
Simulated annealing and Boltzmann machines
Automata, Languages and Programming
Fundamentals for control of robotic manipulators
Conception de systèmes automatiques
La Machine à connexions
Mathematical problems in computation theory
Advances in Petri Nets 1988
Automata, Languages and Programming
Rational series and their languages
Computability and logic
Brains, machines and mathematics
Automata, Languages and Programming
Systems of Reductions
Advances in Petri Nets 1985
Semirings, automata, languages
Automata on Infinite Words
Topics in the theory of computation
Automata, Languages and Programming
L'Homme et ses machines
Machines algorithmiques
Computability complexity and languages
Computability, complexity, and languages
Foundations of computation theory
Mathematical Foundations of Computer Science 1981
Fundamentals of Computation Theory
Mathematical Foundations of Computer Science 1980
Automata, Languages and Programming
Picture languages
Automata, Languages and Programming
Mathematical Foundations of Computer Science 1977
Fundamentals of Computation Theory
Mathematical Foundations of Computer Science 1976
John von Neumann Volume V
Mathematical Foundations of Computer Science
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20-23, 1975
Automata, languages, and machines
Automaton theory and modeling of biological systems
Automata on infinite objects and Church's problem
Logic, automata, and algorithms
Logique et automates
Introduction to probabilistic automata
Formal languages and their relation to automata
Implementation and Application of Automata

Authors linked with this theme (119)

Auteur du texte (74)

See also (9)