Home Advanced Search

Advanced Search - Page 1

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Flemming Nielson, David Sands
ML with Concurrency: Design, Analysis, Implementation, and Application
  • DJVU
  • English
  • Year: 1997
  • Author: Flemming Nielson
Semantics with applications: an appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Nielson, Flemming;Nielson, Hanne Riis
Semantics with applications : an appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson; Flemming Nielson
Semantics with Applications: An Appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson, Flemming Nielson
Principles of Program Analysis
  • PDF
  • English
  • Year: 1999
  • Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)
Semantics with Applications: An Appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)
Studying physics
  • DJVU
  • English
  • Year: 2004
  • Author: David Sands
Interiors: An Introduction
  • PDF
  • English
  • Author: Nielson Karla, Taylor David.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
search