security  (37 083 Angebote unter 18 390 451 Artikeln)

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised ...

This book offers a fresh perspective on timeless questions concerning anarchy and order, power and principle, and public and private morality, by taking a novel approach to the study of the onset o...

A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user interfaces but little sense of being swept along wit...

This two-volume set constitutes the refereed proceedings of the First EAI International Conference on Intelligent Systems and Machine Learning, ICISML 2022, held in Hyderabad, India, in December 16...

The German Congress on Crime Prevention (GCOCP) is an annual event that takes place since 1995 in different German cities and targets all areas of crime prevention. Since its foundation the GCOCP h...

This volume constitutes selected papers presented during the Third International Conference on Intelligent Systems and Pattern Recognition, ISPR 2023, held in Hammamet, Tunisia, in May 2023. The 44...

Current Status and Future Trends

This book opens the most adventurous and passionate Chapter in the history of Humankind: Aviation. Aviation in our modern world is one of the latest magnificent enterprises, a kind of emblematic wi...

4th International Conference, ISPR 2024, Istanbul, Turkey, June 26-28, 2024, Revised Selected Papers, Part II

New Agendas, New Agencies and New Approaches