Total Books: 781 - 785 /785
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite
What Every Engineer Should Know About Smart Cities / Valdemar Vicente Graciano Neto, Mohamad Kassab
It is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies ...
Lire la suite
Words and Intelligence I : Selected Papers by Yorick Wilks
The papers include early work descriptions of groundbreaking work on Machine Translation and Preference Semantics as well ...
Lire la suite
X-Ray Fluorescence Spectroscopy for Laboratory Applications / Michael Haschke
X-Ray Fluorescence Spectroscopy for Laboratory Applications begins with a short overview of the physical fundamentals of ...
Lire la suiteZukunft der Arbeit in Industrie 4.0 = Future of work in Industry 4.0
The future project "Industry 4.0", which represents a central element of the high-tech strategy of the federal government, ...
Lire la suite
