Informatik (15 326 Artikel)

This book has an important starting point in the conference held in Stockholm in May-June 1988 on Culture, Language and Artifidal Intelligence. It assembled more than 300 researchers and practition...

An Investigation into Dynamic Descriptive Complexity

This book contains selected contributions from some of the most renowned researchers in the field of small-scale robotics, based in large part on invited presentations from the workshop "The Differ...

This book constitutes the refereed proceedings of the Second International Conference on Smart Blockchain, SmartBlock 2019, held in Birmingham, UK, in October 2019.

First International Conference, SmartBlock 2018, Tokyo, Japan, December 10-12, 2018, Proceedings

Invited Talk.- Protecting Consumer Security Devices.- Contributed Papers.- Jakarta: A Toolset for Reasoning about JavaCard.- Mechanising a Protocol for Smart Cards.- JCCM: Flexible Certificates for...

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Smart Card Research and Advanced Applications, CARDIS 2018, held in Monpellier, Fra...

18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

This book constitutes the proceedings of the 19th International Conference on Smart Card Research and Advanced Applications, CARDIS 2020, which took place during November 18-20, 2020. The conferenc...

14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France,...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Smart Card Research and Advanced Applications, CARDIS 2017, held in Lugano, Switzer...

This book constitutes the refereed proceedings of the 8th International Conference on Smart Card Research and Advanced Applications, CARDIS 2008, held in London, UK, in September 2008. The 21 revis...

Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. The CARDIS conferences were creat...

This book constitutes the thoroughly refereed proceedings of the Third Ibero-American Congress, ICSC-CITIES 2020, held in Costa Rica, in November 2020. Due to the COVID-19 pandemic the conference w...