Electronic Books

Total Books: 1001 - 1020 /1306

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

This book explores if and how Russian policies towards the Far East region of the country – and East Asia more broadly ...

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

Of the three lecture courses making up the CIME summer school on Fluid Dynamics at Cetraro in 2005 reflected in this volume, ...

This book is a comprehensive and up-to-date compendium on all aspects of sarcomas of bone and soft tissues in childhood and ...

There has been a complete transition from analog to digital communication systems, withanalog techniques replaced by digital ...

The book details on the molecular basis of olfaction, olfactory characterization of perfumery materials, structure–odor ...

Emergency Abdominal Surgery is a battlefield for the surgeon - providing character-building experiences, and opportunities ...

The history and evolution of the fields of science and medicine are symbiotically linked and thus are mutually dependent. ...

This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...

Hepatitis is a liver infection characterized by inflammation of the liver tissue. Infectious causes of hepatitis include ...

Biometrics is becoming increasingly common in establishments that require high security such as state security and financial ...

This volume contains the papers presented at the 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. ...

Security for Wireless Sensor Networks discusses fundamental security issues in wireless sensor networks, techniques for the ...

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...

This book will contribute to a more nuanced debate around seed system resilience that goes beyond the dominant dichotomous ...

Total Books: 1001 - 1020 /1306