Informatik (15 757 Artikel)

Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings

First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017, Proceedings

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated L...

13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings

Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

This book constitutes the proceedings of the International Conference on Artificial Intelligence and Mobile Services, AIMS 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018. The 20 ...

Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

This book constitutes the proceedings of the International Conference on Services Computing, SCC 2018, as part of SCF 2018, held in Seattle, WA, USA, in June 2018. The 12 papers presented in this v...

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

The 10 full papers and 3 short papers presented were carefully reviewed and selected from 22 submissions. The papers cover topics in the field of software foundations and applications with a focus ...

The 16 full papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. The papers cover a wide range of topics in blockchain technologies, platforms, solutions an...

A Case Study of the Science in Nigeria

This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers pr...