This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee masThe papers include early work descriptions of groundbreaking work on Machine Translation and Preference Semantics as well ...
Lee masX-Ray Fluorescence Spectroscopy for Laboratory Applications begins with a short overview of the physical fundamentals of ...
Lee masThe future project "Industry 4.0", which represents a central element of the high-tech strategy of the federal government, ...
Lee mas