Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Just Enough Software Architecture: A Risk-Driven Approach

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Algorithms: Edition 4

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

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

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Fundamentals of Software Architecture: An Engineering Approach

CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Practical Statistics for Data Scientists: 50+ Essential Concepts Using R and Python, Edition 2

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

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Software Engineering at Google: Lessons Learned from Programming Over Time

Operations Research Proceedings 2010: Selected Papers of the Annual International Conference of the German Operations Research Society

Learn Microsoft Power Apps: The definitive handbook for building solutions with Power Apps to solve your business needs, Edition 2

Validation of Stochastic Systems: A Guide to Current Research

NFC For Dummies

AI in Wireless for Beyond 5G Networks

Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures