Home Advanced Search

Advanced Search - Page 1

Semantics with applications: an appetizer
Semantics with applications: an appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Nielson, Flemming;Nielson, Hanne Riis
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)
Formal methods. An appetizer
Formal methods. An appetizer
  • PDF
  • English
  • Year: 2019
  • Author: Nielson F., Nielson H.R
Hva' satan skal vi med stæren?: tyve taler
  • EPUB
  • Danish
  • Year: 2010
  • Author: Riis, Johannes
Einführung in die Gesta Danorum des Saxo Grammaticus
Einführung in die Gesta Danorum des Saxo Grammaticus
  • PDF
  • German
  • Year: 2006
  • Author: Thomas Riis
Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)
Ruth and Esther: A 12-Week Study
Ruth and Esther: A 12-Week Study
  • EPUB
  • English
  • Year: 2014
  • Author: Kathleen Nielson
The College Panda's SAT Math: Advanced Guide and Workbook
The College Panda's SAT Math: Advanced Guide and Workbook
  • PDF
  • English
  • Year: 2020
  • Author: Nielson Phu