Suggested Topics within your search.
Showing 1 - 10 results of 10 for search '', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    Conference Proceeding Book
  2. 2
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    Conference Proceeding Book
  3. 3
    Reliable software technologies - ADA-Europe'97 /

    Reliable software technologies - ADA-Europe'97 /

    Published 1997
    Conference Proceeding Book
  4. 4
    Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /

    Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  5. 5
    A digital signal processing primer : with applications to digital audio and computer music /

    A digital signal processing primer : with applications to digital audio and computer music / by Steiglitz, Kenneth, 1939-

    Published 1996
    Book
  6. 6
    Foundations of real-time computing : scheduling and resource mangement /

    Foundations of real-time computing : scheduling and resource mangement /

    Published 1991
    Book
  7. 7
    Digital signal processing algorithms : number theory, convolution, fast Fourier transforms and applications /

    Digital signal processing algorithms : number theory, convolution, fast Fourier transforms and applications / by Garg, Hari Krishna

    Published 1998
    Book
  8. 8
    Fundamentals of acoustic field theory and space-time signal processing /

    Fundamentals of acoustic field theory and space-time signal processing / by Ziomek, Lawrence J.

    Published 1995
    Book
  9. 9
    Computer aided verification : proceedindings /

    Computer aided verification : proceedindings /

    Published 1997
    Conference Proceeding Book
  10. 10
    Hybrid systems IV /

    Hybrid systems IV /

    Published 1997
    Conference Proceeding Book

Search Tools: