Bernhard Steffen：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

Don't use scam websites

书籍 (82)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

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