Books on the topic 'Simulation – Hardware – Software'

Wells, George James. Hardware emulation and real-time simulation strategies for the concurrent development of microsatellite hardware and software. Toronto: Department of Aerospace Engineering, University of Toronto, 2001.

Aldama, Alvaro A. Filtering Techniques for Turbulent Flow Simulation. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990.

Zhu, Yucai. Identification of Multivariable Industrial Processes: For Simulation, Diagnosis and Control. London: Springer London, 1993.

Heller, Moshe R. Automotive Simulation '91: Proceedings of the 3rd European Cars/Trucks, Simulation Symposium Schliersee, Germany, October 1991. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.

John, Young, Ingalls V. Wayne, Hawkins Robert, and Society for Computer Simulation, eds. Simulation at the frontiers of science with papers on software and hardware systems for the simulationist: Proceedings from the Eastern Simulation Conferences, 10-12 March 1986, Norfolk, Virginia. San Diego, Calif: Society for Computer Simulation, 1986.

Rao, A. Ravishankar. A Taxonomy for Texture Description and Identification. New York, NY: Springer US, 1990.

Wunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Dordrecht: Springer Science+Business Media B.V., 2010.

Phillip, Gold, IEEE Industrial Electronics Society, Keisoku Jidō Seigyo Gakkai (Japan), and Society of Photo-optical Instrumentation Engineers., eds. IECON '87: Small computer applications, hardware and software : 1987 International Conference on Industrial Electronics, Control, and Instrumentation, 3 November 1987, Cambridge, Massachusetts. Bellingham, Wash., USA: SPIE--the Society of Photo-optical Instrumentation Engineers, 1987.

S, Sunderam Vaidy, ed. Computational science -- ICCS 2005: 5th international conference, Atlanta, GA, USA, May 22-25, 2005 : proceedings. Berlin: Springer, 2005.

Computer Applications: Crashworthiness, Simulation, Hardware and Software. Society of Automotive Engineers Inc, 2001.

United States. National Aeronautics and Space Administration., ed. Hierarchical simulation to assess hardware and software dependability. Urbana, IL: Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1997.

Hardware and software reliability estimation using simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Center, Langley Research, ed. Hardware and software reliability estimation using simulations: Final report. Hoboken, N.J: Stevens Institute of Technology, Castle Point, 1990.

Yalamanchili, Sudhakar. Introductory VHDL: From Simulation to Synthesis + XILINX Foundation Series Software, Version 2.1i. Prentice Hall, 2001.

Yalamanchili, Sudhakar. Introductory VHDL: From Simulation to Synthesis + XILINX Foundation Series Software, Version 2.1i. Prentice Hall, 2001.

Young, John V., and Wayne Ingalls. Simulation at the Frontiers of Science With Papers on Software and Hardware for the Simulationist. Society for Computer Simulation, 1986.

Linear Integrated Circuit Applications: Hardware and Software Exercises Using Electronics Workbench. Prentice Hall, 2000.

Baues, Jürgen, Hans-Peter Hillebrand, and Egbert Hüster. Informatik erleben, Tl.2, Hardware und Vernetzung, Prozessdaten-Verarbeitung, Modellbildung und Simulation, Software-Projekte. Dümmlers, 2000.

Ltd, Capilano Computing Systems, ed. LogicWorks Verilog modeler: Interactive circuit simulation software for Windows and Macintosh. 3rd ed. Menlo Park, Calif: Capilano Computing, 1996.

Automotive Simulation '91: Proceedings of the 3rd European Cars/Trucks, Simulation Symposium Schliersee, Germany, October 1991. Springer, 2012.

A Taxonomy for Texture Description and Identification. Springer My Copy UK, 1990.

Lahiri, Shuvendu K. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II. Springer Nature, 2020.

Lahiri, Shuvendu K. Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. Springer Nature, 2020.

Wunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Springer, 2010.

Languages for Embedded Systems and Their Applications Lecture Notes in Electrical Engineering. Springer, 2009.

Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL'04 (Chdl). Springer, 2005.

Boulet, Pierre. Advances in Design and Specification Languages for SoCs: Selected Contributions from FDL'04. Springer, 2014.

Service-Oriented Modeling: Service Analysis, Design, and Architecture. Wiley, 2008.

Primiero, Giuseppe. On the Foundations of Computing. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198835646.001.0001.