catuscia palamidessi
Principles of Declarative Programming
TaschenbuchPrint on DemandInhaltsangabeLogic programming and model checking.- CAT: The Copying Approach to Tabling.- SICStu...
Horizons of the Mind.A Tribute to Prakash Panangaden
TaschenbuchPrint on DemandInhaltsangabeLayout Randomization and Nondeterminism.- Probabilistic Model Checking of Labelled M...
Trustworthy Global Computing
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...
Formal Techniques for Distributed Objects, Components, and Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
Theory of Security and Applications
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop o...
- 1