Livres sur le sujet « Hardware circuits »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Hardware circuits ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Computer hardware diagnostics for engineers. New York : McGraw-Hill, 1995.
Trouver le texte intégralPC hardware projects. Indianapolis, IN : Prompt Publications, 1997.
Trouver le texte intégralThompson, Adrian. Hardware evolution : Automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution. London : Springer, 1998.
Trouver le texte intégralA formal approach to hardware design. Boston : Kluwer Academic Publishers, 1994.
Trouver le texte intégralWang, Li-Guo. Abstraction of hardware construction. Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1995.
Trouver le texte intégralSingh, Gaurav. Low power hardware synthesis from concurrent action-oriented specifications. New York : Springer, 2010.
Trouver le texte intégralAbraham, Kandel, et Langholz Gideon, dir. Fuzzy hardware : Architectures and applications. Boston : Kluwer Academic Publishers, 1998.
Trouver le texte intégralHardware design verification : Simulation and formal method-based approaches. Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005.
Trouver le texte intégralLuís, Gomes, Lavagno Luciano 1959- et Yakovlev Alex, dir. Hardware design and petri nets. Boston : Kluwer Academic, 2000.
Trouver le texte intégralKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Trouver le texte intégralMichael, Yoeli, dir. Formal verification of hardware design. Los Alamos, Calif : IEEE Computer Society Press, 1990.
Trouver le texte intégralGoossens, K. G. W. Structure and behaviour in hardware verification. Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Trouver le texte intégralThe E hardware verification language. Norwell, MA : Kluwer Academic Publishers, 2004.
Trouver le texte intégralKandel, Abraham. Fuzzy Hardware : Architectures and Applications. Boston, MA : Springer US, 1998.
Trouver le texte intégral1953-, Sanchez Eduardo, et Tomassini Marco 1949-, dir. Towards evolvable hardware : The evolutionary engineering approach. Berlin : Springer, 1996.
Trouver le texte intégralCarlos, Delgado Kloos, et Damm Werner, dir. Practical formal methods for hardware design. Berlin : Springer, 1997.
Trouver le texte intégralIFIP 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.
Trouver le texte intégralVemuri, Ranga, et 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.
Texte intégralArora, Mohit. The Art of Hardware Architecture : Design Methods and Techniques for Digital Circuits. New York, NY : Springer Science+Business Media, LLC, 2012.
Trouver le texte intégralLipiansky, Ed. Electrical, electronics, and digital hardware essentials for scientists and engineers. Hoboken, N.J : Wiley, 2012.
Trouver le texte intégralBirtwistle, G. M. Current Trends in Hardware Verification and Automated Theorem Proving. New York, NY : Springer New York, 1989.
Trouver le texte intégralJames, Peet. Verification plans : The five-day verification strategy for modern hardware verification languages. Boston : Kluwer Academic Publishers, 2004.
Trouver le texte intégralLee, Bang W. Hardware annealing in analog VLSI neurocomputing. Boston : Kluwer Academic Publishers, 1991.
Trouver le texte intégralDrechsler, Rolf. Formal Verification of Circuits. Boston, MA : Springer US, 2000.
Trouver le texte intégralDigital hardware testing : Transistor-level fault modeling and testing. Boston : Artech House, 1992.
Trouver le texte intégralParallel processing architectures and VLSI hardware. Englewood Cliffs, N.J : Prentice-Hall, 1989.
Trouver le texte intégral1958-, Leeser M., Brown G. 1960- et Cornell University. Mathematical Sciences Institute., dir. Hardware specification, verification, and synthesis : Mathematical aspects : proceedings. Berlin : Springer-Verlag, 1990.
Trouver le texte intégralEdgar, Sánchez-Sinencio, Lau Clifford, IEEE Circuits and Systems Society. et IEEE Neural Networks Council, dir. Artificial neural networks : Paradigms, applications, and hardware implementations. Piscataway, N.J : IEEE Press, 1992.
Trouver le texte intégralShafique, Muhammad. Hardware/Software Architectures for Low-Power Embedded Multimedia Systems. New York, NY : Springer Science+Business Media, LLC, 2011.
Trouver le texte intégralComputer-hardware evaluation of mathematical functions. Hackensack, NJ : Imperial College Press, 2015.
Trouver le texte intégralZeljko, Zilic, et SpringerLink (Online service), dir. Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring. Dordrecht : Springer Science + Business Media B.V, 2008.
Trouver le texte intégralCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC : U.S. International Trade Commission, 1998.
Trouver le texte intégralCommission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC : U.S. International Trade Commission, 1996.
Trouver le texte intégralYakovlev, Alex. Hardware Design and Petri Nets. Boston, MA : Springer US, 2000.
Trouver le texte intégralKloos, Carlos Delgado. Semantics of digital circuits. Berlin : Springer-Verlag, 1987.
Trouver le texte intégral1961-, Kropf Thomas, dir. Formal hardware verification : Methods and systems in comparison. Berlin : Springer, 1997.
Trouver le texte intégralYong, Liu, Xin Yao et Tetsuya Higuchi. Evolvable Hardware. Springer US, 2010.
Trouver le texte intégralHardware Security. Taylor & Francis Group, 2014.
Trouver le texte intégralBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2006.
Trouver le texte intégralBertacco, Valeria. Scalable Hardware Verification with Symbolic Simulation. Springer, 2010.
Trouver le texte intégralHardware Design Verification Simulation And Formal Methodbased Approaches. Prentice Hall PTR, 2008.
Trouver le texte intégralMajid, Amir. Computer Engineering Essentials : Hardware Circuits and Assembly Programming. Independently Published, 2019.
Trouver le texte intégralThompson, Adrian. Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer, 2012.
Trouver le texte intégralThompson, Adrian. Hardware Evolution : Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution. Springer London, Limited, 2012.
Trouver le texte intégralSalmani, Hassan, Mohammad Tehranipoor et Xuehui Zhang. Integrated Circuit Authentication : Hardware Trojans and Counterfeit Detection. Springer, 2013.
Trouver le texte intégralSalmani, Hassan, Mohammad Tehranipoor et Xuehui Zhang. Integrated Circuit Authentication : Hardware Trojans and Counterfeit Detection. Springer, 2016.
Trouver le texte intégralSalmani, Hassan, Mohammad Tehranipoor et Xuehui Zhang. Integrated Circuit Authentication : Hardware Trojans and Counterfeit Detection. Springer London, Limited, 2013.
Trouver le texte intégralScalable Hardware Verification with Symbolic Simulation. Springer, 2005.
Trouver le texte intégralHardware design and Petri nets. Boston : Kluwer Academic Publishers, 2000.
Trouver le texte intégral(Editor), Tetsuya Higuchi, Yong Liu (Editor) et Xin Yao (Editor), dir. Evolvable Hardware (Genetic and Evolutionary Computation). Springer, 2006.
Trouver le texte intégral