Informatik (15.755 Artikel)

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assist...

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised ...

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short pa...

8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers present...

7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24-26, 2018, Proceedings

Die Beiträge dieses Tagungsbands befassen sich aus der Sicht der Linguistischen Datenverarbeitung und ihrer benachbarten Disziplinen mit den Interaktionsmöglichkeiten zwischen Mensch und Computer. ...

Dieses Buch beschäftigt sich mit den konzeptionellen, konstruktiven und gestalterischen Fragen der Realisierung benutzer- und anwendungsgerechter interaktiver Computersysteme. Aufbauend auf dem Ban...

1 Mensch -- Maschine Kommunikation und Interaktive Systeme.- 1.1 Entwicklung.- 1.2 Interaktive Systeme als kontigente Systeme.- 1.3 Zusammenfassung.- 2 Der Mensch als Systemkomponente.- 2.1 Menschl...

Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und...

In den letzten Jahren hat eine immer stärker werdende Technisierung des alltäglichen Lebens stattgefunden. Humanoide Roboter wie auch andere autonome Systeme gewinnen immer mehr an Bedeutung. Für d...

Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. The control of user inte...

A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user interfaces but little sense of being swept along wit...