Author books / Книги автора Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.)

book 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

Author: Frank Tip (auth.) Hanne Riis Nielson Gilberto Filé (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book 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

Author: Alessio Di Mauro Xenofon Fafoutis Sebastian Mödersheim Nicola Dragoni (auth.) Hanne Riis Nielson Dieter Gollmann (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

pdf

Author: Hanne Riis Nielson Emilio Tuosto
Language: English
Year: 2019

00

30.01.2024

0

0

book Formal Methods. An Appetizer

Formal Methods. An Appetizer

pdf

Author: Flemming Nielson Hanne Riis Nielson
Language: English
Year: 2019

00

30.01.2024

0

0

book Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

pdf

Author: Hanne Riis Nielson Flemming Nielson
Language: English
Year: 1999

00

27.01.2024

0

0

book Principles of Program Analysis

Principles of Program Analysis

pdf

Author: Flemming Nielson Hanne Riis Nielson Chris Hankin (auth.)
Language: English
Year: 1999

00

27.01.2024

0

0

book 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

Author: Alessio Di Mauro Xenofon Fafoutis Sebastian Mödersheim Nicola Dragoni (auth.) Hanne Riis Nielson Dieter Gollmann (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

pdf

Author: Hanne Riis Nielson PhD Flemming Nielson PhD DSc (auth.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

pdf

Author: Cliff B Jones (auth.) Hanne Riis Nielson (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Semantics with applications : an appetizer

Semantics with applications : an appetizer

pdf

Author: Hanne Riis Nielson, Flemming Nielson
Language: English
Year: 2007

00

27.01.2024

0

0