Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

AI Engineering: Building Applications with Foundation Models

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Prompt Engineering - The Ultimate Guide for Success in Artificial Intelligence

Audio Engineering - Dynamic Processing

Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

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

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

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Logic Pro X: Audio and Music Production

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

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

What Is ChatGPT Doing: ... and Why Does It Work?

Machine Learning for Hackers: Case Studies and Algorithms to Get You Started