Libros sobre el tema "Circuits de lecture"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Circuits de lecture".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
1952-, Staunstrup J., IFIP WG 10 5, and Danmarks tekniske højskole. Instituttet for datateknik., eds. Formal methods for VLSI design: IFIP WG 10.5 lecture notes. North-Holland, 1990.
Buscar texto completoWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer Science+Business Media B.V., 2010.
Buscar texto completoBrodsky, Bart. The teaching marketplace: Make money with freelance teaching, corporate trainings, and on the lecture circuit. 2nd ed. Community Resource Institute Press, 1992.
Buscar texto completoEuropean, Conference on Mask Technology for Integrated Circuits and Microcomponents (19th 2003 Sonthofen Germany). EMC 2003: 19th European Mask Conference on Mask Technology for Integrated Circuits and Micro-components : lectures held at the GMM-Conference, January 13-15, 2003 in Sonthofen, Germany. VDE-Verlag, 2003.
Buscar texto completoEuropean Conference on Mask Technology for Integrated Circuits and Microcomponents (20th 2004 Dresden, Germany). EMC 2004: 20th European Mask Conference on Mask Technology for Integrated Circuits and Micro-Components ; lectures held at the GMM conference, January 12-14, 2004 in Dresden, Germany. VDE-Verlag, 2004.
Buscar texto completoInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy). Formal methods for hardware verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures. Springer, 2006.
Buscar texto completoEuropean, Conference on Mask Technology for Integrated Circuits and Microcomponents (17th 2000 Munich Germany). EMC 2000: 17th European Mask Conference on Mask Technology for Integrated Circuits and Micro-components : lectures held at the GMM-Conference, November 13-14, 2000 in Munich-Unterhaching, Germany. VDE-Verlag, 2000.
Buscar texto completoInternational, School on Formal Methods for the Design of Computer Communication and Software Systems (7th 2007 Bertinoro Italy). Formal methods for performance evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures. Springer, 2007.
Buscar texto completoEuropean Conference on Electronic Packaging Technology (1st 1994 Essen, Germany). EuPac '94: Vortäge und Posterbeiträge der 1. Europäischen Konferenz für elektronische Packaging-Technologie und des 7. Internationalen Kolloquium "Verbindungstechnik in der Elektronik" in Essen vom 1. bis 3. Februar 1994 = Lectures and poster show contributions of the 1st European Conference on Electronic Packaging Technology and the 7th International Conference "Interconnection Technology in Electronics" taking place in Essen from February 1st to 3rd 1994. DVS-Verlag, 1994.
Buscar texto completoInstructor's Lecture Notes for Digital Integrated Circuits. CRC Press, 2003.
Buscar texto completoREE, Jason Morales PE. Lecture Notes on INTEGRATED CIRCUITS: Simplified Approach. Independently Published, 2022.
Buscar texto completoSemantics of Digital Circuits Lecture Notes in Computer Science. Springer, 1987.
Buscar texto completoTracebased Postsilicon Validation for VLSI Circuits Lecture Notes in Electrical Engineering. Springer International Publishing AG, 2013.
Buscar texto completoIrwin, J. Basic Engineering Circuit Analysis 7e and Maple for Circuits 2e and ECE 201 Lecture Notes 2e Set (WCS). John Wiley & Sons Inc, 2003.
Buscar texto completoKaneko, Satoru, Paolo Mele, Tamio Endo, and Camelia Miron. Carbon-Related Materials: In Honor of Nobel Laureate Akira Suzuki's Lecture at IUMRS-ICEM 2018. Springer International Publishing AG, 2021.
Buscar texto completo(Editor), Eduardo Sanchez, and Marco Tomassini (Editor), eds. Towards Evolvable Hardware: The Evolutionary Engineering Approach (Lecture Notes in Computer Science). Springer, 1996.
Buscar texto completoWeste, Neil, and Harris David. Power Point Lecture Slides for CMOS VLSI Design: A Circuits and Systems Perspective. Pearson Education, Limited, 2023.
Buscar texto completoVančo Litovski. Lecture Notes in Analog Electronics: Noise in Electronic Circuits and Low Noise Amplifier Design. Springer, 2024.
Buscar texto completoNovel Algorithms for Fast Statistical Analysis of Scaled Circuits Lecture Notes in Electrical Engineering. Springer, 2009.
Buscar texto completoWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2010.
Buscar texto completoWunderlich, Hans-Joachim, and Springer Staff. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2012.
Buscar texto completoElectronic System Integration: The 47th Annual L. Ray Buckendale Lecture. Society of Automotive Engineers Inc, 2002.
Buscar texto completo(Editor), Ramayya Kumar, and Thomas Kropf (Editor), eds. Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science). Springer, 1995.
Buscar texto completoFormal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science). Springer, 2004.
Buscar texto completo(Editor), Tetsuya Higuchi, Masaya Iwata (Editor), and Liu Weixin (Editor), eds. Evolvable Systems: From Biology to Hardware: First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers (Lecture Notes in Computer Science). Springer, 1997.
Buscar texto completoCorrect Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee (Lecture Notes in Computer Science). Springer, 1993.
Buscar texto completo(Editor), Mandayam Srivas, and Albert Camilleri (Editor), eds. Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science). Springer, 1996.
Buscar texto completo(Editor), Ganesh Gopalakrishnan, and Phillip Windley (Editor), eds. Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.
Buscar texto completoWarren A. Jr. Hunt (Editor) and Steven D. Johnson (Editor), eds. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science). Springer, 2000.
Buscar texto completoSoftware tools for process, device, and circuit modelling: Lecture notes of the short course and digest of the software forum held in Dublin, Ireland from 10th to 12th July 1989, in association with the NASECODE VI Conference. Boole Press, 1989.
Buscar texto completo(Editor), Mogens Nielsen, and Wolfgang Thomas (Editor), eds. Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science). Springer, 1998.
Buscar texto completoReif, John H. VLSI Algorithms and Architectures: 3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings (Lecture Notes in Computer Science). Springer, 1988.
Buscar texto completo(Editor), Jorge Juan Chico, and Enrico Macii (Editor), eds. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 13th International Workshop, PATMOS 2003, Torino, Italy, ... (Lecture Notes in Computer Science). Springer, 2003.
Buscar texto completo(Editor), Enrico Macii, Vassilis Paliouras (Editor), and Odysseas Koufopavlou (Editor), eds. Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, ... (Lecture Notes in Computer Science). Springer, 2004.
Buscar texto completo(Editor), Johan Vounckx, Nadine Azemard (Editor), and Philippe Maurine (Editor), eds. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 16th International Workshop, PATMOS 2006, Montpellier, France, ... (Lecture Notes in Computer Science). Springer, 2006.
Buscar texto completo(Editor), Edmund M. Clarke, Robert P. Kurshan (Editor), and E. M. Clarke (Other Contributor), eds. Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science). Springer, 1991.
Buscar texto completo(Editor), Bertrand Hochet, Antonio J. Acosta (Editor), and Manuel J. Bellido (Editor), eds. Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 (Lecture Notes in Computer Science). Springer, 2002.
Buscar texto completo(Editor), Eyal Bin, Avi Ziv (Editor), and Shmuel Ur (Editor), eds. Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... Papers (Lecture Notes in Computer Science). Springer, 2007.
Buscar texto completoHardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science). Springer, 1990.
Buscar texto completoJr., Warren A. Hunt (Editor) and Fabio Somenzi (Editor), eds. Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.
Buscar texto completo(Editor), Ed Brinksma, and Kim G. Larsen (Editor), eds. Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science). Springer, 2002.
Buscar texto completoCorrect Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, ... (Lecture Notes in Computer Science). Springer, 2005.
Buscar texto completo(Editor), Tiziana Margaria, and Tom Melham (Editor), eds. Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ... (Lecture Notes in Computer Science). Springer, 2001.
Buscar texto completo(Editor), Laurence Pierre, and Thomas Kropf (Editor), eds. Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, ... (Lecture Notes in Computer Science). Springer, 1999.
Buscar texto completoEvolvable Systems: From Biology to Hardware: Second International Conference, ICES '98, Lausanne, Switzerland, September 23 - 25, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.
Buscar texto completoEvolvable Systems: From Biology to Hardware: Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings (Lecture Notes in Computer Science). Springer, 2000.
Buscar texto completo(Editor), Rajeev Alur, and Doron A. Peled (Editor), eds. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science). Springer, 2004.
Buscar texto completoWright, Tom F. The American Lecture Hall and an Anglo-American Commons. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190496791.003.0002.
Texto completo(Editor), Rajeev Alur, and T. A. Henzinger (Editor), eds. Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996 (Lecture Notes in Computer Science). Springer, 1996.
Buscar texto completo