document

Phased Type Checker For Java: A Type Checker For a Subset of Java Built On Scope Graph Semantics

Thabet, Omar (author)

Traditional type-checking programs are typically designed for specific programming languages, re- sulting in complex and tightly coupled imperative implementations. One of the challenges faced by type checkers is ensuring consistent name-binding resolution in the presence of new names and sym- bols added to the environment. To address this issue...

bachelor thesis 2023

document

Compartimentering Oosterschelde: De afvoerkoëfficiënten van de sluitgaten van Slaak, Tholense Gat en Krammer

Thabet, R.A.H.A. (author)

report 1988

document

Compartimentering Oosterschelde: Tweedimensionaal onderzoek van het sluitgat van het Slaak : onderzoek van de afvoereigenschappen voor een aantal bouwfasen

Thabet, R.A.H.A. (author)

report 1987

document

Afsluiting Oosterschelde - detailmodel sluitgaten (deel VII): Stroombeeld nabij Noord-Bevelandse oever

Thabet, R.A.H.A. (author)

report 1985

document

Afsluiting Oosterschelde - detailmodel sluitgaten (deel VI): Uitwateringssluis Noordland

Thabet, R.A.H.A. (author)

report 1985

document

Compartimentering Oosterschelde: Tweedimensionale detailmodel van het sluitgat van het Krammer : berekeningen van de afvoereigenschappen voor een aantal sluitingsfasen

Thabet, R.A.H.A. (author)

report 1985

document

Afsluiting Oosterschelde - detailmodel sluitgaten (deel V): Invloed opbouwprocedures blokkendam op de ontgronding

Thabet, R.A.H.A. (author)

report 1985

document

Onderzoek naar de mogelijkheid van afsluiting van de Oosterschelde met een gedeeltelijk geprefabriceerde stormvloedkering. Deelrapport 2: Hydraulische aspekten

De Jong, R.J. . (author), Thabet, R.A.H. (author), Schiereck, G.J. (author), Ockhuysen, C.P. (author)

Dit rapport "Onderzoek naar de mogelijkheid van afsluiting van de Oosterschelde met een gedeeltelijk geprefabriceerde stormvloedkering", deelrapport 2, geeft een overzicht van het hydraulisch onderzoek dat is uitgevoerd in het kader van de studie naar de mogelijkheid van de afsluiting van de Oosterschelde met een gedeeltelijk geprefabriceerde...

report 1984

document

Afsluiting Oosterschelde - detailmodel sluitgaten (deel IV): Lengte bodemverdediging : geleidelijke sluiting

Thabet, R.A.H.A. (author)

report 1984

document

Stormvloedkering Oosterschelde - detailmodel stroomgeulen: Systematisch stroombeeldonderzoek rond schuiffronten

Thabet, R.A.H.A. (author)

report 1984

document

Stormvloedkering Oosterschelde - detailmodel stroomgeulen: Systematisch stroombeeldonderzoek naar bouwfasefaktoren

Thabet, R.A.H.A. (author)

report 1984

document

Stormvloedkering Oosterschelde - detailmodel stroomgeulen: Stroombeeldonderzoek bij een omgekeerd weigerende schuif

Thabet, R.A.H.A. (author)

report 1984

document

Stormvloedkering Oosterschelde: Doorstroomoppervlakte, afvoerkoëfficiënt en effektieve doorstroomoppervlakte van de in aanbouw zijnde kering

Thabet, R.A.H.A. (author)

report 1984

document

Stormvloedkering Oosterschelde - detailmodel stroomgeulen: Stroombeeldonderzoek rond extreme bouwfronten

Thabet, R.A.H.A. (author)

report 1983

document

Stormvloedkering Oosterschelde - detailmodel stroomgeulen: Systematisch stroombeelonderzoek rond bouwfronten

Thabet, R.A.H.A. (author)

report 1983

document

Stormvloedkering Oosterschelde: Onderzoek extreme bouwfasen : vergelijking resultaten waterbewegingsmodellen FRIMO en R 1495 en fysische detailmodel M 1001

Thabet, R.A.H.A. (author)

report 1983

document

Stormvloedkering Oosterschelde - getijmodel Oosterschelde: Stroomrandvoorwaarden bouwfasen, onderzoek invloed van het getij

Thabet, R.A.H.A. (author)

report 1981

document

Getijmodel Oosterschelde: Alternatieve volgorde dorpelbalken

Thabet, R.A.H.A. (author)

report 1981

document

Stormvloedkering Oosterschelde: Ontgrondingen Roompot situatie III-c

Thabet, R.A.H.A. (author)

report 1975

document

Afsluiting Oosterschelde werkhaven damaanzet Noord-Beveland: Golfbeweging in de haven

Thabet, R.A.H.A. (author)

report 1974