Informatik (14.430 Artikel)

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers present...

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presen...

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Stand der Technik.- 2.1. Entwicklungsstand der Programmiersysteme.- 2.2. Entwicklungsstand des EXAPT 3 - Systems.- Technologie der Präswerkzeuge.- 3.1. Beschreibung der Werkzeuge.- 3.2. Analyse der...

Left-associative grammar.- Left-associative parsing.- The category system of left-associative grammar.- The local nature of possible continuations.- A left-associative fragment of English.

Entwicklung eines Protokollentwurfs für den Einsatz in bestehenden Netzwerken

This book constitutes the proceedings of the 4th International Conference on Nano-Networks, Nano-Net 2009, held in Lucerne, Switherland, in October 2009. The 36 invited and regular papers address t...

Narrating Complexity

Natural Computing Algorithms

Natural Computing Algorithms

Natural Intelligence for Scheduling, Planning and Packing Problems

Natural Intelligence for Scheduling, Planning and Packing Problems