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

Information Retrieval Meets Information Visualization : PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures

Lectures on Information Retrieval : Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures

Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Bridging Between Cultural Heritage Institutions : 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31 -- February 1, 2013. Revised Selected Papers

Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Advances in Databases and Information Systems : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings

Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Structural Information and Communication Complexity : 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Reasoning Web : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

String Processing and Information Retrieval : 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings

Wave Propagation : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 8-17, 1980

Web Information Systems and Technologies : 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

Non-Linear Mechanics : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 4-13, 1972

Databases, Information Systems, and Peer-to-Peer Computing : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers

Text- and Speech-Triggered Information Access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures

Advanced Studies in Biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003. Revised Selected Lectures and Papers

Lectures on Particle Physics, Astrophysics and Cosmology : Proceedings of the Third IDPASC School, Santiago de Compostela, Spain, January 21 -- February 2, 2013