Computer Networks : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings

Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings

Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings

Critical Information Infrastructure Security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers

Enabling Responsible Living

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Software Business : Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011, Proceedings

Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings

Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

Smart Power Grids 2011

Measuring Roots : An Updated Approach

Strongly Correlated Systems : Theoretical Methods

Cusped Shell-Like Structures

Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Security Protocols XVI : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

Modeling Fragile X Syndrome

Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

Financial Derivatives Modeling

Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday

Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Topics in Operator Theory and Interpolation : Essays dedicated to M. S. Livsic on the occasion of his 70th birthday

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Data Management in a Connected World : Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Efficient Algorithms : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

Languages Alive : Essays dedicated to Jurgen Dassow on the Occasion of His 65th Birthday

The New Codebreakers : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday

Cryptography and Security: From Theory to Applications : Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday

Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Graph Theory, Computational Intelligence and Thought : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday

Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

Algorithms and Applications : Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday

The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Operator Theory in Function Spaces and Banach Lattices : Essays dedicated to A.C. Zaanen on the occasion of his 80th birthday

Ill-Posed and Inverse Problems : Dedicated to Academician Mikhail Mikhailovich Lavrentiev on the Occasion of his 70th Birthday

Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday