Home Advanced Search

Advanced Search - Page 1

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986
  • DJVU
  • English-French
  • Year: 1986
  • Author: Flemming Nielson (auth.), B. Monien, G. Vidal-Naquet (eds.)
Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Leslie G. Valiant (auth.), F. Meyer, B. Monien, A. L. Rosenberg (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.)
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.)
ML with Concurrency: Design, Analysis, Implementation, and Application
  • DJVU
  • English
  • Year: 1997
  • Author: Flemming Nielson
Principles of Program Analysis
  • PDF
  • English
  • Year: 1999
  • Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)
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.)
Semantics with Applications: An Appetizer
  • PDF
  • English
  • Year: 2007
  • Author: Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)
STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)
search