Home Advanced Search

Advanced Search - Page 1

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Markus Schief, Anton Pussep, Peter Buxmann (auth.), Georg Herzwurm, Tiziana Margaria (eds.)
Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Peter Vosshall (auth.), Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.)
Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Peter Vosshall (auth.), Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.)
Business Models in the Software Industry: The Impact on Firm and M&A Performance
  • PDF
  • English
  • Year: 2014
  • Author: Markus Schief (auth.)
Wissensbasiertes CASE: Theoretische Analyse Empirische Untersuchung Entwicklung eines Prototyps
  • PDF
  • German
  • Year: 1993
  • Author: Georg Herzwurm (auth.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
search