Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
卓如编2012 年出版549 页ISBN:7807197331
《冰心全集》(第3版)汇集了冰心先生从1919年至1999年的作品。冰心先生作为现代著名作家、翻译家、学者。她在近八十年的文学文化创造活动及在小说、诗歌、散文、儿童文学、翻译和文艺理论诸方面的重要建树,为...
中国机械工程学会粉末冶金学会筹备委员会编1964 年出版152 页ISBN:15165·2971(一机633)
牛力,邵建东著2015 年出版279 页ISBN:9787506569248
本书以纪实形式真实记录了毛主席在1962的活动。作者将把握以下写作原则:一是以1962年毛泽东的实践活动为主,与1962年之前和之后的实践活动相结合;二是以毛泽东的实践活动为主,与其它老一辈无产阶级革命的活动相...
从非单位到单位 上海非单位人群组织化研究(1949-1962)
杨丽萍著2010 年出版459 页ISBN:9787561780473
本书以单位研究中的社会调控理论,从宏观和微观两种视野,对1949~1962年发生在上海非单位人群身上的以单位化为特点的组织变迁进行全景式的描述。...
并行算法、结构和编程国际研讨会文集 =PROCEEDINGS OF THE INAUGURAL SYMPOSIUM ON PARALLEL ALGORITHMS
ARCHITECTURES AND PROGRAMMING2008 年出版188 页ISBN:9787312022524
本书提供在图这样的组合结构上的一种拓扑理论。作者将图视为一种多面形的集合。引进以面为2-胞腔生成2-链群上的2-空间。连同Lefschets引进的1-空间和2-空间之间的边缘与上边缘运算,从同调与上同调空间导出...