๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Pervasive Computing Volume 3468 || Enhancing Semantic Spaces with Event-Driven Context Interpretation

โœ Scribed by Gellersen, Hans -W.; Want, Roy; Schmidt, Albrecht

Book ID
111899316
Publisher
Springer Berlin Heidelberg
Year
2005
Weight
406 KB
Category
Article
ISBN
3540320342

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
โœ Kuncak, Viktor; Rybalchenko, Andrey ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 251 KB

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revise