9 results Refine Results
  1. 1
    מאת Schellekens, Michel
    יצא לאור 2008
    נושאים “...Real-time data processing....”
    Connect to electronic resource
    אלקטרוני ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    A modular calculus for the average cost of data structuring
  2. 2
    מאת Kröger, Fred, 1945-
    יצא לאור 2006
    נושאים
    Connect to electronic resource
    אלקטרוני ספר
    הוספה למועדפים
    שמור ב:
    Temporal logic and state systems
  3. 3
    מאת Rust, Heinrich
    יצא לאור 2005
    נושאים
    Connect to electronic resource
    אלקטרוני ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems /
  4. 4
    יצא לאור 2007
    נושאים
    Connect to electronic resource
    אלקטרוני ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Annotating, extracting and reasoning about time and events international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers /
  5. 5
    יצא לאור 2007
    נושאים
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Real-time mobile multimedia services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-November 2, 2007 : proceedings /
  6. 6
    יצא לאור 2005
    נושאים “...Real-time data processing Congresses....”
    Connect to electronic resource
    אלקטרוני ספר
    הוספה למועדפים
    שמור ב:
    Model-based testing of reactive systems advanced lectures /
  7. 7
    יצא לאור 2007
    נושאים
    Connect to electronic resource
    אלקטרוני ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
  8. 8
    יצא לאור 2007
    נושאים “...Real-time data processing Congresses....”
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
  9. 9
    יצא לאור 2007
    נושאים
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Algorithmic methods for railway optimization international Dagstuhl workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers /

כלי חיפוש: