Książki na temat „Circuits de lecture”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Circuits de lecture”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
1952-, Staunstrup J., IFIP WG 10 5 i Danmarks tekniske højskole. Instituttet for datateknik., red. Formal methods for VLSI design: IFIP WG 10.5 lecture notes. Amsterdam: North-Holland, 1990.
Znajdź pełny tekst źródłaWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Dordrecht: Springer Science+Business Media B.V., 2010.
Znajdź pełny tekst źródłaBrodsky, Bart. The teaching marketplace: Make money with freelance teaching, corporate trainings, and on the lecture circuit. Wyd. 2. Berkeley, Calif: Community Resource Institute Press, 1992.
Znajdź pełny tekst źródłaEuropean, 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. Berlin: VDE-Verlag, 2003.
Znajdź pełny tekst źródłaEuropean 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. Berlin: VDE-Verlag, 2004.
Znajdź pełny tekst źródłaSpeech is golden: How to sell your wit, wisdom, expertise, and personal experience on the local and national lecture circuit. New York: St. Martin's Press, 1992.
Znajdź pełny tekst źródłaInternational 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. Berlin: Springer, 2006.
Znajdź pełny tekst źródłaEuropean, 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. Berlin: VDE-Verlag, 2000.
Znajdź pełny tekst źródłaStudent Lecture Notes for Digital Integrated Circuits. CRC Press, 2003.
Znajdź pełny tekst źródłaInstructor's Lecture Notes for Digital Integrated Circuits. CRC Press, 2003.
Znajdź pełny tekst źródłaREE, Jason Morales PE. Lecture Notes on INTEGRATED CIRCUITS: Simplified Approach. Independently Published, 2022.
Znajdź pełny tekst źródłaSemantics of Digital Circuits Lecture Notes in Computer Science. Springer, 1987.
Znajdź pełny tekst źródłaTracebased Postsilicon Validation for VLSI Circuits Lecture Notes in Electrical Engineering. Springer International Publishing AG, 2013.
Znajdź pełny tekst źródłaIrwin, J. Basic Engineering Circuit Analysis 7e and Maple for Circuits 2e and ECE 201 Lecture Notes 2e Set (WCS). John Wiley & Sons Inc, 2003.
Znajdź pełny tekst źródłaKaneko, Satoru, Paolo Mele, Tamio Endo i Camelia Miron. Carbon-Related Materials: In Honor of Nobel Laureate Akira Suzuki's Lecture at IUMRS-ICEM 2018. Springer International Publishing AG, 2021.
Znajdź pełny tekst źródłaWeste, Neil, i Harris David. Power Point Lecture Slides for CMOS VLSI Design: A Circuits and Systems Perspective. Pearson Education, Limited, 2023.
Znajdź pełny tekst źródła(Editor), Eduardo Sanchez, i Marco Tomassini (Editor), red. Towards Evolvable Hardware: The Evolutionary Engineering Approach (Lecture Notes in Computer Science). Springer, 1996.
Znajdź pełny tekst źródłaNovel Algorithms for Fast Statistical Analysis of Scaled Circuits Lecture Notes in Electrical Engineering. Springer, 2009.
Znajdź pełny tekst źródłaWunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2010.
Znajdź pełny tekst źródłaWunderlich, Hans-Joachim, i Springer Staff. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2012.
Znajdź pełny tekst źródła(Editor), Marco Bernardo, i Alessandro Cimatti (Editor), red. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science). Springer, 2006.
Znajdź pełny tekst źródła(Editor), Marco Bernardo, i Jane Hillston (Editor), red. Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science). Springer, 2007.
Znajdź pełny tekst źródła(Editor), Thomas Ball, i Robert B. Jones (Editor), red. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.
Znajdź pełny tekst źródła(Editor), Ramayya Kumar, i Thomas Kropf (Editor), red. Theorem Provers in Circuit Design: Theory, Practice and Experience (Lecture Notes in Computer Science). Springer, 1995.
Znajdź pełny tekst źródłaFormal 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.
Znajdź pełny tekst źródła(Editor), Daniel Geist, i Enrico Tronci (Editor), red. Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... (Lecture Notes in Computer Science). Springer, 2003.
Znajdź pełny tekst źródłaJr., Warren A. Hunt (Editor) i Fabio Somenzi (Editor), red. Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.
Znajdź pełny tekst źródła(Editor), Tetsuya Higuchi, Masaya Iwata (Editor) i Liu Weixin (Editor), red. 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.
Znajdź pełny tekst źródłaCorrect 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.
Znajdź pełny tekst źródła(Editor), Mandayam Srivas, i Albert Camilleri (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Ganesh Gopalakrishnan, i Phillip Windley (Editor), red. 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.
Znajdź pełny tekst źródłaWarren A. Jr. Hunt (Editor) i Steven D. Johnson (Editor), red. 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.
Znajdź pełny tekst źródłaSoftware 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. Dún Laoghaire, Co. Dublin, Ireland: Boole Press, 1989.
Znajdź pełny tekst źródła(Editor), Mogens Nielsen, i Wolfgang Thomas (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Jorge Juan Chico, i Enrico Macii (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Enrico Macii, Vassilis Paliouras (Editor) i Odysseas Koufopavlou (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Johan Vounckx, Nadine Azemard (Editor) i Philippe Maurine (Editor), red. 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.
Znajdź pełny tekst źródłaReif, 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.
Znajdź pełny tekst źródła(Editor), Edmund M. Clarke, Robert P. Kurshan (Editor) i E. M. Clarke (Other Contributor), red. Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science). Springer, 1991.
Znajdź pełny tekst źródła(Editor), Bertrand Hochet, Antonio J. Acosta (Editor) i Manuel J. Bellido (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Eyal Bin, Avi Ziv (Editor) i Shmuel Ur (Editor), red. 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.
Znajdź pełny tekst źródłaHardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, ... (Lecture Notes in Computer Science). Springer, 1990.
Znajdź pełny tekst źródłaUnderstanding Circuits: Learning Problem Solving Using Circuit Analysis (Synthesis Lectures on Electrical Engineering). Morgan & Claypool Publishers, 2005.
Znajdź pełny tekst źródłaCorrect 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.
Znajdź pełny tekst źródła(Editor), Tiziana Margaria, i Tom Melham (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Laurence Pierre, i Thomas Kropf (Editor), red. 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.
Znajdź pełny tekst źródłaEvolvable Systems: From Biology to Hardware: Second International Conference, ICES '98, Lausanne, Switzerland, September 23 - 25, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.
Znajdź pełny tekst źródła(Editor), Kousha Etessami, i Sriram K. Rajamani (Editor), red. Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.
Znajdź pełny tekst źródłaComputer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science). Springer, 1997.
Znajdź pełny tekst źródłaEvolvable 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.
Znajdź pełny tekst źródła