Kim G. Larsen : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Année:

2008

Langue:

english

Fichier:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Année:

2007

Langue:

english

Fichier:

PDF, 1.86 MB

0 / 5.0

english, 2007

3

Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition

Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition

Fanconi Anemia Research Fund

Mary Ellen Eiler, Lynn Frohnmayer, Dave Frohnmayer, Kim Larsen and Joyce Owen

Année:

2008

Langue:

english

Fichier:

PDF, 2.21 MB

0 / 0

english, 2008

4

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Année:

2021

Langue:

english

Fichier:

PDF, 13.20 MB

0 / 5.0

english, 2021

5

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Année:

2021

Langue:

english

Fichier:

PDF, 8.58 MB

0 / 5.0

english, 2021

6

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Tim Willemse

Année:

2019

Langue:

english

Fichier:

PDF, 10.09 MB

0 / 0

english, 2019

7

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 6.24 MB

0 / 0

english, 1998

8

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 10.50 MB

0 / 0

english, 2015

9

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Année:

2007

Langue:

english

Fichier:

PDF, 1.97 MB

0 / 0

english, 2007

10

Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

Mohammad Shahidehpour, Kim Guldstrand Larsen, Somayeh Asadi, Behnam Mohammadi-ivatloo, Amjad Anvari-Moghaddam

Année:

2020

Langue:

english

Fichier:

PDF, 37.26 MB

0 / 5.0

english, 2020

11

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 10.14 MB

0 / 5.0

english, 2013

12

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 5.17 MB

0 / 0

english, 2016

13

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Année:

2007

Langue:

english

Fichier:

PDF, 1.92 MB

0 / 0

english, 2007

14

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.)

Année:

1992

Langue:

english

Fichier:

DJVU, 4.42 MB

0 / 0

english, 1992

15

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Année:

2008

Langue:

english

Fichier:

PDF, 17.06 MB

0 / 0

english, 2008

16

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Année:

2019

Langue:

english

Fichier:

PDF, 19.57 MB

0 / 0

english, 2019

17

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

Année:

2017

Langue:

english

Fichier:

PDF, 10.61 MB

0 / 0

english, 2017

18

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 9.36 MB

0 / 0

english, 2013

19

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 6.58 MB

0 / 0

english, 2001

20

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 3.62 MB

0 / 0

english, 2004

21

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 9.30 MB

0 / 0

english, 2002

22

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

Année:

1995

Langue:

english

Fichier:

PDF, 11.61 MB

0 / 0

english, 1995

23

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 5.01 MB

0 / 0

english, 2002

24

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 5.33 MB

0 / 0

english, 2002

25

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

Springer-Verlag London

Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 10.33 MB

0 / 0

english, 1993

26

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 3.06 MB

0 / 0

english, 2004

27

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 9.56 MB

0 / 0

english, 2001

28

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 7.09 MB

0 / 0

english, 2002