From a prize-winning new voice in Korean fiction, with roots in feminist SFF, these exhilarating ...

.- Verification..- Reachability and Verification of Assertions for IoT Applications..- Enhancing ...

The papers in this volume accepted for the conference on foundations of software technology and t...

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on ...

Human Cytomegalovirus (HCMV) is the largest member of the herpes virus family. Inimmunocompeten...

To design and develop capable, dependable, and affordable intelligent systems, their performance ...

Curvature greatly complicates the behavior of horizontally curved steel plate girders used in bri...

Sustainability applies to everybody. But everybody applies it differently, by defining and shapin...

This volume contains the proceedings of the 21st international conference on the Foundations of S...

Invited Talk.- Abelian Varieties and Cryptography.- Sequences.- Proof of a Conjecture on the Join...

These proceedings of the Tenth Indian Conference on Foundations of Software Technology and Theore...

Personalized health care to manage diseases and optimized treatment is crucial for everyone to ma...