Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Lau, Kung-Kiu', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Lau, Kung-Kiu…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email