闲时读书

Foundations of Algebraic Specification and Formal Software Development

相关图书

《阿尔弗雷德·罗森堡日记》希特勒的首席哲学家与第三帝国失窃的秘密
希特勒的“精神导师”、纳粹党“大祭司”阿尔弗雷德•罗森堡有一本私人日记,记录了1934年至1944年间,即希特勒上台的次年至纳粹失败前几个月,罗森堡与希特勒的交往、第三帝国高层的复杂斗争等隐秘内幕,被...
《域外聊斋书系》[套装共9册]
《玄幻故事集》 痴迷于催眠术和超自然现象的阿尔杰农·布莱克伍德是史上最多产的灵异小说作家之一,在其写作生涯中,他创作了大量灵异小说并汇集为十部短篇集,《玄幻故事集》是其中之一。这部短篇集共收录九篇作品...
《会写文案的人都这么写》新媒体写作一本通
近些年通过新媒体写作逆袭和破圈的成功者不胜枚举,他们或写观点文犀利点评,或写带货文合作共赢,或写情感文引发共鸣,或写故事文言志寄情,无不名利双收。那些会写作的人,总是能挖掘更多的商业变现方式、把握更多...