Baek So-Young | RIEC, Tohoku University
スポンサーリンク
概要
RIEC, Tohoku University | 論文
- Soundness of Rewriting Induction Based on an Abstract Principle
- Program Transformation Templates for Tupling Based on Term Rewriting
- Soundness of Rewriting Induction Based on an Abstract Principle
- BK-1-10 Event-based Network Monitoring and Analysis Technology for High-speed & Wide-area Network
- Transient Characteristic of Fabricated Magnetic Tunnel Junction (MTJ) Programmed with CMOS Circuit