Sökt på: Sökresultat
totalt 6 träffar
Calculus of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. …
Time for Verification
Climate Change - Environment and Civilization in the Middle East
We live in an early stage of an interglacial period, which began some fifteen thousand years ago - a warming trend which, with the extreme ups and downs, is . still gaining …
Molecular Biology and Pathogenesis of Peste des Petits Ruminants Virus
Peste de Petits Ruminants (PPR) is a highly contagious viral disease of domestic and wild small ruminants that can significantly affect economies. The authors are experts in the …
Climate Change -
When the ?rst edition of this book was published in 2004, the following year 2005 has happened to have been the warmest year since 1880, when the ?rst reliable worldwide …
Financial Cryptography and Data Security
This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, in Nieuwport, Curacao, …