Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

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

Software Engineering Handbook

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Algorithms to Live By: The Computer Science of Human Decisions

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Complete B2B Online Marketing

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

Hacking: Be a Hacker with Ethics

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Learn Computer Science

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

Structure and Interpretation of Computer Programs - 2nd Edition

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

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

Approaching (Almost) Any Machine Learning Problem