Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
Weiterlesen
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Weiterlesen
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Weiterlesen
Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...
Weiterlesen
Visual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. ...
Weiterlesen
Software 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 ...
Weiterlesen
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Weiterlesen
MAS 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 ...
Weiterlesen
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
Weiterlesen
Genetic investigations and manipulations of bacteria and bacteriophage have made vital contributions to our basic understanding ...
Weiterlesen
Microbes 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, ...
Weiterlesen
Hints of globalization have actually been around for several decades, even though they made only a modest impact; however, ...
Weiterlesen
Covers the construction of larger-scale buildings (primarily residential, commercial and industrial) constructed with load ...
Weiterlesen