Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Apt, Krzysztof R.', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Verification of Sequential and Concurrent Programs
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Logics and models of concurrent systems /
    Έκδοση 1985
    Άλλοι συγγραφείς: “…Apt, Krzysztof R., 1949-…”
    Πρακτικό Συνεδρίου Βιβλίο
  4. 4
    New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Apt, Krzysztof R.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email