M Broy：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

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

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

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

51

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

年:

1982

语言:

english

文件:

PDF, 43.75 MB

0 / 0

english, 1982

52

Einführung in die Softwaretechnik

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

年:

2021

语言:

german

文件:

PDF, 21.92 MB

0 / 0

german, 2021

53

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

年:

2002

语言:

german

文件:

PDF, 10.18 MB

0 / 0

german, 2002

54

Projektorganisation und Management im Software Engineering

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

年:

2013

语言:

german

文件:

PDF, 5.66 MB

0 / 0

german, 2013

55

VDI-Lexikon Informatik und Kommunikationstechnik

VDI-Lexikon Informatik und Kommunikationstechnik

Springer-Verlag Berlin Heidelberg

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

年:

1999

语言:

german

文件:

PDF, 34.77 MB

0 / 0

german, 1999

56

Mathematical Methods in Program Development

Mathematical Methods in Program Development

Springer-Verlag Berlin Heidelberg

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

年:

1997

语言:

english

文件:

PDF, 21.26 MB

0 / 0

english, 1997

57

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

年:

2008

语言:

english

文件:

PDF, 4.08 MB

0 / 0

english, 2008

58

Advances in real-time systems

Advances in real-time systems

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

年:

2012

语言:

english

文件:

PDF, 8.31 MB

0 / 0

english, 2012

59

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

年:

2020

语言:

english

文件:

PDF, 16.86 MB

0 / 5.0

english, 2020

60

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

年:

1995

语言:

german

文件:

PDF, 9.57 MB

0 / 0

german, 1995

61

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

年:

2005

语言:

english

文件:

PDF, 5.92 MB

0 / 0

english, 2005

62

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

年:

1979

语言:

english

文件:

DJVU, 4.87 MB

0 / 0

english, 1979

63

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)

年:

2013

语言:

english

文件:

PDF, 16.68 MB

0 / 0

english, 2013

64

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

年:

1998

语言:

german

文件:

PDF, 14.65 MB

0 / 0

german, 1998

65

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

年:

1979

语言:

english

文件:

PDF, 10.85 MB

0 / 0

english, 1979

66

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

年:

1993

语言:

german

文件:

PDF, 4.36 MB

0 / 0

german, 1993

67

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

年:

1998

语言:

german

文件:

PDF, 22.98 MB

0 / 0

german, 1998

68

Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Springer-Verlag Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

年:

1992

语言:

german

文件:

PDF, 7.23 MB

0 / 0

german, 1992

69

Informatik: Eine grundlegende Einführung Teil 3: Systemstrukturen und systemnahe Programmierung

Informatik: Eine grundlegende Einführung Teil 3: Systemstrukturen und systemnahe Programmierung

Springer-Verlag Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

年:

1994

语言:

german

文件:

PDF, 11.53 MB

0 / 0

german, 1994

70

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

年:

1987

语言:

english

文件:

PDF, 12.98 MB

0 / 0

english, 1987

71

50 Jahre Universitäts-Informatik in München

50 Jahre Universitäts-Informatik in München

Springer Vieweg

Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes (eds.)

年:

2017

语言:

german

文件:

PDF, 5.48 MB

0 / 0

german, 2017

72

Das V-Modell XT. Grundlagen, Methodik und Anwendungen

Das V-Modell XT. Grundlagen, Methodik und Anwendungen

Springer Verlag

Reinhard Höhn, Stephan Höppner, A. Rausch, M. Broy, R. Petrasch, S. Biffl, R. Wagner, W. Hesse, K. Bergner

年:

2008

语言:

english

文件:

RAR, 11.21 MB

0 / 0

english, 2008

73

Modellbildung in der Informatik

Modellbildung in der Informatik

Springer-Verlag Berlin Heidelberg

Manfred Broy, Ralf Steinbrüggen (auth.)

年:

2004

语言:

german

文件:

PDF, 21.33 MB

0 / 0

german, 2004

74

Einführung in die Softwaretechnik

Einführung in die Softwaretechnik

Springer Vieweg

Manfred Broy & Marco Kuhrmann

年:

2021

语言:

german

文件:

EPUB, 79.22 MB

0 / 0

german, 2021

75

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

Springer-Verlag Berlin Heidelberg

Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (auth.), Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (eds.)

年:

2012

语言:

german

文件:

PDF, 40.53 MB

0 / 0

german, 2012

76

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

年:

1982

语言:

english

文件:

DJVU, 5.65 MB

0 / 0

english, 1982

77

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Manfred Broy, Ketil Stølen

年:

2001

语言:

english

文件:

PDF, 7.43 MB

0 / 0

english, 2001

78

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

年:

1989

语言:

english

文件:

PDF, 17.11 MB

0 / 0

english, 1989

79

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

年:

2008

语言:

english

文件:

PDF, 7.17 MB

0 / 0

english, 2008

80

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2000

语言:

english

文件:

PDF, 9.42 MB

0 / 0

english, 2000

81

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

年:

1998

语言:

german

文件:

PDF, 18.03 MB

0 / 0

german, 1998

82

Informatik und Mathematik

Informatik und Mathematik

Springer-Verlag Berlin Heidelberg

Roland Bulirsch (auth.), Prof. Dr. Manfred Broy (eds.)

年:

1991

语言:

german

文件:

PDF, 19.35 MB

0 / 0

german, 1991

83

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

年:

1992

语言:

english

文件:

DJVU, 3.91 MB

0 / 0

english, 1992

84

Projektorganisation und Management im Software Engineering

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

年:

2013

语言:

german

文件:

PDF, 7.58 MB

0 / 5.0

german, 2013

85

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

年:

1983

语言:

english

文件:

DJVU, 3.71 MB

0 / 0

english, 1983

86

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

年:

2009

语言:

english

文件:

PDF, 13.82 MB

0 / 0

english, 2009

87

Managing Development and Application of Digital Technologies: Research Insights in the Munich Center for Digital Technology & Management (CDTM)

Managing Development and Application of Digital Technologies: Research Insights in the Munich Center for Digital Technology & Management (CDTM)

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dr. mont. Dr.-Ing. habil. Eva-Maria Kern, Professor Dr. Heinz-Gerd Hegering, Professor Bernd Brügge Ph.D. (eds.)

年:

2006

语言:

english

文件:

PDF, 2.74 MB

0 / 0

english, 2006

88

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

年:

1995

语言:

english

文件:

DJVU, 3.92 MB

0 / 0

english, 1995

89

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

年:

1989

语言:

english

文件:

DJVU, 3.95 MB

0 / 0

english, 1989

90

Mathematical methods in program development

Mathematical methods in program development

Broy M., Schieder B. (eds.)

年:

1997

语言:

english

文件:

DJVU, 4.75 MB

0 / 0

english, 1997

91

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1993

语言:

english

文件:

DJVU, 3.88 MB

0 / 0

english, 1993

92

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

年:

1987

语言:

english

文件:

DJVU, 3.31 MB

0 / 0

english, 1987

93

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

年:

1983

语言:

english

文件:

PDF, 10.65 MB

0 / 0

english, 1983

94

Modellbildung in der Informatik

Modellbildung in der Informatik

Springer-Verlag Berlin Heidelberg

Manfred Broy, Ralf Steinbrüggen (auth.)

年:

2004

语言:

german

文件:

PDF, 6.00 MB

0 / 0

german, 2004

95

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

Springer Netherlands

Manfred Broy (auth.), Alan W. Biermann, Gérard Guiho (eds.)

年:

1983

语言:

english

文件:

PDF, 18.25 MB

0 / 0

english, 1983

96

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

年:

1991

语言:

english

文件:

DJVU, 2.20 MB

0 / 0

english, 1991

97

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2001

语言:

english

文件:

PDF, 5.59 MB

0 / 0

english, 2001

98

Informatik und Mathematik

Informatik und Mathematik

Springer-Verlag Berlin Heidelberg

Roland Bulirsch (auth.), Prof. Dr. Manfred Broy (eds.)

年:

1991

语言:

german

文件:

DJVU, 6.14 MB

0 / 0

german, 1991

99

Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement

Manfred Broy, Ketil Stølen

年:

2001

语言:

english

文件:

DJVU, 2.41 MB

0 / 0

english, 2001

100

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

年:

1982

语言:

english

文件:

PDF, 60.74 MB

0 / 0

english, 1982