Výsledky vyhledávání - Jeremy Gibbons

  • Zobrazuji výsledky 1 - 8 z 8
Upřesnit hledání
  1. Obálka

    Generic and Indexed Programming / Autor Jeremy Gibbons

    Vydáno 2012, c2012
    Ver documento en línea
    Kniha
  2. Obálka

    Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11.12, 2002, Dagstuhl, Germany / Autor Jeremy Gibbons, Johan Jeuring

    Vydáno 2003, c2003
    Ver documento en línea
    Kniha
  3. Obálka

    Generic Programming : Advanced Lectures / Autor Roland Backhouse, Jeremy Gibbons

    Vydáno 2003, c2003
    Ver documento en línea
    Kniha
  4. Obálka

    Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings / Autor Jim Davies, Jeremy Gibbons

    Vydáno 2007, c2007
    Ver documento en línea
    Kniha
  5. Obálka

    Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / Autor Jeremy Gibbons, Pablo Nogueira

    Vydáno 2012, c2012
    Ver documento en línea
    Kniha
  6. Obálka

    Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / Autor Jeremy Gibbons, José Nuno Oliveira

    Vydáno 2009, c2009
    Ver documento en línea
    Kniha
  7. Obálka

    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / Autor Roland Backhouse, Roy Crole, Jeremy Gibbons

    Vydáno 2002, c2002
    Ver documento en línea
    Kniha
  8. Obálka

    Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / Autor Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring

    Vydáno 2007, c2007
    Ver documento en línea
    Kniha

Vyhledávací nástroje: