Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Just Enough Software Architecture: A Risk-Driven Approach

Agent-Based Hybrid Intelligent Systems: An Agent-Based Framework for Complex Problem Solving

Algorithms: Edition 4

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Domain-Driven Design: Tackling Complexity in the Heart of Software

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Fundamentals of Software Architecture: An Engineering Approach

Industrial-Strength Formal Methods in Practice

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

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

The SOS Guide to Live Sound: Optimising Your Band's Live-Performance Audio

Modern Generative AI with ChatGPT and OpenAI Models: Leverage the capabilities of OpenAI's LLM for productivity and innovation with GPT3 and GPT4

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Transformers for Natural Language Processing: Build innovative deep neural network architectures for NLP with Python, PyTorch, TensorFlow, BERT, RoBERTa, and more

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

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Modern Software Engineering: Doing What Works to Build Better Software Faster

Electronic Visualisation in Arts and Culture