"e;The NCL Natural Constraint Language"e; presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint …
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 …
OpenMP ist ein weit verbreiteter de-facto-Standard für High-Level Shared-Memory-Programmierung, der für viele Plattformen, u.a. Linux und Microsoft Windows, zur Verfügung steht. …
This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, …
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, …
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised …
Die Ausnahmebehandlung ist ein vor allem bei der Automatisierung technischer Prozeßsysteme eingesetztes Sprachmittel. Trotz vieler Entwurfs- und Implementierungsvorschläge für …
Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, ließ sich kaum voraussehen, welche Bedeutung einmal der organisatorische …