Flemming Nielson: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (27)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Nielson, Flemming, Nielson, Hanne Riis

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.24 MB

0 / 0

english, 2007

2

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 966 KB

5.0 / 5.0

english, 1999

3

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

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

Springer International Publishing

Flemming Nielson, David Sands

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 6.91 MB

0 / 0

english, 2019

4

ML with Concurrency: Design, Analysis, Implementation, and Application

ML with Concurrency: Design, Analysis, Implementation, and Application

Flemming Nielson

Տարի:

1997

Լեզու:

english

Ֆայլ:

DJVU, 1.83 MB

0 / 0

english, 1997

5

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Տարի:

1992

Լեզու:

english

Ֆայլ:

PDF, 7.05 MB

0 / 0

english, 1992

6

Type and Effect Systems: Behaviours for Concurrency

Type and Effect Systems: Behaviours for Concurrency

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Տարի:

1999

Լեզու:

english

Ֆայլ:

DJVU, 1.54 MB

0 / 0

english, 1999

7

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 1.80 MB

0 / 0

english, 2019

8

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 9.73 MB

0 / 5.0

english, 2005

9

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

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

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 2.55 MB

0 / 0

english, 2011

10

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Տարի:

1992

Լեզու:

english

Ֆայլ:

DJVU, 1.48 MB

0 / 0

english, 1992

11

Principles of Security and Trust

Principles of Security and Trust

Saint Philip Street Press

David Sands & Flemming Nielson [Sands, David & Nielson, Flemming]

Տարի:

2020

Լեզու:

english

Ֆայլ:

EPUB, 21.01 MB

0 / 0

english, 2020

12

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 1.14 MB

0 / 0

english, 1991

13

Principles of Security and Trust

Principles of Security and Trust

Flemming Nielson & David Sands

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 6.90 MB

0 / 0

english, 2019

14

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 10.11 MB

0 / 2.5

english, 2005

15

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 2.21 MB

0 / 5.0

english, 2019

16

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.29 MB

0 / 0

english, 2007

17

Principles of Program Analysis

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 38.85 MB

0 / 4.0

english, 1999

18

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag London

Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.81 MB

0 / 0

english, 2007

19

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag New York, Inc.

Hanne Riis Nielson, Flemming Nielson

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.03 MB

0 / 0

english, 2007

20

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986

Springer-Verlag Berlin Heidelberg

Flemming Nielson (auth.), B. Monien, G. Vidal-Naquet (eds.)

Տարի:

1986

Լեզու:

english

Ֆայլ:

DJVU, 3.42 MB

0 / 0

english, 1986

21

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.30 MB

0 / 0

english, 2007

22

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

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

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 2.04 MB

0 / 0

english, 2011

23

Semantics with applications : an appetizer

Semantics with applications : an appetizer

Hanne Riis Nielson, Flemming Nielson

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 1.37 MB

0 / 0

english, 2007

24

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

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

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 2.13 MB

0 / 0

english, 2011

25

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Hanne Riis Nielson, Flemming Nielson

Տարի:

2007

Լեզու:

english

Ֆայլ:

DJVU, 1.72 MB

0 / 0

english, 2007

26

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 2.58 MB

0 / 0

english, 2009

27

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.48 MB

0 / 0

english, 2009