Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
اقرأ المزيد
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
اقرأ المزيد
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيد
Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...
اقرأ المزيد
Visual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. ...
اقرأ المزيد
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
اقرأ المزيدThis book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...
اقرأ المزيد
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيد
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيدAlthough foundation engineering is recognised as a mature discipline with geotechnics, the diversity of applications and ...
اقرأ المزيد
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
اقرأ المزيد
Genetic investigations and manipulations of bacteria and bacteriophage have made vital contributions to our basic understanding ...
اقرأ المزيد
Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...
اقرأ المزيدFor many years, humans have been fighting with bacteria, in a matter of fact, bacteria have been winning for the last decade, ...
اقرأ المزيد
Hints of globalization have actually been around for several decades, even though they made only a modest impact; however, ...
اقرأ المزيد
Covers the construction of larger-scale buildings (primarily residential, commercial and industrial) constructed with load ...
اقرأ المزيد