Skip to contents

  1. Krömker, Heidi [Editor] ; MobiTAS 1. 2019 Orlando, Fla, HCI International 21. 2019 Orlando, Fla

    HCI in mobility, transport, and automotive systems : first international conference, MobiTAS 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings

    Books
    Close

    Bookmarks

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

    Cham: Springer, [2019]

    Published in: Lecture notes in computer science ; 11596

  2. Day, Adam [Editor]; Fellows, Michael R. [Editor]; Greenberg, Noam [Editor]; Khoussainov, Bakhadyr [Editor]; Melʹnikov, Aleksandr V. [Editor]; Rosamond, Frances [Editor]; Downey, R. G. [Dedicatee]; Melnikov, Alexander [Editor] ; International Computability and Complexity Symposium 2017 Raumati

    Computability and complexity : Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday

    Books
    Close

    Bookmarks

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

    Cham: Springer, [2017]

    Published in: Lecture notes in computer science ; 10010

  3. Lecomte, Thierry [Editor]; Pinger, Ralf [Editor]; Romanovsky, Alexander [Editor] ; RSSRail 1. 2016 Paris

    Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings

    Books
    Close

    Bookmarks

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

    [Cham]; Heidelberg: $nSpringer, [2016]

    Published in: Lecture notes in computer science ; 9707

  4. Szmuc, Tomasz [Editor] ; International Federation for Information Processing Technical Committee Software, Theory and Practice, Central and East European Conference on Software Engineering Techniques 4 2009 Krakau

    Advances in software engineering techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12 - 14, 2009 ; revised selected papers

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 7054

  5. Dinneen, Michael J. [Editor]; Calude, Cristian [Honoree] ; WTCS 2012 Auckland

    Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012 ; dedicated to Cristian S. Calude on the occasion of his 60th birthday ; Auckland, New Zealand, February 21 - 24, 2012 ; revised selected and invited papers

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 7160