𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Powerlists in Coq: Programming and Reasoning

✍ Scribed by Loulergue, Frederic; Niculescu, Virginia; Robillard, Simon

Book ID: 126670601
Publisher: IEEE
Year: 2013
Weight: 269 KB
Category: Article
ISBN: 1479927953
DOI: 10.1109/CANDAR.2013.17

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Computing on a Simple Asynchronous Cellular Automaton

✍ Lee, Jia; Peper, Ferdinand; Imai, Katsunobu 📂 Article 📅 2013 🏛 IEEE ⚖ 290 KB

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - TinyCSE: Tiny Computer System for Education

✍ Nakamura, Ryosuke; Ito, Yasuaki; Nakano, Koji 📂 Article 📅 2013 🏛 IEEE ⚖ 294 KB

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - The Flexible Sound Synthesizer on an FPGA

✍ Ochiai, Suguru; Yamaguchi, Yoshiki; Kodama, Yuetsu 📂 Article 📅 2013 🏛 IEEE ⚖ 697 KB

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Recent Advances on Distance Constrained Labeling Problems

✍ Ono, Hirotaka 📂 Article 📅 2013 🏛 IEEE ⚖ 210 KB

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Fuzzy Neural Network-Based Influenza Diagnostic System

✍ Lin, Chun-Ling; Hsieh, Sheng-Ta; Hu, You-Jhong 📂 Article 📅 2013 🏛 IEEE ⚖ 207 KB

[IEEE 2013 First International Symposium

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Template Matching Using DSP Slices on the FPGA

✍ Hashimoto, Kaoru; Ito, Yasuaki; Nakano, Koji 📂 Article 📅 2013 🏛 IEEE ⚖ 694 KB