Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN:3540340211
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN:0444702660
Computers as Components Principles of Embedded Computing System Design
2005 年出版656 页ISBN:9780123694591
advances in theoretical and experimental research of high temperature cuprate superconductivity=铜氧化物
韩汝珊主编2014 年出版519 页ISBN:7301242425
铜氧化物高温超导发现二十多年来,各种测试涉及凝聚态的所有相关手段提供了巨量的结果。特别是近十多年来样品质量的改进、仪器分辨率的提高,以及新的测试技术的出现,使得提供的结果渐渐趋于收敛,并且更加细致详...