catuscia palamidessi
Horizons of the Mind. A Tribute to Prakash Panangaden
EbookSofort lieferbarThis Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of...
Trustworthy Global Computing
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 7th Internationa...
Formal Techniques for Distributed Objects, Components, and Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
Theory of Security and Applications
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop o...
Automata, Languages and Programming
EbookSofort lieferbarThe 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in...
SOFSEM 2009: Theory and Practice of Computer Science
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...
The Science of Quantitative Information Flow
EbookSofort lieferbarThis book presents a comprehensive mathematical theory that explains precisely what information f...
Logic Programming
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 19th International Conference on Logic Prog...
CONCUR 2000 - Concurrency Theory
EbookSofort lieferbarThis volume contains the proceedings of the 11th International Conference on Concurrency Theory (...
Computational Logic - CL 2000
EbookSofort lieferbarThese are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...
Logic Programming
TaschenbuchBezug 11-15This volume contains the proceedings of the 19th International Conference on Logic Programming, I...
Principles of Declarative Programming
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 10th International Symposium on Programming...
- 1
- 2