W.P. de Roever: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Lecture Notes in Computer Science] Current Trends in Concurrency Volume 224 || Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1986

Language:

english

File:

PDF, 3.11 MB

english, 1986

52

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Tools for Generating and Analyzing Attack Graphs

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 1.27 MB

english, 2004

53

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || Logics and models of real time: A survey

de Bakker, J. W., Huizing, C., de Roever, W. P., Rozenberg, G.

Year:

1992

Language:

english

File:

PDF, 2.12 MB

english, 1992

54

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || The theory of timed automata

de Bakker, J. W., Huizing, C., de Roever, W. P., Rozenberg, G.

Year:

1992

Language:

english

File:

PDF, 1.67 MB

english, 1992

55

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || Timed transition systems

de Bakker, J. W., Huizing, C., de Roever, W. P., Rozenberg, G.

Year:

1992

Language:

english

File:

PDF, 1.44 MB

english, 1992

56

[Lecture Notes in Computer Science] Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Volume 354 || An introduction to event structures

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1989

Language:

english

File:

PDF, 2.30 MB

english, 1989

57

Toxoplasmosis and pregnancy, with a long-term follow-up of the children

Koppe, J.G., Kloosterman, G.J., de Roever-Bonnet, H., Eckert-Stroink, J.A., Loewer-Sieger, D.H., de Bruijne, J.I.

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

1974

Language:

english

File:

PDF, 803 KB

english, 1974

58

RESULTS OF 20-YEAR FOLLOW-UP OF CONGENITAL TOXOPLASMOSIS

Koppe, J.G., Loewer-Sieger, D.H., DE ROEVER-BONNET, H.

Journal:

Year:

1986

Language:

english

File:

PDF, 433 KB

english, 1986

59

[IEEE Comput. Soc. Press FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing - Toulouse, France (22-24 June 1993)] FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing - Specifying fault tolerance within Stark's formalism

Cau, A., de Roever, W.-P.

Year:

1993

Language:

english

File:

PDF, 1.08 MB

english, 1993

60

Analytic Representations and Fourier Transforms of Analytic Functionals in $Z'$ Carried by the Real Space

de Roever, J. W.

Journal:

SIAM Journal on Mathematical Analysis

Year:

1978

Language:

english

File:

PDF, 2.36 MB

english, 1978

61

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 4.67 MB

english, 2003

62

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Model-Based Testing of Object-Oriented Systems

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 323 KB

english, 2003

63

[IEEE 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Shanghai, China (16-20 June 2005)] 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) - Verifying Parameterized Refinement

Sylla, M., Stomp, F., de Roever, W.-P.

Year:

2005

Language:

english

File:

PDF, 139 KB

english, 2005

64

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 5.46 MB

english, 2007

65

[Lecture Notes in Computer Science] Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Volume 354 || Branching time temporal logic

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1989

Language:

english

File:

PDF, 4.48 MB

english, 1989

66

[Lecture Notes in Computer Science] Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Volume 354 || Computation tree logic and regular ω-languages

de Bakker, J. W., de Roever, W. -P., Rozenberg, G.

Year:

1989

Language:

english

File:

PDF, 1.43 MB

english, 1989

67

Review: Book review

de Roever, W. P.

Journal:

The Computer Journal

Year:

1977

File:

PDF, 671 KB

1977

68

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 || Links: Web Programming Without Tiers

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 857 KB

english, 2007

69

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Reactive Animation

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 527 KB

english, 2003

70

[ACM Press the second annual ACM symposium - Montreal, Quebec, Canada (1983.08.17-1983.08.19)] Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83 - Real-time programming and asynchronous message passing

Koymans, Ron, Vytopil, Jan, de Roever, Willem P.

Year:

1983

Language:

english

File:

PDF, 881 KB

english, 1983

71

A Proof System for Communicating Sequential Processes

Apt, Krzysztof R., Willem P. de Roever, Nissim and

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1980

Language:

english

File:

PDF, 1.50 MB

english, 1980

72

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Consistency Management within Model-Based Object-Oriented Development of Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 453 KB

english, 2004

73

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 245 KB

english, 2003

74

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Finding Implicit Contracts in .NET Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 498 KB

english, 2003

75

[Lecture Notes in Computer Science] Real-Time: Theory in Practice Volume 600 || Forward and backward simulations for timing-based systems

de Bakker, J. W., Huizing, C., de Roever, W. P., Rozenberg, G.

Year:

1992

Language:

english

File:

PDF, 2.90 MB

english, 1992

76

Mafic magmatism in the Bakhuis Granulite Belt (western Suriname): relationship with charnockite magmatism and UHT metamorphism

Klaver, Martijn, de Roever, Emond W.F., Thijssen, Antonia C.D., Bleeker, Wouter, Söderlund, Ulf, Chamberlain, Kevin, Ernst, Richard, Berndt, Jasper, Zeh, Armin

Journal:

Year:

2015

Language:

english

File:

PDF, 2.35 MB

english, 2015

77

Nadere Bizonderheden Betreffende Jan Tfieunisz B L a N C K E R H O F F , (Jan-Maat)

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1883

Language:

dutch

File:

PDF, 801 KB

dutch, 1883

78

Twee Concurrenten Van De Eerste West-Indische Compagnie

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1889

Language:

dutch

File:

PDF, 5.28 MB

dutch, 1889

79

Rembrant

Van Cruysbergen, Claes, Leeuw, J., Banck, Adriaen, Insum, Cornelis, Helderbergh, Frederik, Van Loo, Jan, Bredius, A., Everts, C., De Roever, N., Stoffels, Hendrickie, Dircks, Oude Frans, Van Ludick, L

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1885

Language:

dutch

File:

PDF, 1.74 MB

dutch, 1885

80

Pieter Aertsz: gezegd Lange Pier, Vermaard Schilder

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1889

Language:

dutch

File:

PDF, 7.13 MB

dutch, 1889

81

Een Huwelijk Van Rembrandt

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1883

Language:

dutch

File:

PDF, 3.39 MB

dutch, 1883

82

Rijfelarijen

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1886

Language:

dutch

File:

PDF, 1.53 MB

dutch, 1886

83

Meindeirt Hobbema

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1883

Language:

dutch

File:

PDF, 566 KB

dutch, 1883

84

Een "Rembrandt" Op 't sTadhuis

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1891

Language:

dutch

File:

PDF, 907 KB

dutch, 1891

85

De Rariteiten-Kamer

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1886

Language:

dutch

File:

PDF, 1.85 MB

dutch, 1886

86

Een Drietal Brieven Van Hendrick Goltzius

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1888

Language:

dutch

File:

PDF, 896 KB

dutch, 1888

87

Tweeërlei Regenten

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1889

Language:

dutch

File:

PDF, 5.97 MB

dutch, 1889

88

Boekdrukkers En Boekverkoopers

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1884

Language:

dutch

File:

PDF, 3.53 MB

dutch, 1884

89

Boekdrukkers En Boekverkoopers

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1884

Language:

dutch

File:

PDF, 1.60 MB

dutch, 1884

90

Iets Over De Kinderen En De Hegkaafflaats Van Anthonie Palamedesz

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1883

Language:

dutch

File:

PDF, 194 KB

dutch, 1883

91

Rembrandt

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1884

Language:

dutch

File:

PDF, 2.67 MB

dutch, 1884

92

De Coninxloo's

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1885

Language:

dutch

File:

PDF, 1.78 MB

dutch, 1885

93

Bijdragen Tot De Geschiedenis Van De Amsterdamsche Potten- En Plateelbakkerijen

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1883

Language:

dutch

File:

PDF, 4.83 MB

dutch, 1883

94

Pieter Lastman En François Venant

Bredius, A., De Roever, N.

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1886

Language:

dutch

File:

PDF, 3.26 MB

dutch, 1886

95

Een Bezoek Aan Den Ridder Adriaen Van Der Werff

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1887

Language:

dutch

File:

PDF, 1.11 MB

dutch, 1887

96

In Memoriam

De Roever, N., De Vries, A.D.

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1884

Language:

dutch

File:

PDF, 1.77 MB

dutch, 1884

97

Iets Over Martinus Saeghmolen

Bredius, A., De Roever, N.

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1888

Language:

dutch

File:

PDF, 1004 KB

dutch, 1888

98

Vondeliana

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1890

Language:

dutch

File:

PDF, 866 KB

dutch, 1890

99

Jan Harmensz. Muller

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1885

Language:

dutch

File:

PDF, 6.39 MB

dutch, 1885

100

Bruno Spanceerdr

Journal:

Oud Holland / Quarterly for Dutch Art History

Year:

1891

Language:

dutch

File:

PDF, 1.30 MB

dutch, 1891

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски