Synthèse des systèmes logiques :: SCD d'Orléans

Synthèse des systèmes logiques

Synthèse des systèmes logiques

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Daclin, Éric, Blanchard, Michel, 19..-...., ingénieur (Awdur)
Awduron Eraill:	Csech, Joseph (Awdur y cyflwyniad etc.)
Fformat:	Livre papier
Iaith:	Français
Cyhoeddwyd:	Toulouse : Cepadues-éditions DL 1976.
Cyfres:	Sup'aéro, Ecole Nationale Supérieure de L'Aéronautique et de l'Espace
Pynciau:	Structure logique Ingénierie des systèmes Petri, Réseaux de Théorie des machines séquentielles
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

Systèmes logiques
gan: Perrin, Jean-Paul, 19..-...., ingénieur, et al.
Cyhoeddwyd: (1967)

Systèmes logiques. Systèmes séquentiels
gan: Perrin, Jean-Paul, 19..-...., ingénieur, et al.
Cyhoeddwyd: (1967)

Systèmes logiques. Systèmes combinatoires, introduction aux systèmes séquentiels
gan: Perrin, Jean-Paul, 19..-...., ingénieur, et al.
Cyhoeddwyd: (1967)

Algèbre de Boole et machines logiques
Cyhoeddwyd: (1967)

Du Grafcet aux réseaux de Petri
gan: David, René, 1939-2022, physicien, et al.
Cyhoeddwyd: (1992)

Logique séquentielle
gan: Lagasse, Jean, 1924-2003, et al.
Cyhoeddwyd: (1976)

Pratique séquentielle et réseaux de Pétri
gan: Thelliez, Sylvain
Cyhoeddwyd: (1978)

Dynamic Analysis of Petri Net-Based Discrete Systems
gan: Karatkevich, Andrei

Logique et automates : option informatique en MPSI, MP et MP* : premier et deuxième cycles universitaires : écoles d'ingénieurs
gan: Bellot, Patrick, 1968-, et al.
Cyhoeddwyd: (1998)

Logique séquentielle : cours et exercices
gan: Gindre, Marcel, 1948-, et al.
Cyhoeddwyd: (1987)

Büchi's monadic second order successor arithmetic
gan: Siefkes, Dirk
Cyhoeddwyd: (1970)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Büchi's monadic second order successor arithmetic
gan: Siefkes, Dirk

Construction des machines séquentielles industrielles
gan: Girard, Pierre, 19..-...., ingénieur, et al.
Cyhoeddwyd: (1973)

Machines séquentielles
gan: Zahnd, Jacques, 1939-
Cyhoeddwyd: (1987)

An introduction to mathematical machine theory
gan: Ginsburg, Seymour, 1927-2004
Cyhoeddwyd: (1962)

Formal models of communicating systems : languages, automata, and monadic second-order logic
gan: Bollig, Benedikt
Cyhoeddwyd: (2006)

Introduction to switching and automata theory
gan: Harrison, Michael A., 19..-
Cyhoeddwyd: (1965)

Advances in Petri nets 1989

Sequential machines and automata theory
gan: Booth, Taylor L.
Cyhoeddwyd: (1967)

Logique séquentielle : cours et exercices
gan: Gindre, Marcel, 1948-, et al.
Cyhoeddwyd: (1994)

Introduction à la calculabilité : cours et exercices corrigés
gan: Wolper, Pierre, 1955-
Cyhoeddwyd: (2001)

Commande des procédés discontinus : logique séquentielle
gan: Courvoisier, Marc, et al.
Cyhoeddwyd: (1986)

Circuits logiques et automatismes à séquences
gan: Naslin, Pierre, 1920-2009
Cyhoeddwyd: (1965)

Combinatorics on traces
gan: Diekert, Volker

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

Théorie structurelle des automates finis
gan: Moisil, Grigore C., 1906-1973
Cyhoeddwyd: (1967)

Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26 30, 1995 : proceedings

Introduction aux automatismes industriels : GRAFCET et logique électronique avec exercices et solutions
gan: Lecourtier, Yves, 1950-2025, et al.
Cyhoeddwyd: (1985)

Réseaux de Petri : théorie et pratique Modélisation et applications
gan: Brams, G. W.
Cyhoeddwyd: (1983)

Teoria degli automi finiti
gan: De Luca, Aldo, 1941-, et al.
Cyhoeddwyd: (2013)

Conception structurée des systèmes logiques
gan: Bernard, Jean-Michel, 1943-
Cyhoeddwyd: (1987)

Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés
gan: Falcone, Yliès Carlo, 1981-...., auteur en informatique, et al.
Cyhoeddwyd: (2020)

Logical approach to systems theory
gan: Takahashi, Shingo, et al.

Automata and computability
gan: Kozen, Dexter C., 1951-
Cyhoeddwyd: (1997)

Analyse et synthèse des systèmes logiques
gan: Mange, Daniel, 1940-
Cyhoeddwyd: (1981)

Modular construction and partial order semantics of Petri nets
gan: Vogler, Walter, 1955-

Du Grafcet aux réseaux de Petri
gan: David, René, 1939-2022, physicien, et al.
Cyhoeddwyd: (1989)

Applied computation theory : analysis, design, modeling
Cyhoeddwyd: (1976)

Mathematical foundations of computer science 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, September 3-7, 1979

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales