Home Advanced Search

Advanced Search - Page 1

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
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
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.)
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
  • PDF
  • English
  • Year: 2014
  • Author: Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Coach Yourself to Win: 7 Steps to Breakthrough Performance on the Job…and In Your Life
  • PDF
  • English
  • Year: 2010
  • Author: GUTTMAN
Developmental Diseases of the Hip Diagnosis and Management
  • PDF
  • English
  • Year: 2017
  • Author: Dusko Spasovsk
search