Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

Fundamentals of Musical Acoustics: Second, Revised Edition, Edition 2

Audio Engineering - Dynamic Processing

Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

This Is Your Brain on Music: The Science of a Human Obsession

Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

The Quantum Framework for Our Mathematical Universe: Full Dissertation

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Basic of sound and hearing: Part 1 sound enforcement: sound enforcement

Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Continuous-Time Signals and Systems (Edition 2.0)

4G, LTE-Advanced Pro and The Road to 5G: Edition 3

Signals and Systems (Edition 3.0)

The Wavewatcher's Companion

Practical SDR: Getting Started with Software-Defined Radio

Music, Physics and Engineering

Ghost Wave: The Discovery of Cortes Bank and the Biggest Wave on Earth

Giza: The Tesla Connection: Acoustical Science and the Harvesting of Clean Energy