Algorithms for sensor systems : 7th International Symposium on Algorithms for Sensor Systems,Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers
edited by Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen
Springer-Verlag, 2012
eBooks
Parameterized and exact computation : 6th international symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011 : revised selected papers
edited by Daniel Marx, Peter Rossmanith
Springer-Verlag , 2012
eBooks
Partially supervised learning : first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers
edited by Friedhelm Schwenker, Edmondo Trentin
Springer-Verlag, 2012
eBooks
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
eBooks
Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers
edited by Marco Carbone, Jean-Marc Petit
Springer-Verlag, 2012
eBooks