खोज परिणाम

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.   R... अधिक

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and sel... अधिक

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subj... अधिक

Having abandoned his wife, life, family, and homeland, the narrator of My Year of Love flees to Paris to begin his life over again, and finds himself having to rescue himself from the freedom he believed he desired: "I would never have believed that freedom could be a form of captivity, freedom can ... अधिक

Having abandoned his wife, life, family, and homeland, the narrator of My Year of Love flees to Paris to begin his life over again, and finds himself having to rescue himself from the freedom he believed he desired: "I would never have believed that freedom could be a form of captivity, freedom can ... अधिक

Fantasy from Asia and the Asian Diaspora is a Tordotcom Novella Sampler featuring stories by Zen Cho, Saad Z. Hossain, S. L. Huang, Nghi Vo, and JY Neon Yang…At the Publisher's request, this title is being sold without Digital Rights Management Software (DRM) applied.... अधिक