Stichting Mathematisch Centrum

A comparative analysis of the intel 8086, the Zilog Z8000 and the motorola MC68000 microprocessors / J. Heeringschema:ProductModel A critical comparison of several implementations of programming languages / H. J. Boom & E. de Jongschema:ProductModel A Digiset simulator / [by] P. ten Hagen and H. Nootschema:ProductModel A fast garbage-compaction algorithm / H.B.M. Jonkersschema:ProductModel A finite state lexical analyzer for the standard hardware representation of ALGOL 68 / H.B.M. Jonkersschema:ProductModel A formal model for data flow programs with token coloring / A.H. Veenschema:ProductModel A formalized proof system for total correctness of while programs / J.A. Bergstra & J.W. Klopschema:ProductModel A framework for the integration of graphics and pattern recognition / P. Klint & H. J. Sintschema:ProductModel A modules and separate compilation facility for ALGOL 68 / C.H. Lindsey & H.J. Boomschema:ProductModel A note on the recursive enumerability of some classes of recursively enumerable languages ; prepublication / Peter van Emde Boas, Paul Michael Béla Vitányischema:ProductModel A problem in collateral elaboration / R. van Vlietschema:ProductModel A process algebra for the operational semantics of static data flow networks / J.A. Bergstra & J.W. Klopschema:ProductModel A proof rule for restoring logic circuits / J.A. Bergstra & J.W. Klopschema:ProductModel A proposal for the translation of Janus into Standard Fortran / E. de Jongschema:ProductModel A sound and complete hoar-like system for a fragment of Pascal / K. R. Aptschema:ProductModel A space-saving technique for assigning ALGOL 68 multiple values / L.G.L.T. Meertensschema:ProductModel A survey of asynchronous 1/0 techniques for Unix / D.S.H. Rosenthalschema:ProductModel A survey of high level microprogramming languages / H.J. Sintschema:ProductModel A survey of three language-independent programming environments / P. Klintschema:ProductModel A view of coroutines / D. Gruneschema:ProductModel ... show all 223