Bernhard Steffen: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

51

Baukonstruktion im Klimawandel

Baukonstruktion im Klimawandel

Springer Vieweg

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

عام:

2016

اللغة:

german

ملف:

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

عام:

2019

اللغة:

english

ملف:

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

عام:

2018

اللغة:

english

ملف:

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

عام:

2018

اللغة:

english

ملف:

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.)

عام:

2014

اللغة:

german

ملف:

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

عام:

2018

اللغة:

english

ملف:

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

عام:

2018

اللغة:

english

ملف:

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

عام:

2018

اللغة:

english

ملف:

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.)

عام:

2021

اللغة:

english

ملف:

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.)

عام:

2012

اللغة:

german

ملف:

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

عام:

2022

اللغة:

english

ملف:

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.)

عام:

1999

اللغة:

english

ملف:

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

عام:

2023

ملف:

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.)

عام:

2012

اللغة:

english

ملف:

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.)

عام:

2016

اللغة:

english

ملف:

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.)

عام:

2014

اللغة:

english

ملف:

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.)

عام:

2004

اللغة:

english

ملف:

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.)

عام:

2017

اللغة:

english

ملف:

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.)

عام:

1997

اللغة:

english

ملف:

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.)

عام:

2004

اللغة:

english

ملف:

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.)

عام:

2002

اللغة:

english

ملف:

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.)

عام:

1999

اللغة:

english

ملف:

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.)

عام:

2016

اللغة:

english

ملف:

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

عام:

2021

اللغة:

english

ملف:

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.)

عام:

2012

اللغة:

english

ملف:

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

عام:

2021

اللغة:

english

ملف:

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.)

عام:

1999

اللغة:

english

ملف:

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.)

عام:

1999

اللغة:

english

ملف:

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.)

عام:

2012

اللغة:

english

ملف:

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.)

عام:

2012

اللغة:

english

ملف:

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.)

عام:

2000

اللغة:

german

ملف:

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

عام:

2021

اللغة:

english

ملف:

EPUB, 24.75 MB

0 / 0

english, 2021