This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Lee mas
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
This book explores if and how Russian policies towards the Far East region of the country – and East Asia more broadly ...
Lee mas
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lee mas
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee mas
This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Lee mas
This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lee mas
Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, ...
Lee mas
This book is a comprehensive and up-to-date compendium on all aspects of sarcomas of bone and soft tissues in childhood and ...
Lee mas
There has been a complete transition from analog to digital communication systems, withanalog techniques replaced by digital ...
Lee mas
The book details on the molecular basis of olfaction, olfactory characterization of perfumery materials, structure–odor ...
Lee mas
Emergency Abdominal Surgery is a battlefield for the surgeon - providing character-building experiences, and opportunities ...
Lee mas
The history and evolution of the fields of science and medicine are symbiotically linked and thus are mutually dependent. ...
Lee mas
This 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 mas
Biometrics is becoming increasingly common in establishments that require high security such as state security and financial ...
Lee mas
This volume contains the papers presented at the 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. ...
Lee mas
Security for Wireless Sensor Networks discusses fundamental security issues in wireless sensor networks, techniques for the ...
Lee mas
This 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