Home Advanced Search

Advanced Search - Page 1

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
  • PDF
  • English
  • Year: 2016
  • Author: Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)
Secure IT Systems: 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18–20, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Aslan Askarov, René Rydhof Hansen, Willard Rafnsson
Lambda Calculi: A Guide for Computer Scientists
  • DJVU
  • English
  • Year: 1994
  • Author: Chris Hankin
Insider Threats in Cyber Security
  • PDF
  • English
  • Year: 2010
  • Author: Christian W. Probst, Jeffrey Hunker, Dieter Gollmann (auth.), Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop (eds.)
Insider Threats in Cyber Security
  • PDF
  • English
  • Year: 2010
  • Author: Christian W. Probst, Jeffrey Hunker, Dieter Gollmann (auth.), Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop (eds.)
Helfen und Heilen: Hospital, Firmarie und Arzt des Deutschen Ordens in Preussen bis 1525
  • PDF
  • German
  • Year: 1969
  • Author: Christian Probst
Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Jean-Pierre Banâtre (auth.), Paolo Ciancarini, Chris Hankin (eds.)
Graphical Models for Security: 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
  • PDF
  • English
  • Year: 2019
  • Author: Massimiliano Albanese, Ross Horne, Christian W. Probst
UPskill : 6 steps to unlock economic opportunity for all
  • EPUB
  • English
  • Year: 2019
  • Author: Laurent Probst & Christian Scharff
Introduction to Operating System Design and Implementation: the OSP 2 Approach
  • PDF
  • English
  • Year: 2007
  • Author: Abramsky, Samson;Hankin, Chris;Mackie, Ian
search