Hugo Grotius as apologist for the Christian religion : a study of his work De veritate religionis Christianae, 1640 / von Heering, Jan-Paul

Volltext öffnen

Hugo Grotius as apologist for the Christian religion a study of his work De veritate religionis Christianae (1640) von Heering, Jan-Paul

Application software, domain specific languages, and language design assistants von Heering, Jan

Second-order algebraic specification of static semantics von Heering, Jan

Second order algebraic specification of static semantics von Heering, Jan

Hugo de Groot als apologeet van de christelijke godsdienst een onderzoek van zijn geschrift "De veritate religionis christianae" (1640) von Heering, Jan-Paul

Implementing higher order algebraic specifications von Heering, Jan

Module algebra von Bergstra, Jan A. 1951-, Heering, Jan, Klint, Paul

Incremental generation of lexical scanners von Heering, Jan, Klint, Paul, Rekers, J.

Partial evaluation and omega-completeness of algebraic specifications von Heering, Jan

Object oriented algebraic specification proposal for a notation and 12 examples von Bergstra, Jan A. 1951-, Heering, Jan, Klop, Jan Willem 1945-

Towards monolingual programming environments von Heering, Jan, Klint, Paul

Geological investigations in East Wetar, Alor and Poera Besar Eastern Lesser Soenda Islands von Heering, Jan

Hugo Grotius as apologist for the Christian religion a study of his work De veritate religionis Christianae, 1640 von Heering, Jan-Paul

Volltext öffnen

An algebraic programming style for numerical software and its optimization von Dinesh, T. B., Haveraaen, Magne, Heering, Jan

Hugo de Groot als apologeet van de christelijke godsdienst een onderzoek van zijn geschrift De veritate religionis christianae (1640) von Heering, Jan-Paul

ASF, an Algebraic Specification Formalism von Bergstra, Jan A. 1951-, Heering, Jan, Klint, Paul

The efficiency of the Equation interpreter compared with the UNH Prolog interpreter von Heering, Jan, Klint, Paul

Algebraic definition of a simple programming language von Bergstra, Jan A. 1951-, Heering, Jan, Klint, Paul

comparative analysis of the Intel 8086, the Zilog Z 8000 and the Motorola MC68000 microprocessors von Heering, Jan