Human-Centered Visualization Environments : GI-Dagstuhl Research Seminar,Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers
Information Security Theory and Practices. Smart Cards,Mobile and Ubiquitous Computing Systems : First IFIP TC6 / WG 8.8 / WG 11.2 International Work
Network Control and Optimization : First EuroFGI International Conference,NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings
The Disappearing Computer : Interaction Design,System Infrastructures and Applications for Smart Environments
Pervasive Computing for Quality of Life Enhancement : 5th International Conference On Smart Homes and Health Telematics,ICOST 2007, Nara, Japan, June
Towards Mechanized Mathematical Assistants : 14th Symposium,Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference,TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007
Agile Processes in Software Engineering and Extreme Programming : 8th International Conference,XP 2007, Como, Italy, June 18-22, 2007, Proceedings
Statistical Network Analysis: Models,Issues, and New Directions : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2
Reliable Software Technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies,Geneva, Switzerland, Ju
Security and Privacy in Ad-Hoc and Sensor Networks: 4th European Workshop,Esas 2007, Cambridge, UK, July 2-3, 2007, Proceedings
Model Checking Software : 14th International SPIN Workshop,Berlin, Germany, July 1-3, 2007, Proceedings
