✦ LIBER ✦

Interfacing Coq + SSReflect with GAP

✍ Scribed by Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Indium interaction with GaP (110): examp

✍ Th Chassé; R Cimico; K Horn; W Braun 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 390 KB

Adhesion of two elastic conforming solid

✍ Chumak, K.; Chizhik, S.; Martynyak, R. 📂 Article 📅 2014 🏛 Taylor and Francis Group 🌐 English ⚖ 357 KB

Photovoltaic properties in CdS/CdTe thin

✍ B.T. Boiko; G.S. Khripunov; V.B. Yurchenko; H.E. Ruda 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 276 KB

Band gaps of elastic waves in 1-D phonon

✍ Min Zheng; Pei-jun Wei 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 361 KB

Modified gap states in Fe/MgO/SrTiO3 int

✍ Shin, Hyung-Joon; Kim, Seong Heon; Yang, Heejun; Kuk, Young 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 909 KB

Turbine endwall film cooling with combus

✍ Yang Zhang, Xin Yuan 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 706 KB