Informatik (15.755 Artikel)

Augmented Marked Graphs

Die Einsatzmöglichkeiten von Augmented Reality - der Erweiterung der Realität durch digitale Elemente - im E-Commerce sind vielfältig,. Der Verlauf der Customer Journey bietet eine sinnvolle Strukt...

Prof. Dr.-Ing. Werner Schreiber leitete 15 Jahre lang in der Konzernforschung der Volkswagen AG das Forschungsfeld Virtuelle Techniken. Er ist Berater sowie Honorarprofessor an der Otto-von-Guerick...

Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschläge für Ausnahmemechanismen b...

Entdecken Sie die Zukunft der Softwareentwicklung - Dieser praxisorientierte Ratgeber zur Auswahl von Low-Code und No-Code Software begleitet Sie im gesamten Software-Auswahl Prozess. Low-Code und ...

Sebastian Pape discusses two different scenarios for authentication. On the one hand, users cannot trust their devices and nevertheless want to be able to do secure authentication. On the other han...

1 Einleitung.- 2 Einstieg in das Arbeiten mit AutoCAD.- 2.1 Anstarten und Beenden des Arbeitens mit AutoCAD.- 2.2 Das Arbeiten mit Dateien.- 2.3 Hilfen für den Benutzer.- 2.4 Festlegen der Zeichnun...

Sie möchten AutoCAD 2013 lernen? Mit diesem offiziellen Trainingsbuch von AutoDesk schaffen Sie es! Schritt-für-Schritt-Anleitungen und realistische Anwendungsbeispiele unterstützen Sie beim Einsti...

FA Minimisation Heuristics for a Class of Finite Languages.- SEA: A Symbolic Environment for Automata Theory.- Analysis of Reactive Systems with n Timers.- Animation of the Generation and Computati...

This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.The volum...

This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September ...

The papers contained in this volume were presented at the third international Workshop on Implementing Automata, held September 17{19,1998, at the U- versity of Rouen, France. Automata theory is th...

This volume contains the proceedings of the 14th Spring School of the LITP (Laboratoire d`Informatique Théorique et de Programmation, Université Paris VI-VII, CNRS) held May 12-16, 1986 in Argelès-...

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowl...

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the wi...