Home Advanced Search

Advanced Search - Page 1

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 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
Principles of Program Analysis
  • PDF
  • English
  • Year: 1999
  • Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)
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.)
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.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)
Formal methods. An appetizer
  • PDF
  • English
  • Year: 2019
  • Author: Nielson F., Nielson H.R
Geographic Information Systems: Techniques, Applications and Technologies
  • PDF
  • English
  • Year: 2014
  • Author: Dayna Nielson, Dayna Nielson
search