从工具到环境和主体II ---软件

小毛叔
来自: 小毛叔 2025-02-15 18:54:02创建   2025-11-22 17:07:50更新
数字化就是把拥有子孙级赛博系统群组的物理社会系统企业转变为社会赛博物理系统企业。系统和网络技术与设备已经从企业发展辅助要素变成了基础要素。
这个豆列主要收集软件部分。计算机系统的其他部分另列。环境部分：信息与数字浪潮详见数字化书单。。
2 人关注
全部(2307)
来自：豆瓣读书
Introduction to the Theory of Programming Languages
(2人评价)
作者: Gilles Dowek / Jean-Jacques Lévy
出版社: Springer
出版年: 2010-12-15
回复
来自：豆瓣读书
Introduction to Theoretical Computer Science
(1人评价)
作者: 马希文 / Xiwen Ma
出版年: 1990
回复
来自：豆瓣读书
Concepts of Programming Languages
8.2 (16人评价)
作者: Robert W. Sebesta
出版社: Addison Wesley
出版年: 2012-1-16
回复
来自：豆瓣读书
Essentials of Programming Languages, 3rd Edition
9.4 (102人评价)
作者: Daniel P. Friedman / Mitchell Wand
出版社: The MIT Press
出版年: 2008-04-30
回复
来自：豆瓣读书
A Little Java, A Few Patterns
8.4 (94人评价)
作者: Matthias Felleisen / Daniel P. Friedman
出版社: The MIT Press
出版年: 1997-12-19
回复
来自：豆瓣读书
Scheme and the Art of Programming
9.6 (17人评价)
作者: George Springer / Daniel P. Friedman
出版社: Mit Pr
出版年: 1989-10
回复
来自：豆瓣读书
The Little LISPer, Third Edition
8.4 (15人评价)
作者: Daniel P. Friedman / Matthias Felleisen
出版社: Prentice Hall
出版年: 1989-3-30
回复
来自：豆瓣读书
Parallel and Concurrent Programming in Haskell
9.9 (19人评价)
作者: Simon Marlow
出版社: O'Reilly Media
出版年: 2013-8-15
回复
来自：豆瓣读书
算法新解
8.8 (94人评价)
作者: 刘新宇
出版社: 人民邮电出版社
出版年: 2016-12
回复
来自：豆瓣读书
Programming Languages
8.9 (31人评价)
作者: Shriram Krishnamurthi
出版年: 2007
回复
来自：豆瓣读书
Computability and Complexity
(9人评价)
作者: Neil D. Jones
出版社: The MIT Press
出版年: 1997-01-15
回复
来自：豆瓣读书
Basic Category Theory for Computer Scientists
7.8 (19人评价)
作者: Benjamin C. Pierce
出版社: The MIT Press
出版年: 1991-8-7
回复
来自：豆瓣读书
Implementing Functional Languages
(6人评价)
作者: Simon L. Peyton Jones / David R. Lester
出版社: Prentice Hall
出版年: 1992-8
回复
来自：豆瓣读书
Introduction to Higher-Order Categorical Logic
(5人评价)
作者: J. Lambek / P. J. Scott
出版社: Cambridge University Press
出版年: 1988-3-25
回复
来自：豆瓣读书
Type-driven Development with Idris
9.3 (16人评价)
作者: Edwin Brady
出版社: Manning Publications
出版年: 2017-3-31
回复
来自：豆瓣读书
From Mathematics to Generic Programming
8.2 (29人评价)
作者: Alexander Stepanov / Daniel Rose
出版社: Addison-Wesley Professional
出版年: 2011-9-13
回复
来自：豆瓣读书
Mathematical Logic
8.8 (40人评价)
作者: H.-D. Ebbinghaus / J. Flum / W. Thomas
出版社: Springer
出版年: 1996-11-15
回复
来自：豆瓣读书
数理逻辑
9.3 (94人评价)
作者: [德] H.-D. Ebbinghaus / [德] J. Flum / [德] W. Thomas
出版社: 世界图书出版公司
出版年: 2008-5
回复
来自：豆瓣读书
Category Theory for the Sciences
(9人评价)
作者: David I. Spivak
出版社: The MIT Press
出版年: 2014-10-10
回复
来自：豆瓣读书
Real World OCaml
9.4 (65人评价)
作者: Jason Hickey / Anil Madhavapeddy / Yaron Minsky
出版社: O'Reilly Media
出版年: 2013-3-22
回复
来自：豆瓣读书
Semantics Engineering with PLT Redex
(5人评价)
作者: Matthias Felleisen / Robert Bruce Findler / Matthew Flatt
出版社: The MIT Press
出版年: 2009-08
回复
来自：豆瓣读书
Handbook of Philosophical Logic
(3人评价)
作者: Gabbay, Dov M.; Guenthner, F.; Guenthner, Franz
出版年: 2013-7
回复
来自：豆瓣读书
命名与必然性
8.3 (215人评价)
作者: [美] 索尔·克里普克 / 索尔·阿伦·克里普克
出版社: 上海译文出版社
出版年: 2005-9
回复
来自：豆瓣读书
Dynamic Logic
(3人评价)
作者: David Harel / Dexter Kozen / Jerzy Tiuryn
出版社: The MIT Press
出版年: 2000-10-02
回复
来自：豆瓣读书
Gödel's Proof
(3人评价)
作者: Ernest Nagel / James Newman
出版社: NYU Press
出版年: 2008-10-1
回复
<前页 1 2 3 4 5 6 7 8 9 ... 92 93 后页>

什么是书单  · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。

这个书单的标签  · · · · · ·

软件工程 数据库 算法 数字化

小毛叔的其它豆列  · · · · · ·  ( 全部 )