Home Advanced Search

Advanced Search - Page 1

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.)
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 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: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 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: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Isi Mitrani (auth.), Katinka Wolter (eds.)
Analysis and Synthesis of Computer Systems
  • PDF
  • English
  • Year: 2010
  • Author: Erol Gelenbe, Isi Mitrani
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Anatomia RM dell’encefalo
  • PDF
  • Italian
  • Year: 2012
  • Author: Mirco Cosottini (auth.), Mirco Cosottini (eds.)
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.)
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.)
Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings
  • DJVU
  • English
  • Year: 2007
  • Author: Raya Khanin, Desmond J. Higham (auth.), Muffy Calder, Stephen Gilmore (eds.)
search