This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Lee masRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee masThis book explores if and how Russian policies towards the Far East region of the country – and East Asia more broadly ...
Lee masThis volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lee masThisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee masThis book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Lee masThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lee masOf the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, ...
Lee masThis book is a comprehensive and up-to-date compendium on all aspects of sarcomas of bone and soft tissues in childhood and ...
Lee masThere has been a complete transition from analog to digital communication systems, withanalog techniques replaced by digital ...
Lee masThe book details on the molecular basis of olfaction, olfactory characterization of perfumery materials, structure–odor ...
Lee masEmergency Abdominal Surgery is a battlefield for the surgeon - providing character-building experiences, and opportunities ...
Lee masThe history and evolution of the fields of science and medicine are symbiotically linked and thus are mutually dependent. ...
Lee masThis workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...
Lee masHepatitis is a liver infection characterized by inflammation of the liver tissue. Infectious causes of hepatitis include ...
Lee masBiometrics is becoming increasingly common in establishments that require high security such as state security and financial ...
Lee masThis volume contains the papers presented at the 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. ...
Lee masSecurity for Wireless Sensor Networks discusses fundamental security issues in wireless sensor networks, techniques for the ...
Lee masThis volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...
Lee masThis book will contribute to a more nuanced debate around seed system resilience that goes beyond the dominant dichotomous ...
Lee mas