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

AI Engineering: Building Applications with Foundation Models

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

Crafting Interpreters

Prompt Engineering - The Ultimate Guide for Success in Artificial Intelligence

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

Audio Engineering - Dynamic Processing

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

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

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

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

Logic Pro X: Audio and Music Production

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

Introduction to Machine Learning with Python: A Guide for Data Scientists

New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

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

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