Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Penczek, Wojciech', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
    ανά Penczek, Wojciech
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
    ανά Penczek, Wojciech, Pólrola, Agata
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
    ανά Lilius, Johan
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Penczek, Wojciech…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Transactions on Petri Nets and Other Models of Concurrency XII
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Challenging Problems and Solutions in Intelligent Systems
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email