Informatik (15.757 Artikel)

The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applicatio...

Transactions on Petri Nets and Other Models of Concurrency XVII

This volume constitutes selected and revised papers presented during the Third International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural ...

Dedicated to Oded Goldreich

Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What make...

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in Ja...

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2...

Visual Analytics for Data Scientists

This three-volume set, LNCS 13421, 13422 and 13423, constitutes the thoroughly refereed proceedings of the 6th International Joint Conference, APWeb-WAIM 2022, held in Nanjing, China, in August 2022.

This book constitutes the refereed proceedings of the 17th International Conference on Web and Internet Economics, WINE 2021, which was held online during December 14-17, 2021. The conference was o...

Computation and Communication Technologies

Konzepte - Verfahren - Protokolle

Ein moderner Ansatz

In den letzten Jahren hat sich der Workshop "Bildverarbeitung für die Medizin" durch erfolgreiche Veranstaltungen etabliert. Ziel ist auch 2011 wieder die Darstellung aktueller Forschungsergebnisse...

Eine Methode zum Entwurf betrieblicher Informationssysteme.- Datenintegration über Datenklassifikation: Ein Erfahrungsbericht.- Computer Aided Software Engineering - von Programmiersprachen zu Soft...