Timing :: SCD d'Orléans

Timing

Timing

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Sapatnekar, Sachin S., 1967-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Boston, London : Kluwer Academic Publishers 2013. Cham : Springer Nature
Fag:	Série chronologique Circuits intégrés à très grande échelle Minuteries > Conception assistée par ordinateur
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme ISTEX (corpus Springer_LN) Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Timing, Sachin S. Sapatnekar, Boston, Kluwer Academic Publishers, 2004, 1 volume (IX-294 pages), 1-402-07671-1

Lignende værker

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Harnessing VLSI system design with EDA tools
af: Kamat, Rajanish K., et autres
Udgivet: (2012)

Formal hardware verification : methods and systems in comparison
af: Kropf, Thomas, 1961-

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
af: Geist, Daniel

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

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

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

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 : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Fourteenth international conference on numerical methods in fluid dynamics : proceedings of the conference held in Bangalore, India, 11 15 July 1994
af: Deshpande, Suresh M.

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Analysis and design of analog integrated circuits
af: Gray, Paul R., 1942-, et autres
Udgivet: (2010)

CAO de circuits et de systèmes intégrés
af: Mahdoum, Ali
Udgivet: (2020)

VLSI engineering : beyond software engineering
af: Kunii, Toshiyasu, 1938-

VLSI : circuits for emerging applications
af: Wojcicki, Tomasz
Udgivet: (2015)

Logic Minimization Algorithms for VLSI Synthesis
af: Brayton, Robert King, 1933-, et autres

Silicon processing for the VLSI era
af: Wolf, Stanley, 1943-, et autres
Udgivet: (1986)

Adaptive resonance theory microchips
af: Serrano-Gotarredona, Teresa, et autres
Udgivet: (1998)

Trace theory and VLSI design
af: Van de Snepscheut, Jan L. A., 1953-1994

Conception des circuits VLSI : du composant au système
af: Anceau, François, 1940-2020, informaticien, et autres
Udgivet: (2007)

Conception des circuits micro ondes : micro électronique
af: Edwards, Terry
Udgivet: (1984)

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

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

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Digital landscape architecture now
af: AMOROSO, Nadia
Udgivet: (2012)

Génération automatique de maillages : applications aux méthodes d'éléments finis
af: George, Paul-Louis, 19..-
Udgivet: (1990)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Détermination des éléments de machines : dimensionnement, liaisons, conception intégrée
af: Bourdon, Adeline, et autres
Udgivet: (2010)

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Conception paramétrique avec Rhino et Grasshopper : applications en architecture, ingénierie et design
af: Couwenbergh, Jean-Pierre, et autres
Udgivet: (2021)

Creative design engineering : introduction to an interdisciplinary approach
af: Taura, Toshiharu
Udgivet: (2016)

CAO : choix, mise en place et pratique
af: Boulicot, Claude
Udgivet: (1989)

Le guide de la CAO : guide visuel en couleur
af: Taraud, Dominique, et autres
Udgivet: (2008)

Le guide de la CAO
af: Taraud, Dominique, et autres
Udgivet: (2008)

Courbes et surfaces pour la CGAO : conception géométrique assistée par ordinateur
af: Farin, Gerald, 1953-2016
Udgivet: (1992)

AutoCAD 3D pour l'architecture et le design : conception d'une maison et de son mobilier
af: Riccio, Michel
Udgivet: (2009)

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

3D TCAD simulation for semiconductor processes, devices and optoelectronics
af: Li, Simon, informaticien, et autres
Udgivet: (2012)

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

© 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