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

Emerging Solutions for Future Manufacturing Systems : IFIP TC 5 / WG 5.5. Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, 2

Information Technology for Balanced Manufacturing Systems : IFIP TC 5, WG 5.5 Seventh International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services,

Innovation in Manufacturing Networks : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008

Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Artificial Immune Systems : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings

Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

Smart Card Research and Advanced Applications : 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9

Advanced Information Systems Engineering : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings

Collaborative Networks and Their Breeding Environments : IFIP TC 5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September 2005, Valencia, Spain

Distributed Applications and Interoperable Systems : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

NETWORKING 2010 : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings

Proceedings of COOP 2010 : Proceedings of the 9th International Conference on Designing Cooperative Systems, May, 18-21, 2010, Aix-en-Provence

Biomedical Engineering Systems and Technologies : Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

Distributed Applications and Interoperable Systems : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings

Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Unconventional Computation : 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings

Precision Assembly Technologies and Systems : 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010, Proceedings