周巢尘，詹乃军著2017 年出版150 页ISBN：9787030533838
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...
姬乃军著1993 年出版170 页ISBN：7224029440
介绍的国际友人中既有世界著名的斯诺、史沫特莱、斯特朗、白求恩、柯棣华、马海德、路易·艾黎
刘桂祥，詹乃德著2017 年出版233 页ISBN：9787501456185
本书是一本人物传记，讲述了清末民初一代武学大师孙禄堂如何与当时武林同道一起弘扬传统武学、振奋尚武精神，以便强国强民、挽救当时的危局。同时，也描写了孙禄堂融贯太极拳、形意拳和八卦掌，最终创立孙氏拳学的...
