Informatik (15.755 Artikel)

8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Pra...

This book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European Joint Conferences on Theory and Pract...

5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

This book constitutes the proceedings of the 6th International Conference on Principles of Security and Trust, POST 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the Euro...

This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Pra...

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

These are the proceedings of IPTComm 2008 - the Second Conference on Pr- ciples,Systems andApplications ofIP Telecommunications-heldinHeidelberg, Germany, July 1-2, 2008. The scope of the conferenc...

und Übersicht.- § 0 Vorbemerkungen.- I Wissensrepräsentation und Inferenz in der Prädikatenlogik.- § 1 Syntax und Semantik der Prädikatenlogik.- § 2 Allgemeine deduktive Methoden.- § 3 Der Spezialf...

1 Künstliche Intelligenz und Kognitionswissenschaft.- 1.1 Zur Disziplinenhistorie und zur interdisziplinären Einordnung.- 1.2 Das Informationsverarbeitungs-Paradigma.- 1.3 KI und Kognitionswissensc...

Basierend auf der Zusammenarbeit zwischen Universität und mehreren Unternehmen, befaßt sich dieses Buch mit den Methoden, die - bei der Analyse, Planung, Entwicklung und Gestaltung der Unternehmens...