Algèbre de Boole et machines logiques :: SCD d'Orléans

Algèbre de Boole et machines logiques

Algèbre de Boole et machines logiques

Guardat en:

Dades bibliogràfiques
Altres autors:	Kuntzmann, Jean, 1912-1992, mathématicien (Director editorial), Naslin, Pierre, 1920-2009 (Director editorial)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Dunod 1967, cop. 1966.
Col·lecció:	Bibliothèque de l'automaticien 23
Matèries:	Circuits logiques Logique symbolique et mathématique Automatismes séquentiels Commutation, Théorie de la Théorie des machines séquentielles Boole, Algèbre de Machines logiques
Nota:	Sélection d 'articles issus d'un colloque consacré à l'algèbre de Boole, tenu à Grenoble en janvier 1965
Autres localisations:	Voir dans le Sudoc

Ítems similars

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

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

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

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

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

Introduction à l'algèbre de Boole et aux dispositifs logiques
per: Hoernes, Gerhard E., et al.
Publicat: (1966)

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

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

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

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

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

Synthèse des systèmes logiques
per: Daclin, Éric, et al.
Publicat: (1976)

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

L'algèbre de la logique
per: Couturat, Louis, 1868-1914
Publicat: (1980)

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

Sequential machines and automata theory
per: Booth, Taylor L.
Publicat: (1967)

Combinatorics on traces
per: Diekert, Volker

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

Logique combinatoire
per: Lagasse, Jean, 1924-2003, et al.
Publicat: (1976)

Algèbre de Boole ; schémas électriques, automatismes : classes de 1res B.Tn
per: Clément, René, 19..-...., ingénieur, et al.
Publicat: (1968)

Les schémas d'automatisme : théorie et pratique
per: Raymond, Jean-Pierre, 19..-...., mathématicien
Publicat: (1977)

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

From Objects to Diagrams for Ranges of Functors
per: Gillibert, Pierre, 1983-, et al.

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

Machines séquentielles
per: Zahnd, Jacques, 1939-
Publicat: (1987)

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

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

Nearly Projective Boolean Algebras
per: Heindorf, Lutz, 1953-, et al.

Automata and computability
per: Kozen, Dexter C., 1951-
Publicat: (1997)

Pratique des circuits logiques
per: Bernard, Jean-Michel, 1943-, et al.
Publicat: (1990)

Éléments de mathématiques discrètes
per: Frécon, Louis, 1940-
Publicat: (2002)

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

Algebraic methods of mathematical logic
per: Rieger, Ladislav, 1916-1963
Publicat: (1967)

The logician and the engineer : how George Boole and Claude Shannon created the information age
per: Nahin, Paul J., 1940-
Publicat: (2011)

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

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Publicat: (1975)

De la logique câblée aux microprocesseurs Applications directes des circuits fondamentaux
per: Bernard, Jean-Michel, 1943-, et al.
Publicat: (1979)

De la logique câblée aux microprocesseurs. Circuits combinatoires et séquentiels fondamentaux
per: Bernard, Jean-Michel, 1943-, et al.
Publicat: (1979)

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

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

© 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