Bücher zum Thema „Circuits de lecture“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Circuits de lecture" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
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.
Den vollen Inhalt der Quelle findenWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer Science+Business Media B.V., 2010.
Den vollen Inhalt der Quelle findenBrodsky, Bart. The teaching marketplace: Make money with freelance teaching, corporate trainings, and on the lecture circuit. 2nd ed. Community Resource Institute Press, 1992.
Den vollen Inhalt der Quelle findenEuropean, 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.
Den vollen Inhalt der Quelle findenEuropean 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.
Den vollen Inhalt der Quelle findenInternational 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.
Den vollen Inhalt der Quelle findenEuropean, 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.
Den vollen Inhalt der Quelle findenInternational, 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.
Den vollen Inhalt der Quelle findenEuropean 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.
Den vollen Inhalt der Quelle findenStudent Lecture Notes for Digital Integrated Circuits. CRC Press, 2003.
Den vollen Inhalt der Quelle findenInstructor's Lecture Notes for Digital Integrated Circuits. CRC Press, 2003.
Den vollen Inhalt der Quelle findenREE, Jason Morales PE. Lecture Notes on INTEGRATED CIRCUITS: Simplified Approach. Independently Published, 2022.
Den vollen Inhalt der Quelle findenSemantics of Digital Circuits Lecture Notes in Computer Science. Springer, 1987.
Den vollen Inhalt der Quelle findenTracebased Postsilicon Validation for VLSI Circuits Lecture Notes in Electrical Engineering. Springer International Publishing AG, 2013.
Den vollen Inhalt der Quelle findenIrwin, J. Basic Engineering Circuit Analysis 7e and Maple for Circuits 2e and ECE 201 Lecture Notes 2e Set (WCS). John Wiley & Sons Inc, 2003.
Den vollen Inhalt der Quelle findenKaneko, 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.
Den vollen Inhalt der Quelle finden(Editor), Eduardo Sanchez, and Marco Tomassini (Editor), eds. Towards Evolvable Hardware: The Evolutionary Engineering Approach (Lecture Notes in Computer Science). Springer, 1996.
Den vollen Inhalt der Quelle findenWeste, Neil, and Harris David. Power Point Lecture Slides for CMOS VLSI Design: A Circuits and Systems Perspective. Pearson Education, Limited, 2023.
Den vollen Inhalt der Quelle findenVančo Litovski. Lecture Notes in Analog Electronics: Noise in Electronic Circuits and Low Noise Amplifier Design. Springer, 2024.
Den vollen Inhalt der Quelle findenNovel Algorithms for Fast Statistical Analysis of Scaled Circuits Lecture Notes in Electrical Engineering. Springer, 2009.
Den vollen Inhalt der Quelle findenWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2010.
Den vollen Inhalt der Quelle findenWunderlich, Hans-Joachim, and Springer Staff. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2012.
Den vollen Inhalt der Quelle findenElectronic System Integration: The 47th Annual L. Ray Buckendale Lecture. Society of Automotive Engineers Inc, 2002.
Den vollen Inhalt der Quelle finden(Editor), Ramayya Kumar, and Thomas Kropf (Editor), eds. Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science). Springer, 1995.
Den vollen Inhalt der Quelle findenFormal 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenCorrect 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenWarren 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.
Den vollen Inhalt der Quelle findenSoftware 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenReif, 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenHardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science). Springer, 1990.
Den vollen Inhalt der Quelle findenJr., 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenCorrect 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenEvolvable Systems: From Biology to Hardware: Second International Conference, ICES '98, Lausanne, Switzerland, September 23 - 25, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.
Den vollen Inhalt der Quelle findenEvolvable 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.
Den vollen Inhalt der Quelle finden(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.
Den vollen Inhalt der Quelle findenWright, 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.
Der volle Inhalt der Quelle(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.
Den vollen Inhalt der Quelle finden