Informatik (14.430 Artikel)

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in Oct...

This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics...

The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, p...

Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Daten...

Das Buch soll den Leser, der an Formaler Begriffsanalyse als Methode der Datenanalyse und Wissenstrukturierung interessiert ist, in die Lage versetzen, eigene C++-Programme zur Formalen Begriffsana...

Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM -- korrekter Entwurf von Kommunkationssoftware.- LOT...

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" ...

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...