Home Advanced Search

Advanced Search - Page 1

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.)
Predicates and Fibrations
  • PDF
  • English
  • Year: 1990
  • Author: Dusko Pavlovic
Programs as Diagrams: From Categorical Computability to Computable Categories
  • PDF
  • English
  • Year: 2023
  • Author: Dusko Pavlovic
Programs as Diagrams: From Categorical Computability to Computable Categories
  • EPUB
  • English
  • Year: 2023
  • Author: Dusko Pavlovic
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (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.)
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (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.)
search