Libros sobre el tema "Hardware circuits"
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 "Hardware circuits".
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.
Computer hardware diagnostics for engineers. New York: McGraw-Hill, 1995.
Buscar texto completoPC hardware projects. Indianapolis, IN: Prompt Publications, 1997.
Buscar texto completoThompson, Adrian. Hardware evolution: Automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution. London: Springer, 1998.
Buscar texto completoA formal approach to hardware design. Boston: Kluwer Academic Publishers, 1994.
Buscar texto completoWang, Li-Guo. Abstraction of hardware construction. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1995.
Buscar texto completoSingh, Gaurav. Low power hardware synthesis from concurrent action-oriented specifications. New York: Springer, 2010.
Buscar texto completoAbraham, Kandel y Langholz Gideon, eds. Fuzzy hardware: Architectures and applications. Boston: Kluwer Academic Publishers, 1998.
Buscar texto completoHardware design verification: Simulation and formal method-based approaches. Upper Saddle River, NJ: Prentice Hall Professional Technical Reference, 2005.
Buscar texto completoLuís, Gomes, Lavagno Luciano 1959- y Yakovlev Alex, eds. Hardware design and petri nets. Boston: Kluwer Academic, 2000.
Buscar texto completoKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Buscar texto completoMichael, Yoeli, ed. Formal verification of hardware design. Los Alamos, Calif: IEEE Computer Society Press, 1990.
Buscar texto completoGoossens, K. G. W. Structure and behaviour in hardware verification. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Buscar texto completoThe E hardware verification language. Norwell, MA: Kluwer Academic Publishers, 2004.
Buscar texto completoKandel, Abraham. Fuzzy Hardware: Architectures and Applications. Boston, MA: Springer US, 1998.
Buscar texto completo1953-, Sanchez Eduardo y Tomassini Marco 1949-, eds. Towards evolvable hardware: The evolutionary engineering approach. Berlin: Springer, 1996.
Buscar texto completoCarlos, Delgado Kloos y Damm Werner, eds. Practical formal methods for hardware design. Berlin: Springer, 1997.
Buscar texto completoIFIP 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.
Buscar texto completoVemuri, Ranga y 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.
Texto completoArora, Mohit. The Art of Hardware Architecture: Design Methods and Techniques for Digital Circuits. New York, NY: Springer Science+Business Media, LLC, 2012.
Buscar texto completoLipiansky, Ed. Electrical, electronics, and digital hardware essentials for scientists and engineers. Hoboken, N.J: Wiley, 2012.
Buscar texto completoBirtwistle, G. M. Current Trends in Hardware Verification and Automated Theorem Proving. New York, NY: Springer New York, 1989.
Buscar texto completoJames, Peet. Verification plans: The five-day verification strategy for modern hardware verification languages. Boston: Kluwer Academic Publishers, 2004.
Buscar texto completoLee, Bang W. Hardware annealing in analog VLSI neurocomputing. Boston: Kluwer Academic Publishers, 1991.
Buscar texto completoDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Buscar texto completoDigital hardware testing: Transistor-level fault modeling and testing. Boston: Artech House, 1992.
Buscar texto completoParallel processing architectures and VLSI hardware. Englewood Cliffs, N.J: Prentice-Hall, 1989.
Buscar texto completo1958-, Leeser M., Brown G. 1960- y Cornell University. Mathematical Sciences Institute., eds. Hardware specification, verification, and synthesis: Mathematical aspects : proceedings. Berlin: Springer-Verlag, 1990.
Buscar texto completoEdgar, Sánchez-Sinencio, Lau Clifford, IEEE Circuits and Systems Society. y IEEE Neural Networks Council, eds. Artificial neural networks: Paradigms, applications, and hardware implementations. Piscataway, N.J: IEEE Press, 1992.
Buscar texto completoShafique, Muhammad. Hardware/Software Architectures for Low-Power Embedded Multimedia Systems. New York, NY: Springer Science+Business Media, LLC, 2011.
Buscar texto completoComputer-hardware evaluation of mathematical functions. Hackensack, NJ: Imperial College Press, 2015.
Buscar texto completoZeljko, Zilic y 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.
Buscar texto completoCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1998.
Buscar texto completoCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1996.
Buscar texto completoYakovlev, Alex. Hardware Design and Petri Nets. Boston, MA: Springer US, 2000.
Buscar texto completoKloos, Carlos Delgado. Semantics of digital circuits. Berlin: Springer-Verlag, 1987.
Buscar texto completo1961-, Kropf Thomas, ed. Formal hardware verification: Methods and systems in comparison. Berlin: Springer, 1997.
Buscar texto completoYong, Liu, Xin Yao y Tetsuya Higuchi. Evolvable Hardware. Springer US, 2010.
Buscar texto completoHardware Security. Taylor & Francis Group, 2014.
Buscar texto completoBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2006.
Buscar texto completoBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2010.
Buscar texto completoHardware Design Verification Simulation And Formal Methodbased Approaches. Prentice Hall PTR, 2008.
Buscar texto completoMajid, Amir. Computer Engineering Essentials: Hardware Circuits and Assembly Programming. Independently Published, 2019.
Buscar texto completoThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer, 2012.
Buscar texto completoThompson, Adrian. Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer London, Limited, 2012.
Buscar texto completoSalmani, Hassan, Mohammad Tehranipoor y Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2013.
Buscar texto completoSalmani, Hassan, Mohammad Tehranipoor y Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer, 2016.
Buscar texto completoSalmani, Hassan, Mohammad Tehranipoor y Xuehui Zhang. Integrated Circuit Authentication: Hardware Trojans and Counterfeit Detection. Springer London, Limited, 2013.
Buscar texto completoScalable Hardware Verification with Symbolic Simulation. Springer, 2005.
Buscar texto completoHardware design and Petri nets. Boston: Kluwer Academic Publishers, 2000.
Buscar texto completo(Editor), Tetsuya Higuchi, Yong Liu (Editor) y Xin Yao (Editor), eds. Evolvable Hardware (Genetic and Evolutionary Computation). Springer, 2006.
Buscar texto completo