Skip to contents

  1. 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

  2. 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

  3. 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

  4. Bosch, Hieronymus [Artist]; Philipp, Michael [Author] ; Philipp, Michael [Editor]; Baumstark, Kathrin [Writer of supplementary textual content]; Buck, Stephanie [Writer of supplementary textual content]; Büttner, Nils [Writer of supplementary textual content]; Haubold, Nora [Writer of supplementary textual content]; Hoven van Genderen, Bram van den [Writer of supplementary textual content]; Oesinghaus, Sebastian [Writer of supplementary textual content]; Porras, Stephanie [Writer of supplementary textual content]; Ritter, Laura [Writer of supplementary textual content]; Rutgers, Jaco [Writer of supplementary textual content]; Schwartz, Gary [Writer of supplementary textual content]; Kaiser, Franz W. [Editor] Hirmer Verlag, Bucerius Kunst Forum, Staatliche Kunstsammlungen Dresden, Staatliche Kunstsammlungen Dresden

    Verkehrte Welt : das Jahrhundert von Hieronymus Bosch : Bucerius Kunst Forum, Hamburg, 4. Juni bis 11. September 2016

    Books
    Close

    Bookmarks

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

    München: Hirmer, [2016]

    Saxon Bibliography (Sächsische Bibliografie)

  5. Bakker, Jacobus W. de [Editor] ; Mathematisch Centrum Amsterdam

    Foundations of computer science

    Books
    Close

    Bookmarks

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

    Amsterdam: Mathemat. Centrum, 1975-

    Published in: Mathematical centre tracts ; .

  6. Bakker, Jacobus W. de [Editor]; Wijngaarden, Adriaan van [Honoree]; Vliet, J. C. van [Editor] ; Mathematisch Centrum Amsterdam, International Federation for Information Processing Technical Committee Programming, International Symposium on Algorithmic Languages 1981 Amsterdam

    Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages, Amsterdam, the Netherlands, 26.-29. October 1981; a tribute to Prof. Dr. Ir. A. van Wijngaarden, on the occasion of his retirement from the Mathematical Centre

    Books
    Close

    Bookmarks

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

    Amsterdam [u.a.]: North-Holland Publ. Co., 1981

  7. Bakker, Jaco W. de [Author] ; Roever, Willem-Paul de [Other]; Rozenberg, Grzegorz [Other]

    Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Published in: Lecture notes in computer science ; 430