Suggested Topics within your search.
Showing 1 - 12 results of 12 for search '"Sistemas con propósito y aplicaciones especiales."', query time: 0.05s Refine Results
  1. 1
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Subjects:
    Conference Proceeding Book
  2. 2
    Computer aided systems theory - EUROCAST'95 /

    Computer aided systems theory - EUROCAST'95 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  3. 3
    Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /

    Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  4. 4
    Broadband communications : networks, services, applications, future directions /

    Broadband communications : networks, services, applications, future directions /

    Published 1996
    Subjects:
    Conference Proceeding Book
  5. 5
    ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

    ADA in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  6. 6
    Computer aided systems theory - CAST'94 /

    Computer aided systems theory - CAST'94 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Subjects:
    Conference Proceeding Book
  8. 8
    Computer aided verification /

    Computer aided verification /

    Published 1996
    Subjects:
    Conference Proceeding Book
  9. 9
    Hybrid and real-time systems /

    Hybrid and real-time systems /

    Published 1997
    Subjects:
    Conference Proceeding Book
  10. 10
    Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /

    Reliable software technologies -ADA-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  11. 11
    Hybrid systems III : verification and control /

    Hybrid systems III : verification and control /

    Published 1996
    Subjects:
    Conference Proceeding Book
  12. 12
    High-performance computing and networking /

    High-performance computing and networking /

    Published 1996
    Subjects:
    Conference Proceeding Book

Search Tools: