LIBRARY Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings 2007 · ENGLISH · PDF View details →
LIBRARY Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers 2007 · ENGLISH · PDF View details →
LIBRARY Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers 2010 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers 2012 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY C++-Metaprogrammierung : Eine Einführung in die Präprozessor- und Template-Metaprogrammierung 2016 · GERMAN · PDF View details →
LIBRARY Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Software-Intensive Systems and New Computing Paradigms: Challenges and Visions 2008 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Reliable Software Technologies – Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Reliable Software Technologies — Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria, June 17–21, 2002 Proceedings 2002 · ENGLISH · PDF View details →
LIBRARY Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings 2005 · ENGLISH · PDF View details →
LIBRARY Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings 2004 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering IV: 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers 2004 · ENGLISH · PDF View details →
LIBRARY Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings 2009 · ENGLISH · PDF View details →