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.)
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 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.)
Advances in Optimization and Approximation
  • DJVU
  • English
  • Year: 1994
  • Author: Ding-Zhu Du, Jie Sun (eds.)
Advances in Optimization and Approximation
  • PDF
  • English
  • Year: 1994
  • Author: Ding-Zhu Du, Jie Sun (eds.)
Stem Cell Banking
  • PDF
  • English
  • Year: 2014
  • Author: Dusko Ilic (eds.)
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
  • PDF
  • English
  • Year: 2019
  • Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
  • EPUB
  • English
  • Year: 2019
  • Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
search