Bernhard Steffen: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (82)
Najbardziej popularne
Spis
- Spis
- Tablica

51

Baukonstruktion im Klimawandel

Baukonstruktion im Klimawandel

Springer Vieweg

Bernhard Weller, Marc-Steffen Fahrion, Sebastian Horn, Thomas Naumann, Johannes Nikolowski, (auth.)

Rok:

2016

Język:

german

Plik:

PDF, 84.97 MB

0 / 0

german, 2016

52

Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia: Geology and Metallogeny of Pollucite Mineralisations

Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia: Geology and Metallogeny of Pollucite Mineralisations

Springer International Publishing

Thomas Dittrich, Thomas Seifert, Bernhard Schulz, Steffen Hagemann, Axel Gerdes, Jörg Pfänder

Rok:

2019

Język:

english

Plik:

PDF, 7.37 MB

0 / 0

english, 2019

53

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches

Bernhard Steffen, Oliver Rüthing, Michael Huth

Rok:

2018

Język:

english

Plik:

PDF, 2.54 MB

0 / 0

english, 2018

54

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Rok:

2018

Język:

english

Plik:

PDF, 32.18 MB

0 / 0

english, 2018

55

Grundlagen der höheren Informatik: Induktives Vorgehen

Grundlagen der höheren Informatik: Induktives Vorgehen

Springer Vieweg

Bernhard Steffen, Oliver Rüthing, Malte Isberner (auth.)

Rok:

2014

Język:

german

Plik:

PDF, 2.57 MB

0 / 0

german, 2014

56

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Rok:

2018

Język:

english

Plik:

PDF, 29.45 MB

0 / 0

english, 2018

57

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Rok:

2018

Język:

english

Plik:

PDF, 40.14 MB

0 / 0

english, 2018

58

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Rok:

2018

Język:

english

Plik:

PDF, 27.53 MB

0 / 0

english, 2018

59

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, (eds.)

Rok:

2021

Język:

english

Plik:

PDF, 14.53 MB

0 / 0

english, 2021

60

Denkmal und Energie: PRAXIS

Denkmal und Energie: PRAXIS

Vieweg+Teubner Verlag

Bernhard Weller, Marc-Steffen Fahrion, Sven Jakubetz (auth.)

Rok:

2012

Język:

german

Plik:

PDF, 245.10 MB

0 / 0

german, 2012

61

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

Rok:

2022

Język:

english

Plik:

PDF, 18.21 MB

0 / 5.0

english, 2022

62

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 5.79 MB

0 / 0

english, 1999

63

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023 Tianjin, China, April 17–20, 2023 Proceedings, Part II

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023 Tianjin, China, April 17–20, 2023 Proceedings, Part II

Xin Wang & Maria Luisa Sapino & Wook-Shin Han & Amr El Abbadi & Gill Dobbie & Zhiyong Feng & Yingxiao Shao & Hongzhi Yin & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Rok:

2023

Plik:

PDF, 46.80 MB

0 / 0

2023

64

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 10.70 MB

0 / 0

english, 2012

65

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

Rok:

2016

Język:

english

Plik:

PDF, 51.65 MB

0 / 0

english, 2016

66

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

Rok:

2014

Język:

english

Plik:

PDF, 20.35 MB

0 / 0

english, 2014

67

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Springer-Verlag Berlin Heidelberg

Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 3.37 MB

0 / 0

english, 2004

68

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

Rok:

2017

Język:

english

Plik:

PDF, 23.72 MB

0 / 0

english, 2017

69

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Steffen (auth.), Rüdiger Reischuk, Michel Morvan (eds.)

Rok:

1997

Język:

english

Plik:

DJVU, 4.96 MB

0 / 0

english, 1997

70

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Springer-Verlag Berlin Heidelberg

Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 3.04 MB

0 / 0

english, 2004

71

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 1.50 MB

0 / 0

english, 2002

72

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 6.13 MB

0 / 0

english, 1999

73

Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Springer International Publishing

Bernhard Steffen (eds.)

Rok:

2016

Język:

english

Plik:

PDF, 16.86 MB

0 / 0

english, 2016

74

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Rok:

2021

Język:

english

Plik:

EPUB, 24.75 MB

0 / 0

english, 2021

75

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 12.26 MB

0 / 0

english, 2012

76

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Rok:

2021

Język:

english

Plik:

PDF, 14.53 MB

0 / 0

english, 2021

77

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 5.53 MB

0 / 0

english, 1999

78

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Rok:

1999

Język:

english

Plik:

DJVU, 1.59 MB

0 / 0

english, 1999

79

Eternal Systems: First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Eternal Systems: First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen (auth.), Alessandro Moschitti, Riccardo Scandariato (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 4.10 MB

0 / 0

english, 2012

80

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 14.99 MB

0 / 0

english, 2012

81

Ausgezeichnete Informatikdissertationen 1999

Ausgezeichnete Informatikdissertationen 1999

Vieweg+Teubner Verlag

Georg Bareth (auth.), Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner (eds.)

Rok:

2000

Język:

german

Plik:

PDF, 13.86 MB

0 / 0

german, 2000

82

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Rok:

2021

Język:

english

Plik:

EPUB, 24.75 MB

0 / 0

english, 2021