Home Advanced Search

Advanced Search - Page 1

A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
  • DJVU
  • English
  • Year: 1996
  • Author: Jane Hillston
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  • PDF
  • English
  • Year: 2016
  • Author: Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
  • PDF
  • English
  • Year: 2007
  • Author: William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22–23 July 1991
  • PDF
  • English
  • Year: 1992
  • Author: Rob Pooley, Jane Hillston (auth.), Jane Elizabeth Hillston BA, MSc, Peter John Beaufoy King BSc, MSc, PhD, C.Eng, MBCS, Robert John Pooley BSc, MSc (eds.)
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
Transactions on Computational Systems Biology VII
  • PDF
  • English
  • Year: 2006
  • Author: Muffy Calder, Stephen Gilmore, Jane Hillston (auth.), Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.)
search