Showing 1 - 6 results of 6 for search '', query time: 0.04s Refine Results
  1. 1
    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures

    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro,...

    Berlin ; New York : Springer, 2004
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

    Berlin : Springer, 2004
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  3. 3
    Discrete-time signal processing

    Discrete-time signal processing by Oppenheim, Alan V., 1937-

    Englewood Cliffs, N.J. : Prentice Hall, 1989
    Format: Book


    Save to List
    Saved in:
  4. 4
    Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings

    Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and...

    Berlin ; New York : Springer, 2004
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Discrete-time systems : an introduction with interdisciplinary applications

    Discrete-time systems : an introduction with interdisciplinary applications by Cadzow, James A.

    Englewood Cliffs, N.J. : Prentice-Hall, 1973
    Format: Book


    Save to List
    Saved in:
  6. 6
    Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

    Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: