Theory of Quantum Computation,Communication, and Cryptography : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Quantum Interaction : 6th International Symposium,QI 2012, Paris, June 27-29, 2012, Revised Selected Papers
Tools for Practical Software Verification : International Summer School,LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Job Scheduling Strategies for Parallel Processing : 16th International Workshop,JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Facing the Multicore-Challenge III : Aspects of New Paradigms and Technologies in Parallel Computing
Semantics in Data and Knowledge Bases : 5th International Workshop SDKB 2011,Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Software Engineering : International Summer Schools,ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures
Citizen in Sensor Networks : First International Workshop,CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Algorithms for Sensor Systems : 8th International Symposium on Algorithms for Sensor Systems,Wireless Ad Hoc Networks and Autonomous Mobile Entities
Radio Frequency Identification: Security and Privacy Issues : 8th International Workshop,RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Rev
Integrated Circuit and System Design. Power and Timing Modeling,Optimization and Simulation : 22nd International Workshop, PATMOS 2012, Newcastle upo
Agents and Data Mining Interaction : 8th International Workshop,ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers
