TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 63 records were found in 0.25 seconds
Novo-G: A View at the HPC Crossroads for Scientific Computing
ERSA, 21-30, 2010
Fostering Discussions with Forum Tools Based on E-Learning Standards
CELDA, 60-68, 2005
Using the ACL2 Theorem Prover to Reason about VHDL Components
RITA, 7(1):129-148, 2000