大约有2,626项符合查询结果项。(搜索耗时:0.0494秒)
为您推荐:
外代数与外微分
微分形式
微分形式导论
代数拓扑中微分形式
微分形式及其应用
微分形式入门
-
吴旭光编著1993 年出版274 页ISBN:7805607524
-
郑祖庥著1994 年出版491 页ISBN:7533613910
-
-
蔡燧林编1991 年出版445 页ISBN:7307009382
-
屈延文编著2010 年出版496 页ISBN:9787030262387
本书较详细地给出了形式语义学的基础理论框架,但它并不是一本纯理论的教材,而是一本理论与软件实践相结合的教材。全书共分十章,介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用,并介...
-
王树禾编著1999 年出版505 页ISBN:7312010601
-
J.Hale2003 年出版366 页ISBN:7506265907
-
钱祥征编1984 年出版480 页ISBN:13204·90
-
侯伯元,侯伯宇著2004 年出版776 页ISBN:
-
尤秉礼编1981 年出版380 页ISBN:13012·0675