Mobile Entity Localization and Tracking in GPS-Less Environnments: Second International Workshop,MELT 2009 Orlando, FL, USA, September 30, 2009 Proce
Quality of Context: First International Workshop,QuaCon 2009, Stuttgart, Germany, June 25-26, 2009. Revised Papers
Multimodal Corpora : From Models of Natural Interaction to Systems and Applications
Selected Areas in Cryptography: 16th Annual International Workshop,SAC 2009 Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers
Interactive Theorem Proving and Program Development : CoqArt: The Calculus of Inductive Constructions
Supply Chain Management on Demand : Strategies and Technologies,Applications
IPv6 in Practice : A Unixers Guide to the Next Generation Internet
Conceptual Modeling of Information Systems
Formal Correctness of Security Protocols
Neural-Symbolic Cognitive Reasoning
Entanglement and Decoherence : Foundations and Modern Trends
Artificial Life: Borrowing from Biology: 4th Australian Conference,ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings
