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

Audio Engineering - Dynamic Processing

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

Crafting Interpreters

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

Prompt Engineering - The Ultimate Guide for Success in Artificial Intelligence

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

Logic Pro X: Audio and Music Production

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

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

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

From ML Algorithms to GenAI & LLMs: Master ML Algorithms and Generative AI & LLMs with Python from scratch!

Compiler Design

Conversational AI: Dialogue Systems, Conversational Agents, and Chatbots

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

iPad Music: In the Studio and on Stage