Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Crafting Interpreters

Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Audio Engineering - Dynamic Processing

AI Engineering: Building Applications with Foundation Models

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

Logic Pro X: Audio and Music Production

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

Dialogue Editing for Motion Pictures: A Guide to the Invisible Art, Edition 2

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

The Music Producer's Ultimate Guide to FL Studio 20: Create production-quality music with FL Studio

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

LLM Engineer's Handbook: Master the art of engineering large language models from concept to production

Conversational AI: Dialogue Systems, Conversational Agents, and Chatbots

iPad Music: In the Studio and on Stage

Machine Learning and Principles and Practice of Knowledge Discovery in Databases: International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I

Sound Systems: Design and Optimization: Modern Techniques and Tools for Sound System Design and Alignment, Edition 3