Zum Inhalt springen

  1. Bakker, Jacobus W. de [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 354

  2. Bakker, Jacobus W. de [HerausgeberIn] ; 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]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 224

  3. Bakker, Jacobus W. de [VerfasserIn] ; Bruin, Arie de [Sonstige Person, Familie und Körperschaft]

    Mathematical theory of program correctness

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Prentice-Hall International series in computer science

  4. Bosch, Hieronymus [KünstlerIn]; Philipp, Michael [VerfasserIn] ; Philipp, Michael [HerausgeberIn]; Baumstark, Kathrin [VerfasserIn von ergänzendem Text]; Buck, Stephanie [VerfasserIn von ergänzendem Text]; Büttner, Nils [VerfasserIn von ergänzendem Text]; Haubold, Nora [VerfasserIn von ergänzendem Text]; Hoven van Genderen, Bram van den [VerfasserIn von ergänzendem Text]; Oesinghaus, Sebastian [VerfasserIn von ergänzendem Text]; Porras, Stephanie [VerfasserIn von ergänzendem Text]; Ritter, Laura [VerfasserIn von ergänzendem Text]; Rutgers, Jaco [VerfasserIn von ergänzendem Text]; Schwartz, Gary [VerfasserIn von ergänzendem Text]; Kaiser, Franz W. [HerausgeberIn] 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Hirmer, [2016]

    Sächsische Bibliografie

  5. Bakker, Jacobus W. de [Sonstige Person, Familie und Körperschaft] ; Symposium on Mathematics and Computer Science 1983 Amsterdam

    Mathematics and computer science / [1], proceedings of the CWI Symposium, Nov. 1983 / ed by J. W. de Bakker

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland, 1986

    Erschienen in: Mathematics and computer science ; [1] - Centrum voor Wiskunde en Informatica: CWI monographs ; 1

  6. Bakker, Jacobus W. de [HerausgeberIn] ; Mathematisch Centrum Amsterdam

    Foundations of computer science

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: Mathemat. Centrum, 1975-

    Erschienen in: Mathematical centre tracts ; .

  7. Bakker, Jacobus W. de [HerausgeberIn]; Wijngaarden, Adriaan van [GefeierteR]; Vliet, J. C. van [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  8. Bakker, Jaco W. de [VerfasserIn] ; Roever, Willem-Paul de [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in computer science ; 430

  9. Sebek, Jim [Sonstige Person, Familie und Körperschaft] ; JACoW

    Proceedings of the 3rd International Beam Instrumentation Conference : hosted by the SLAC National Accelerator Laboratory at the Portola Hotel in Monterey, CA, USA, September 14 - 18, 2014

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, 2015

  10. Carli, Christian [Sonstige Person, Familie und Körperschaft] ; JACoW

    LINAC14: Proceedings of the 27th International Linear Accelerator Conference : hosted by CERN and held in Geneva, Switzerland, from August 31 - September 5, 2014

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, 2014

  11. Yamazaki, Yoshishige [Sonstige Person, Familie und Körperschaft] ; JACoW

    2010 International LINAC Conference : September 12 - 17, 2010, International Congress Center, Tsukuba Epochal, Tsukuba, Ibaraki, Japan ; conference guide

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, 2011

  12. Laxdal, Bob [Sonstige Person, Familie und Körperschaft]; Schmor, Paul W. [Sonstige Person, Familie und Körperschaft] ; JACoW

    Proceedings of the XXIV Linear Accelerator Conference : 29 September - 3 October 2008, Victoria, British Columbia, Canada

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, 2009

  13. Sannibale, Fernando [Sonstige Person, Familie und Körperschaft]; Chew, Joe [Sonstige Person, Familie und Körperschaft] ; JACoW

    2008 Beam Instrumentation Workshop : May 4 - 8, 2008, Lake Tahoe, California, USA ; [13th meeting of the Beam Instrumentation Workshop (BIW08)]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, 2008

  14. Kotaiah, Swarna [Sonstige Person, Familie und Körperschaft] ; JACoW

    APAC 2007 : Asian Particle Accelerator Conference ; Raja Ramanna Centre for Advanced Technology, Central Complex, Indore, India ; January 29 - February 2, 2007 ; [proceedings]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Genf: CERN, [ca. 2007]