Книги з теми "Hardware circuits"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 книг для дослідження на тему "Hardware circuits".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
Computer hardware diagnostics for engineers. New York: McGraw-Hill, 1995.
Знайти повний текст джерелаPC hardware projects. Indianapolis, IN: Prompt Publications, 1997.
Знайти повний текст джерелаThompson, Adrian. Hardware evolution: Automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution. London: Springer, 1998.
Знайти повний текст джерелаA formal approach to hardware design. Boston: Kluwer Academic Publishers, 1994.
Знайти повний текст джерелаWang, Li-Guo. Abstraction of hardware construction. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1995.
Знайти повний текст джерелаSingh, Gaurav. Low power hardware synthesis from concurrent action-oriented specifications. New York: Springer, 2010.
Знайти повний текст джерелаAbraham, Kandel, and Langholz Gideon, eds. Fuzzy hardware: Architectures and applications. Boston: Kluwer Academic Publishers, 1998.
Знайти повний текст джерелаHardware design verification: Simulation and formal method-based approaches. Upper Saddle River, NJ: Prentice Hall Professional Technical Reference, 2005.
Знайти повний текст джерелаLuís, Gomes, Lavagno Luciano 1959-, and Yakovlev Alex, eds. Hardware design and petri nets. Boston: Kluwer Academic, 2000.
Знайти повний текст джерелаKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Знайти повний текст джерелаMichael, Yoeli, ed. Formal verification of hardware design. Los Alamos, Calif: IEEE Computer Society Press, 1990.
Знайти повний текст джерелаGoossens, K. G. W. Structure and behaviour in hardware verification. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Знайти повний текст джерелаThe E hardware verification language. Norwell, MA: Kluwer Academic Publishers, 2004.
Знайти повний текст джерелаKandel, Abraham. Fuzzy Hardware: Architectures and Applications. Boston, MA: Springer US, 1998.
Знайти повний текст джерела1953-, Sanchez Eduardo, and Tomassini Marco 1949-, eds. Towards evolvable hardware: The evolutionary engineering approach. Berlin: Springer, 1996.
Знайти повний текст джерелаCarlos, Delgado Kloos, and Damm Werner, eds. Practical formal methods for hardware design. Berlin: Springer, 1997.
Знайти повний текст джерелаIFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification (1988 Glasgow, Scotland). The fusion of hardware design and verification. Amsterdam: North-Holland, 1988.
Знайти повний текст джерелаVemuri, Ranga, and Suyuan Chen. Split Manufacturing of Integrated Circuits for Hardware Security and Trust. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73445-9.
Повний текст джерелаArora, Mohit. The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits. New York, NY: Springer Science+Business Media, LLC, 2012.
Знайти повний текст джерелаLipiansky, Ed. Electrical, electronics, and digital hardware essentials for scientists and engineers. Hoboken, N.J: Wiley, 2012.
Знайти повний текст джерелаBirtwistle, G. M. Current Trends in Hardware Verification and Automated Theorem Proving. New York, NY: Springer New York, 1989.
Знайти повний текст джерелаJames, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.
Знайти повний текст джерелаLee, Bang W. Hardware annealing in analog VLSI neurocomputing. Boston: Kluwer Academic Publishers, 1991.
Знайти повний текст джерелаDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Знайти повний текст джерелаDigital hardware testing: Transistor-level fault modeling and testing. Boston: Artech House, 1992.
Знайти повний текст джерелаParallel processing architectures and VLSI hardware. Englewood Cliffs, N.J: Prentice-Hall, 1989.
Знайти повний текст джерела1958-, Leeser M., Brown G. 1960-, and Cornell University. Mathematical Sciences Institute., eds. Hardware specification, verification, and synthesis: Mathematical aspects : proceedings. Berlin: Springer-Verlag, 1990.
Знайти повний текст джерелаEdgar, Sánchez-Sinencio, Lau Clifford, IEEE Circuits and Systems Society., and IEEE Neural Networks Council, eds. Artificial neural networks: Paradigms, applications, and hardware implementations. Piscataway, N.J: IEEE Press, 1992.
Знайти повний текст джерелаShafique, Muhammad. Hardware/Software Architectures for Low-Power Embedded Multimedia Systems. New York, NY: Springer Science+Business Media, LLC, 2011.
Знайти повний текст джерелаComputer-hardware evaluation of mathematical functions. Hackensack, NJ: Imperial College Press, 2015.
Знайти повний текст джерелаZeljko, Zilic, and SpringerLink (Online service), eds. Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring. Dordrecht: Springer Science + Business Media B.V, 2008.
Знайти повний текст джерелаCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1998.
Знайти повний текст джерелаCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1996.
Знайти повний текст джерелаYakovlev, Alex. Hardware Design and Petri Nets. Boston, MA: Springer US, 2000.
Знайти повний текст джерелаKloos, Carlos Delgado. Semantics of digital circuits. Berlin: Springer-Verlag, 1987.
Знайти повний текст джерела1961-, Kropf Thomas, ed. Formal hardware verification: Methods and systems in comparison. Berlin: Springer, 1997.
Знайти повний текст джерелаYong, Liu, Xin Yao, and Tetsuya Higuchi. Evolvable Hardware. Springer US, 2010.
Знайти повний текст джерелаHardware Security. Taylor & Francis Group, 2014.
Знайти повний текст джерелаBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2006.
Знайти повний текст джерелаBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2010.
Знайти повний текст джерелаHardware Design Verification Simulation And Formal Methodbased Approaches. Prentice Hall PTR, 2008.
Знайти повний текст джерелаMajid, Amir. Computer Engineering Essentials: Hardware Circuits and Assembly Programming. Independently Published, 2019.
Знайти повний текст джерелаThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer, 2012.
Знайти повний текст джерелаThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer London, Limited, 2012.
Знайти повний текст джерелаSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2013.
Знайти повний текст джерелаSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2016.
Знайти повний текст джерелаSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer London, Limited, 2013.
Знайти повний текст джерелаScalable Hardware Verification with Symbolic Simulation. Springer, 2005.
Знайти повний текст джерелаHardware design and Petri nets. Boston: Kluwer Academic Publishers, 2000.
Знайти повний текст джерела(Editor), Tetsuya Higuchi, Yong Liu (Editor), and Xin Yao (Editor), eds. Evolvable Hardware (Genetic and Evolutionary Computation). Springer, 2006.
Знайти повний текст джерела