Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Ivan Lanese, Eric Madelaine (eds.)
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Simon Devitt, Ivan Lanese (eds.)
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Bernhard Schätz, Holger Giese (auth.), Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)
Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Dana Fisman, Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Dana Fisman, Grigore Rosu
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2017
  • Author: Rogério de Lemos,David Garlan,Carlo Ghezzi,Holger Giese (eds.)
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Holger Giese, Barbara König
War der Wissenschaftliche Kommunismus eine Wissenschaft?: Vom Wissenschaftlichen Kommunismus zur Politikwissenschaft
  • PDF
  • German
  • Year: 1993
  • Author: Holger Wartmann (auth.), Michael Th. Greven, Dieter Koop (eds.)
search