论文部分内容阅读
<百家词>不分卷明吴讷辑明朱丝栏抄本梁启超题识 40册 4函每伴页十二行,行二十字.白口,四周单边.朱丝栏行格,墨笔端楷缮书.
天津图书馆藏善本古籍叙录（四十）
【摘 要】
：
<百家词>不分卷明吴讷辑明朱丝栏抄本梁启超题识 40册 4函每伴页十二行,行二十字.白口,四周单边.朱丝栏行格,墨笔端楷缮书.
【机 构】
：
天津图书馆
【出 处】
：
图书馆工作与研究
【发表日期】
：
2004年4期
其他文献
使用形式化方法对程序进行验证是保证软件可信的重要手段．对于像C语言这样的较低级的命令式语言可以直接对内存进行操作，对其操作语义或公理语义的形式化需要基于合适的内存模
skyline查询是近年来数据库领域的一个研究重点和热点.当系统中存在多个不同维空间上的skyline查询时,现有的工作均直接从底层关系表中获取这些skyline查询的结果集.显然,当
图书馆在网络化和数字化的进程中，读者群将发生变化，适应图书馆现代化的网络读者群将成为新兴群体，而其中的传统阅读型的读者群在相当长时期内存在。图书馆在进行网络化和数字化
国家973计划项目“微生物多细胞体系的设计与合成”研究团队围绕合成微生物多细胞体系的设计与构建原理、适配与调控机制两个关键科学问题开展深入研究，通过微生物多细胞体系
探讨了断层面为曲面条件下断层落差与平错的解析求法,使原有的落差与平错的解析求法成为所推公式在简单地质条件下的特例,对于复杂地质条件下过断层寻找断失盘矿层具有很大的