Books on the topic 'Hardware circuits'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Hardware circuits.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Computer hardware diagnostics for engineers. New York: McGraw-Hill, 1995.
Find full textPC hardware projects. Indianapolis, IN: Prompt Publications, 1997.
Find full textThompson, Adrian. Hardware evolution: Automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution. London: Springer, 1998.
Find full textA formal approach to hardware design. Boston: Kluwer Academic Publishers, 1994.
Find full textWang, Li-Guo. Abstraction of hardware construction. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1995.
Find full textSingh, Gaurav. Low power hardware synthesis from concurrent action-oriented specifications. New York: Springer, 2010.
Find full textAbraham, Kandel, and Langholz Gideon, eds. Fuzzy hardware: Architectures and applications. Boston: Kluwer Academic Publishers, 1998.
Find full textHardware design verification: Simulation and formal method-based approaches. Upper Saddle River, NJ: Prentice Hall Professional Technical Reference, 2005.
Find full textLuís, Gomes, Lavagno Luciano 1959-, and Yakovlev Alex, eds. Hardware design and petri nets. Boston: Kluwer Academic, 2000.
Find full textKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Find full textMichael, Yoeli, ed. Formal verification of hardware design. Los Alamos, Calif: IEEE Computer Society Press, 1990.
Find full textGoossens, K. G. W. Structure and behaviour in hardware verification. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Find full textThe E hardware verification language. Norwell, MA: Kluwer Academic Publishers, 2004.
Find full textKandel, Abraham. Fuzzy Hardware: Architectures and Applications. Boston, MA: Springer US, 1998.
Find full text1953-, Sanchez Eduardo, and Tomassini Marco 1949-, eds. Towards evolvable hardware: The evolutionary engineering approach. Berlin: Springer, 1996.
Find full textCarlos, Delgado Kloos, and Damm Werner, eds. Practical formal methods for hardware design. Berlin: Springer, 1997.
Find full textIFIP 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.
Find full textVemuri, 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.
Full textArora, Mohit. The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits. New York, NY: Springer Science+Business Media, LLC, 2012.
Find full textLipiansky, Ed. Electrical, electronics, and digital hardware essentials for scientists and engineers. Hoboken, N.J: Wiley, 2012.
Find full textBirtwistle, G. M. Current Trends in Hardware Verification and Automated Theorem Proving. New York, NY: Springer New York, 1989.
Find full textJames, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.
Find full textLee, Bang W. Hardware annealing in analog VLSI neurocomputing. Boston: Kluwer Academic Publishers, 1991.
Find full textDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Find full textDigital hardware testing: Transistor-level fault modeling and testing. Boston: Artech House, 1992.
Find full textParallel processing architectures and VLSI hardware. Englewood Cliffs, N.J: Prentice-Hall, 1989.
Find full text1958-, Leeser M., Brown G. 1960-, and Cornell University. Mathematical Sciences Institute., eds. Hardware specification, verification, and synthesis: Mathematical aspects : proceedings. Berlin: Springer-Verlag, 1990.
Find full textEdgar, 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.
Find full textShafique, Muhammad. Hardware/Software Architectures for Low-Power Embedded Multimedia Systems. New York, NY: Springer Science+Business Media, LLC, 2011.
Find full textComputer-hardware evaluation of mathematical functions. Hackensack, NJ: Imperial College Press, 2015.
Find full textZeljko, 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.
Find full textCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1998.
Find full textCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1996.
Find full textYakovlev, Alex. Hardware Design and Petri Nets. Boston, MA: Springer US, 2000.
Find full textKloos, Carlos Delgado. Semantics of digital circuits. Berlin: Springer-Verlag, 1987.
Find full text1961-, Kropf Thomas, ed. Formal hardware verification: Methods and systems in comparison. Berlin: Springer, 1997.
Find full textYong, Liu, Xin Yao, and Tetsuya Higuchi. Evolvable Hardware. Springer US, 2010.
Find full textHardware Security. Taylor & Francis Group, 2014.
Find full textBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2006.
Find full textBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2010.
Find full textHardware Design Verification Simulation And Formal Methodbased Approaches. Prentice Hall PTR, 2008.
Find full textMajid, Amir. Computer Engineering Essentials: Hardware Circuits and Assembly Programming. Independently Published, 2019.
Find full textThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer, 2012.
Find full textThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer London, Limited, 2012.
Find full textSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2013.
Find full textSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2016.
Find full textSalmani, Hassan, Mohammad Tehranipoor, and Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer London, Limited, 2013.
Find full textScalable Hardware Verification with Symbolic Simulation. Springer, 2005.
Find full textHardware design and Petri nets. Boston: Kluwer Academic Publishers, 2000.
Find full text(Editor), Tetsuya Higuchi, Yong Liu (Editor), and Xin Yao (Editor), eds. Evolvable Hardware (Genetic and Evolutionary Computation). Springer, 2006.
Find full text