Skip to contents

Lewi, Johan [Other]

Software development by LL(1) syntax description

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester [u.a.]: Wiley, 1992

Published in: Wiley professional computing
Horebeek, Ivo van [Author] ; Lewi, Johan [Other]

Algebraic specifications in software engineering : an introduction

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989
Lewi, Johan [Editor]

A programming methodology in compiler construction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Co., 19XX-
Vergauwen, Bart; Lewi, Johan

CAAP '92: A linear algorithm for solving fixed-point equations on transition systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1992

Published in: CAAP '92 (1992), Seite 322-341
Vergauwen, Bart; Lewi, Johan

CONCUR'93: A linear local model checking algorithm for CTL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: CONCUR'93 (1993), Seite 447-461
Bevers, Eddy; Lewi, Johan

Proving termination of (conditional) rewrite systems : A semantic approach : A semantic approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 1993

Published in: Acta Informatica, 30 (1993) 6, Seite 537-568
Bevers, Eddy; Lewi, Johan

Conditional and Typed Rewriting Systems: Proof by consistency in conditional equational theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Conditional and Typed Rewriting Systems (1991), Seite 194-205
Landau, Ezechiel [Author] ; Trattner, Johann Thomas von [Printer]

Förmliche Bekanntmachung des großen und fürchterlichen Judenbannes, welcher am 22. des Christmondes 1756. in der so genannten Altneuschule zu Prag von der dasigen Judenschaft Oberrabinen, Ezechiel Lando aufgesetzet worden; genommen aus dem Schreine der heiligen zehn Gebote Gottes, oder der so genannten Thora

View online
Schließen

Access

... to E-book via Resolving system of SUB Göttingen (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien; Prag: Trattner, 1757 ; Online-Ausg., Göttingen: Niedersächsische Staats- und Universitätsbibliothek, 2010
Eliyahu Baḥur [Author]; Buxtorf, Johann [Author] ; Semler, Johann Salomo [Editor]; Sysang, Johanna Dorothea [Illustrator]; Sysang, Johanna Dorothea [Contributor]; Hemmerde, Karl Hermann [Publisher]; Mendelssohn, Moses [Addressee]

Uebersetzung des Buchs Massoreth Hammassoreth

View online
Schließen

Access

... to E-book via Resolving system of the MDZ (Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- A.hebr. 520 ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Halle im Magdeburgischen: verlegt von Carl Hermann Hemmerde, 1772. ; Online-Ausgabe, München: Bayerische Staatsbibliothek, 2010
Van Horebeek, Ivo; Lewi, Johan

Are constructive formal specifications less abstract?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1990

Published in: ACM SIGPLAN Notices, 25 (1990) 5, Seite 60-68
Jonathan ben Joseph [Author] ; Ibn-Ḥaviv, Levi [Commentator]; Jaffe, Mordecai ben Abraham [Commentator]; Berṭinorah, ʿOvadyah ben-Avraham mi- [Commentator]; Kellner, Johann [Printer]

Sefer Yeshuʿah be-Yiśraʾel : ṿe-hu perush maspiḳ ṿe-ḳalil ʿal Hilkhot ḳidush ha-ḥodesh le-ha-neshar ha-gadol ha-gaʾon ha-rav Rabenu Mosheh bar Maimon zal ṿe-ʿal mefarshe devaraṿ h.h. ha-rav Rabenu ʿOvady. zal ṿe-ha-rav Rabenu Leṿi ben Ḥaviv zal

View online
Schließen

Access

... to E-book via Resolving system of SUB Göttingen (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Nidpas be-Franḳfurṭ de-Mayn: bi-defus ha-meshubaḥ be-bayt Yohan Ḳelner, 5480 [1719/1720] ; Online-Ausgabe, Göttingen: Niedersächsische Staats- und Universitätsbibliothek, 2022
Craeynest, Dirk; Vansteenkiste, Geert; Lewi, Johan

Construction of an ELL(1) syntax analyser for Ada with the compiler-generator LILA

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1984

Published in: ACM SIGPLAN Notices, 19 (1984) 1, Seite 36-45
Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Swennen, Bart

Lecture Notes in Computer Science: Constraints in object-oriented analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: Lecture Notes in Computer Science (1993), Seite 393-407
Van Mieghem, Tim; Deprest, Jan; Klaritsch, Philipp; Gucciardo, Léonardo; Done', Elisa; Verhaeghe, Johan; Lewi, Liesbeth

Ultrasound prediction of intertwin birth weight discordance in monochorionic diamniotic twin pregnancies

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2009

Published in: Prenatal Diagnosis, 29 (2009) 3, Seite 240-244
Branquart, Paul; Cardinael, Jean-Pierre; Lewi, Johan; Delescaille, Jean-Paul; Vanbegin, Michael

An Optimized Translation Process and Its Application to ALGOL 68

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1976

Published in: Lecture Notes in Computer Science (1976)
Henle, Elise [Author] ; Goethe, Johann Wolfgang von [Other] Genossenschaft Dramatischer Autoren und Componisten

Aus Göthes lustigen Tagen : Original-Lustspiel in vier Akten - [als Ms. gedr]

View online
Schließen

Access

... to E-book via Klassik Stiftung Weimar (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Levi, 1878 ; Leipzig: Agentur d. Genossenschaft dramat. Autoren u. Componisten, 1878 ; Online-Ausg., Weimar: Herzogin Anna Amalia Bibliothek; Dresden: Alpha Com Sachsen, 2009
Ariën, Kevin K; Venkatraj, Muthusamy; Míchiels, Johan; Joossens, Jurgen; der Veken, PieterVan; Heeres, Jan; Abdellati, Said; Cuylaerts, Vicky; Crucitti, Tania; Lewi, Paul; Augustyns, Koen; Vanham, Guido

Development of triazine non-nucleoside reverse transcriptase inhibitors for microbicidal applications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2011

Published in: Retrovirology, 8 (2011) S2
Sergeyev, Sergey; Yadav, Ashok Kumar; Franck, Philippe; Michiels, Johan; Lewi, Paul; Heeres, Jan; Vanham, Guido; Ariën, Kevin K.; Vande Velde, Christophe M. L.; De Winter, Hans; Maes, Bert U. W.

2,6-Di(arylamino)-3-fluoropyridine Derivatives as HIV Non-Nucleoside Reverse Transcriptase Inhibitors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Chemical Society (ACS), 2016

Published in: Journal of Medicinal Chemistry, 59 (2016) 5, Seite 1854-1868
Ariën, Kevin K.; Venkatraj, Muthusamy; Michiels, Johan; Joossens, Jurgen; Vereecken, Katleen; Van der Veken, Pieter; Abdellati, Saïd; Cuylaerts, Vicky; Crucitti, Tania; Heyndrickx, Leo; Heeres, Jan; Augustyns, Koen; Lewi, Paul J.; Vanham, Guido

Diaryltriazine non-nucleoside reverse transcriptase inhibitors are potent candidates for pre-exposure prophylaxis in the prevention of sexual HIV transmission

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2013

Published in: Journal of Antimicrobial Chemotherapy, 68 (2013) 9, Seite 2038-2047

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication