Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Bjørner, Dines', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Software Engineering 2 Specification of Systems and Languages /
    ανά Bjørner, Dines
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Software Engineering 1 Abstraction and Modelling /
    ανά Bjørner, Dines
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logics of Specification Languages
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Bjørner, Dines…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email