Informatik (15.755 Artikel)

1. Grundlagen.- 1.1 Algorithmus und Berechenbarkeit.- 1.2 Sprache und Grammatik.- 1.3 Rechner.- 1.4 Informatik als Wissenschaft.- 2. Imperative Programmierung -- die Sprache Modula-2.- 2.1 Syntaxda...

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...

Enabling Machine Learning in Industrial Production

Enabling Machine Learning in Industrial Production

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...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Smart Card Research and Advanced Applications, CARDIS 2013, held in Berlin, Germany...

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

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,...