Informatik (15.755 Artikel)

Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zw...

I. Einführung in die Theorie der formalen Sprachen.- I.1 Natürliche Sprachen.- I.2 Die grundlegenden Definitionen.- I.3 Auswertung arithmetischer Ausdrücke und (kontextfreie) Grammatiken.- I.4 Defi...

Das Ziel des SQL-Tunings ist eine Verbesserung des bestehenden Ausführungsplans. Die in diesem Buch beschriebene Methode kann man ,,Bremsenbeseitigung im Ausführungsplan" nennen. Solche ,,Bremsen" ...

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "...

Einführung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1B Allgemeingültige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2 Offene Prädikaten...

This book constitutes selected revised papers of the 14th International Conference, NooJ 2020, held Zagreb, Croatia, in June 2020. Due to the COVID-19 pandemic the conference was held online. NooJ ...

The algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification & program design.- Attribute grammars : Theor...

This book constitutes the refereed proceedings of the 12th International Conference, NooJ 2018, held in Palermo, Italy, in June 2018.

This book constitutes the refereed proceedings of the 13th International Conference, NooJ 2019, held in Hammamet, Tunisia, in June 2019. NooJ is a linguistic development environment that allows lin...

11th International Conference, NooJ 2017, Kenitra and Rabat, Morocco, May 18-20, 2017, Revised Selected Papers

This book constitutes selected revised papers of the 15th International Conference, NooJ 2021, held in Besançon, France, in June 2021. Due to the COVID-19 pandemic the conference was held online. N...

This book constitutes selected revised papers of the 16th International Conference on Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities, NooJ 2022, h...

This book constitutes the refereed proceedings of the 17th International Conference on Formalizing Natural Languages with NooJ 2023 and Its Natural Language Processing Applications, NooJ 2023, held...

1 Experimentelle Ästhetik.- 1.1 Ästhetik und das Bild aus dem Computer.- 1.2 Ästhetische Begriffe und Regeln.- 1.3 Form und Gestalt.- 1.4 Zu den Kapiteln des Buches.- Anmerkungen.- 2 Ein Kurzkurs i...

Das Europa der 90er Jahre stellt in den verschiedensten Bereichen eine Herausforderung dar, insbesondere auch in Wissenschaft und Technik. Die Träger dieses innovativen Bereiches - die Hochschulen,...