InhaltsangabeInvited Contribution.- On the Construction of Automata from Linear Arithmetic Constr...
InhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal ...
Es gibt eine kaum übersehbare Reihe von Etüdenzyklen für die Querflöte, die nicht nur technisches...
Studienarbeit aus dem Jahr 2007 im Fachbereich Romanistik - Französisch - Literatur, Note: 1,3, M...
Die Autorin stellt das polizeiliche Instrument der Schleierfahndung vor und analysiert die polize...
InhaltsangabeThe MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification U...
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...
Formal methods have been applied successfully to the verification of medium-sized programs in pro...
Formal methods have been applied successfully to the verification of medium-sized programs in pro...
Was haben Gerechtigkeit, Frieden, Glück und Wertebildung miteinander zu tun? Der Band beantwortet...