عدد الكتب: 761 - 764 /764
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدZukunft 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, ...
اقرأ المزيد
