Home Advanced Search

Advanced Search - Page 1

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Markus Siegle (auth.), Luca de Alfaro, Stephen Gilmore (eds.)
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Wolfgang Thomas (auth.), Luca de Alfaro (eds.)
Validation of Stochastic Systems: A Guide to Current Research
  • PDF
  • English
  • Year: 2004
  • Author: Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)
Operations Research Proceedings 2010: Selected Papers of the Annual International Conference of the German Operations Research Society
  • PDF
  • English
  • Year: 2011
  • Author: S. Wongthanavasu (auth.), Bo Hu, Karl Morasch, Stefan Pickl, Markus Siegle (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gilles Barthe (auth.), Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio (eds.)
Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Isi Mitrani (auth.), Mirco Tribastone, Stephen Gilmore (eds.)
Online-Marketing von Rundfunkmedien: Dimensionen und Perspektiven für Radio und TV im World Wide Web
  • PDF
  • German
  • Year: 1998
  • Author: Jochen A. Siegle (auth.)
Trends In Functional Programming
  • PDF
  • English
  • Year: 2005
  • Author: Stephen Gilmore
search