Skip to contents

  3. Gibbons, Jeremy [Editor]; Moor, Oege de [Other]

    The fun of programming

    Books
    Close

    Bookmarks

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

    Basingstoke [u.a.]: Palgrave Macmillan, 2003

    Published in: Cornerstones of computing

  5. Backhouse, Roland [Other]; Gibbons, Jeremy [Other]; Hinze, Ralf [Other]; Jeuring, Johan [Other]; Backhouse, Roland C. [Editor] ; Spring School on Datatype Generic Programming 2006 Nottingham

    Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK April 24-27, 2006 ; revised lectures

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 4719

  8. Gibbons, Jeremy [Author] ; ACM Special Interest Group on Programming Languages

    Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    New York,NY,United States: Association for Computing Machinery, 2019

    Published in: ACM Conferences- ACM Digital Library

  10. Gibbons, Jeremy [Author] ; MacCaull, Wendy [Editor]

    Foundations of Health Information Engineering and Systems : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2014

    Published in: Lecture notes in computer science ; 8315

  14. Gibbons, Jeremy [Author] ; Oliveira, José Nuno [Other]

    Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5846

  19. Gibbons, Jeremy [Editor]; Miller, Dale [Editor]

    Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings - [1st ed. 2024.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Singapore: Springer Nature Singapore, 2024. ; Singapore: Imprint: Springer, 2024.

    Published in: Lecture Notes in Computer Science ; 14659