Skip to contents

  1. Bakker, Jacobus W. de [Author] ; Bruin, Arie de [Other]

    Mathematical theory of program correctness

    Books
    Close

    Bookmarks

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

    Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

    Published in: Prentice-Hall International series in computer science

  2. Bakker, Jacobus W. de [Editor] ; School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988 Noordwijkerhout

    Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 1989

    Published in: Lecture notes in computer science ; 354

  3. Bakker, Jacobus W. de [Editor] ; Advanced School on Current Trends in Concurrency 1985 Noordwijkerhout

    Current trends in concurrency : overviews and tutorials ; [... proceedings of the ESPRIT/LPC Advanced School on Current Trends in Concurrency, held June 10 - 21, 1985, at Noordwijkerhout, the Netherlands]

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 1986

    Published in: Lecture notes in computer science ; 224

  4. Arbib, Michael A. [Author]; Kfoury, Assaf J. [Author]; Moll, Robert N. [Author] ; Arbib, Michael Anthony [Other]

    A basis for theoretical computer science

    Books
    Close

    Bookmarks

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

    New York; Heidelberg [u.a.]: Springer, c 1981

    Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science

  5. Dassow, Jürgen [Editor]; Kelemen, Jozef [Editor] ; International Meeting of Young Computer Scientists 6 1990 Smolenice

    Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19 - 23, 1990 ; proceedings

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 1990

    Published in: Lecture notes in computer science ; 464

  6. Aldroubi, Akram [Editor]; Unser, Michael [Other]; Unser, Michael A. [Editor]

    Wavelets in medicine and biology

    Books
    Close

    Bookmarks

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

    Boca Raton, Fla. [u.a.]: CRC Press, 1996