Logic Synthesis and Optimization :: SCD d'Orléans

Logic Synthesis and Optimization

Logic Synthesis and Optimization

Gorde:

Xehetasun bibliografikoak
Beste egile batzuk:	Sasao, Tsutomu, 1950- (Kolaboratzailea)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic Synthesis and Optimization, 978-1-4613-6381-1

Antzeko izenburuak

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Optimization of Particle Synthesis
nork: Gröschel, Michael
Argitaratua: (2025)

Logic Synthesis and Verification

Sequential Logic Synthesis
nork: Ashar, Pranav, et al.

Synthesis and Optimization of DSP Algorithms
nork: Constantinides, George A., et al.

Logic Synthesis and Verification Algorithms
nork: Hachtel, Gary D., 19..-, et al.

Logic Synthesis Using Synopsys®
nork: Kurup, Pran, 19..-, et al.

Logic Synthesis for Control Automata
nork: Baranov, Samary

Logic Synthesis Using Synopsys®
nork: Kurup, Pran, 19..-, et al.

Logic Synthesis and Verification Algorithms
nork: Hachtel, Gary D., 19..-, et al.

Memory-Based Logic Synthesis
nork: Sasao, Tsutomu

Reversible Logic Synthesis : From Fundamentals to Quantum Computing
nork: Al-Rabadi, Anas N.

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
nork: Carnielli, Walter Alexandre, 1952-, et al.

Logic Synthesis for Asynchronous Controllers and Interfaces
nork: Cortadella, J., et al.

Logic Minimization Algorithms for VLSI Synthesis
nork: Brayton, Robert King, 1933-, et al.

Finite state machine logic synthesis for complex programmable logic devices
nork: Czerwinski, Robert, et al.
Argitaratua: (2013)

PROCESSES AND CONTROL SYSTEMS: SYNTHESIS, MODELING, OPTIMIZATION
Argitaratua: (2025)

Logic Synthesis for Low Power VLSI Designs
nork: Iman, Sasan, et al.

Logic Program Synthesis from Incomplete Information
nork: Flener, Pierre

Logic Synthesis for Field-Programmable Gate Arrays
nork: Murgai, Rajeev, 1966-, et al.

Logic synthesis for compositional microprogram control units

Logic Synthesis for FSM-Based Control Units
nork: Barkalov, Alexander, et al.

Synthesis of Finite State Machines : Logic Optimization
nork: Villa, Tiziano, et al.

Multi-objective optimization in physical synthesis of integrated circuits
nork: Papa, David A., 19..-, et al.
Argitaratua: (2013)

Chapter Optimization of the Synthesis Procedures of Graphene and Graphite Oxide
nork: Luis Valverde Palomino, José, et al.
Argitaratua: (2021)

Fuzzy Logic Based in Optimization Methods and Control Systems and Its Applications
Argitaratua: (2023)

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
nork: Chang, Jui-Ming, et al.

Central composite design and optimization by multiresponse analysis of octacalcium phosphate synthesis
nork: J.-C. Heughebaert, et al.
Argitaratua: (2000)

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
nork: Albert, Elvira

Optimization
Argitaratua: (1989)

Optimization
nork: Lange, Kenneth, 1946-

© 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