Logique combinatoire :: SCD d'Orléans

Logique combinatoire

Logique combinatoire

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Lagasse, Jean, 1924-2003, Courvoisier, Marc (Auteur), Richard, Jean-Pierre, 1942-...., physicien (Auteur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Dunod DL 1976.
Udgivelse:	[3e édition].
Serier:	Dunod université. Série Électronique, électrotechnique, automatique
Fag:	Algèbres commutatives Structure logique Circuits logiques Logique symbolique et mathématique Logique combinatoire
Kommentar:	Autres tirages : 1979, 1984, 1987
Autres localisations:	Voir dans le Sudoc

Lignende værker

Logique combinatoire et séquentielle : méthodes, outils et réalisations
af: Brie, Claude, 19..-
Udgivet: (2002)

Logique séquentielle
af: Lagasse, Jean, 1924-2003, et autres
Udgivet: (1976)

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

Pratique des circuits logiques
af: Bernard, Jean-Michel, 1943-, et autres
Udgivet: (1990)

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

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

Logique combinatoire et technologie : cours et exercices
af: Gindre, Marcel, 1948-, et autres
Udgivet: (1987)

Cours pratique de logique pour microprocesseurs : systèmes de numération, logique booléenne, circuits combinatoires et séquentiels, mémoires et registres, microprocesseurs
af: Lilen, Henri, 1929-
Udgivet: (1986)

De la logique câblée aux microprocesseurs Applications directes des circuits fondamentaux
af: Bernard, Jean-Michel, 1943-, et autres
Udgivet: (1979)

Problèmes d'électronique logique
af: Poinsot, André
Udgivet: (1994)

Logique et modélisation : modèles consistants, données compatibles
af: Gondran, Michel, et autres
Udgivet: (1995)

Introduction à l'algèbre de Boole et aux dispositifs logiques
af: Hoernes, Gerhard E., et autres
Udgivet: (1966)

De la logique câblée aux microprocesseurs. Méthodes de conception de systèmes
af: Bernard, Jean-Michel, 1943-, et autres
Udgivet: (1980)

Lambda-calcul : types et modèles
af: Krivine, Jean-Louis, 1939-
Udgivet: (1990)

Control using logic-based switching

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

Fundamentals of switching theory and logic design : a hands on approach
af: Astola, Jaakko, 1949-...., mathématicien, et autres
Udgivet: (2006)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Udgivet: (2005)

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Commande des procédés discontinus : logique séquentielle
af: Courvoisier, Marc, et autres
Udgivet: (1986)

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

Méthodes de logique
af: Quine, Willard Van Orman, 1908-2000, philosophe
Udgivet: (1973)

Introduction à la logique
af: Rivenc, François, 1945-
Udgivet: (1989)

Logique sans peine
af: Carroll, Lewis, 1832-1898
Udgivet: (1966)

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

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

Construction des machines séquentielles industrielles
af: Girard, Pierre, 19..-...., ingénieur, et autres
Udgivet: (1973)

Logique et complexité
af: Lassaigne, Richard, et autres
Udgivet: (1996)

Introduction à la logique
af: Leroux, Jean, 1948-
Udgivet: (1998)

Logique et automatisme. Logique combinatoire]
af: Bridier, Michel, 19..-, et autres
Udgivet: (1980)

De la logique à l'argumentation
af: Grize, Jean Blaise, 1922-2013, logicien
Udgivet: (2015)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
af: Vernant, Denis, 1948-
Udgivet: (2001)

Introduction à la logique
af: Delessert, André, 1923-2010
Udgivet: (1988)

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Logique mathématique
af: Pabion, Jean-François, 1942-
Udgivet: (1976)

La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
af: Ginisti, Jean-Pierre
Udgivet: (2006)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Udgivet: (1977)

Logique. Méthodes formelles pour l'étude des programmes
af: Gochet, Paul, 1932-2011, et autres
Udgivet: (1994)

From Objects to Diagrams for Ranges of Functors
af: Gillibert, Pierre, 1983-, et autres

Logique combinatoire et composants numériques : cours et exercices corrigés
af: Sbaï, Mouloud
Udgivet: (2013)

© 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