zhiming liu
Metro Cloud
VorbestellbarThis book introduces Metro Cloud as a China-standard metro cloud and big data framework whose adv...
Engineering Trustworthy Software Systems
Print on DemandThis volume contains a record of some of the lectures and seminars delivered at the Second Intern...
Domain Modeling and the Duration Calculus
Print on DemandThis book presents thoroughly revised tutorial papers based on lectures given by leading research...
Dependable Software Engineering: Theories, Tools, and Applications
Print on DemandThis book constitutes the refereed proceedings of the First International Symposium on Dependable...
Formal Aspects of Component Software
Print on DemandThis book constitutes the revised selected papers of the 10th International Symposium on Formal A...
Engineering Trustworthy Software Systems
Print on DemandThis volume contains the lecture notes of the five coursesand one seminar given at the School...
Unifying Theories of Programming and Formal Engineering Methods
Print on DemandInhaltsangaberCOS: Defining Meanings of Component-Based Software Architectures.- Model-Based Veri...
Theories of Programming and Formal Methods
Print on DemandThis Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...
Theoretical Aspects of Computing -- ICTAC 2013
Print on DemandThis book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...
Automated Technology for Verification and Analysis
Print on DemandThis book constitutes the proceedings of the 7th International Symposium on Automated Technology ...
Formal Methods and Hybrid Real-Time Systems
Print on DemandThis Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...
Engineering Trustworthy Software Systems
Print on DemandThis volume contains a record of some of the lectures and seminars delivered at the Third Interna...
- 1
- 2