Semantics of digital circuits :: SCD d'Orléans

Semantics of digital circuits

Semantics of digital circuits

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Kloos, Carlos Delgado
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in computer science 285
נושאים:	Langages de programmation Ordinateurs Ingénierie Circuits intégrés numériques Structure logique
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semantics of digital circuits, Carlos Delgado Kloos, Berlin, Springer, 1987, 1 vol. (IX-124 p.), Lecture notes in computer science, 3-540-18540-2 • Semantics of Digital Circuits, Texte imprimé, 9783662170267

פריטים דומים

Circuits logiques programmables
מאת: Tavernier, Christian, 1955-
יצא לאור: (1996)

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23 25, 1998 : proceedings

Circuits numériques et synthèse logique : un outil : VHDL
מאת: Weber, Jacques, 1946-...., professeur de technologie, et autres
יצא לאור: (1995)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
מאת: Sérot, Jocelyn
יצא לאור: (2019)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
מאת: Sérot, Jocelyn
יצא לאור: (2019)

Evolvable systems : from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings

La conception de systèmes avec FPGA : bonnes pratiques pour le développement collaboratif
מאת: Simpson, Philip, spécialiste en conception électronique
יצא לאור: (2014)

Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7 8, 1996 : proceedings

Circuits numériques : théorie et applications
מאת: Tocci, Ronald J., 1942-
יצא לאור: (1988)

Digital design : principles and practices
מאת: Wakerly, John F.
יצא לאור: (1990)

Digital design : principles and practices
מאת: Wakerly, John F.
יצא לאור: (1994)

Pratique des circuits logiques
מאת: Bernard, Jean-Michel, 1943-, et autres
יצא לאור: (1987)

Le langage VHDL : du langage au circuit, du circuit au langage : cours et exercices corrigés
מאת: Weber, Jacques, 1946-...., professeur de technologie, et autres
יצא לאור: (2007)

Logique combinatoire et technologie : cours et exercices
מאת: Gindre, Marcel, 1948-, et autres
יצא לאור: (1987)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
מאת: Macii, Enrico

Le langage VHDL : du langage au circuit, du circuit au langage
מאת: Moutault, Sébastien, 19..-, et autres
יצא לאור: (2011)

Le langage VHDL : du langage au circuit, du circuit au langage
מאת: Weber, Jacques, 1946-...., professeur de technologie, et autres
יצא לאור: (2016)

Circuits logiques intégrés : fonctions, technologies, performances, densités
מאת: Lyon-Caen, Robert, 1926-2009
יצא לאור: (1982)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Logique arithmétique et techniques synchrones : arithmétique binaire et décimale, conception synchrone des ASICs et des FPGAs
מאת: Aumiaux, Michel
יצא לאור: (1996)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Circuits logiques et automatismes à séquences
מאת: Naslin, Pierre, 1920-2009
יצא לאור: (1965)

Field-programmable logic : architectures, synthesis, and applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL '94 Prague, Czech Republic, September 7 9, 1994 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Pratique des circuits intégrés numériques
מאת: Metzger, Georges, et autres
יצא לאור: (1988)

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
מאת: Geist, Daniel

Logique programmable : architecture des FPGA et CPLD, méthodes de conception, le langage VHDL
מאת: Dutrieux, Laurent, et autres
יצא לאור: (1997)

Field-programmable logic : smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 25, 1996 : proceedings

Field-programmable logic and applications : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 : proceedings

Towards evolvable hardware : the evolutionary engineering approach
מאת: Sanchez, Eduardo, 1953-

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

Logique électronique et circuits intégrés numériques : technologie, principes de fonctionnement électrique et logique, schémas d'utilisation des circuits intégrés de logique
מאת: Damaye, Roger
יצא לאור: (1978)

Field-programmable logic and applications : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings

Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29 September 1, 1995 : proceedings

Field-programmable logic and applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Logic Minimization Algorithms for VLSI Synthesis
מאת: Brayton, Robert King, 1933-, et autres

Pratique des circuits logiques
מאת: Bernard, Jean-Michel, 1943-, et autres
יצא לאור: (1990)

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Microélectronique. Circuits et systèmes numériques
מאת: Millman, Jacob, 1911-1991, et autres
יצא לאור: (1989)

© 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