Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Backhouse, Roland', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Program construction and verification
    ανά Backhouse, Roland C.
    Έκδοση 1986
    Βιβλίο
  2. 2
    Generic Programming Advanced Lectures /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Backhouse, Roland…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email