Formal Engineering for Industrial Software Development: Using the SOFL Method

But how Do it Know?: The Basic Principles of Computers for Everyone

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

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

Civil Engineering and Energy-Environment Vol 1: Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022

Algorithms: Edition 4

Civil Engineering and Energy-Environment Vol 2: Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022

Just Enough Software Architecture: A Risk-Driven Approach

How to Solve It: A New Aspect of Mathematical Method

Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Fundamentals of Software Architecture: An Engineering Approach

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Short Tricks of Math

Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

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

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

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

Software Engineering at Google: Lessons Learned from Programming Over Time