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