Showing 1 - 1 results of 1 for search 'Kumar, Ramayya, 1957-', זמן שאילתה: 0.01s Refine Results
  1. 1
    Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
    Conference Proceeding ספר
    יצא לאור 1995
    מחברים אחרים: "...Kumar, Ramayya, 1957-..."
    הוספה למועדפים
    שמור ב:
כלי חיפוש: קבל רסס (RSS) – שליחת חיפוש דרך דואל