计算机
计算机科学概论(第12版)
Computer Science: An Overview (12th Edition) Douban
[美] J.Glenn Brookshear / [美] Dennis Brylow translator: 刘艺 / 吴英 … publishing house: 人民邮电出版社 2017 - 1
《计算机科学概论》是计算机科学概论课程的经典教材,全书对计算机科学做了百科全书式的精彩阐述,充分展现了计算机科学的历史背景、发展历程和新的技术趋势。《计算机科学概论》首先介绍的是信息编码及计算机体系结构的基本原理,进而讲述操作系统和组网及因特网,接着探讨算法、程序设计语言及软件工程,然后讨论数据抽象和数据库方面的问题,讲述图形学的一些主要应用以及人工智能,以计算理论的介绍结束全书。《计算机科学概论》在内容编排上由具体到抽象逐步推进,很适合教学安排,每一个主题自然而然地引导出下一个主题。此外,书中还包含大量的图、表和示例,有助于读者对知识的了解与把握。 第12版主要是将Python程序设计语言方面的介绍纳入了重点章节,除了增加与Python相关的内容,几乎每一章都能看到对前一版对应章节的修订、更新以及修正。
算法(第4版)
Algorithms (4/e) Douban
★ 9.5 26 ratings
[美] Robert Sedgewick / [美] Kevin Wayne translator: 谢路云 publishing house: 人民邮电出版社 2012 - 10
本书全面讲述算法和数据结构的必备知识,具有以下几大特色。  算法领域的经典参考书 Sedgewick畅销著作的最新版,反映了经过几十年演化而成的算法核心知识体系  内容全面 全面论述排序、搜索、图处理和字符串处理的算法和数据结构,涵盖每位程序员应知应会的50种算法  全新修订的代码 全新的Java实现代码,采用模块化的编程风格,所有代码均可供读者使用  与实际应用相结合 在重要的科学、工程和商业应用环境下探讨算法,给出了算法的实际代码,而非同类著作常用的伪代码  富于智力趣味性 简明扼要的内容,用丰富的视觉元素展示的示例,精心设计的代码,详尽的历史和科学背景知识,各种难度的练习,这一切都将使读者手不释卷  科学的方法 用合适的数学模型精确地讨论算法性能,这些模型是在真实环境中得到验证的  与网络相结合 配套网站algs4.cs.princeton.edu提供了本书内容的摘要及相关的代码、测试数据、编程练习、教学课件等资源
Elixir in Action
Saša Jurić Douban
Saša Jurić publishing house: Manning Publications 2015 - 5
Erlang is a development platform, proven in large systems for more than two decades, that offers highly-efficient concurrency, scalability, and fault-tolerance. Elixir is a modern programming language that takes advantage of the Erlang Virtual Machine without the complex syntax and conventions of the Erlang language. The Elixir language offers Ruby-like elegance along with the power to develop bulletproof scalable, fault tolerant, distributed server systems that can handle massive numbers of simultaneous clients and run with almost no downtime. Elixir in Action teaches you to apply the new Elixir programming language to practical problems associated with scalability, concurrency, fault-tolerance, and high-availability. This book starts with a quick overview of the Elixir language, mapping familiar language concepts to the Elixir syntax. Then, you'll learn to think about problems from the Elixir mindset, which builds on the model of functional-style programming. With a solid foundation, you'll confidently explore Elixir's seamless integration with the Erlang Virtual Machine and supporting OTP library that offers battle-tested, industry proven abstractions you can use immediately in your applications. Finally, the book provides guidance on how to create deployable releases, distribute the system over multiple machines, and control the running system in production.
Programming Phoenix ≥ 1.4
Douban
Chris McCord / Bruce Tate … publishing house: Pragmatic Bookshelf 2019 - 9
Don't accept the compromise between fast and beautiful: you can have it all. Phoenix creator Chris McCord, Elixir creator Jose Valim, and award-winning author Bruce Tate walk you through building an application that's fast and reliable. At every step, you'll learn from the Phoenix creators not just what to do, but why. Packed with insider insights and completely updated for Phoenix 1.3, this definitive guide will be your constant companion in your journey from Phoenix novice to expert, as you build the next generation of web applications. Phoenix is the long-awaited web framework based on Elixir, the highly concurrent language that combines a beautiful syntax with rich metaprogramming. The best way to learn Phoenix is to code, and you'll get to attack some interesting problems. Start working with controllers, views, and templates within the first few pages. Build an in-memory context, and then back it with an Ecto database layer, complete with changesets and constraints that keep readers informed and your database integrity intact. Craft your own interactive application based on the channels API for the real-time applications that this ecosystem made famous. Write your own authentication plugs, and use the OTP layer for supervised services. Organize code with modular umbrella projects. This edition is fully updated for Phoenix 1.3, Elixir 1.3, and Ecto 2.1, with a new chapter on using Channel Presence to find out who's connected, even on a distributed application. Use the new generators and the new ExUnit features to organize tests and make Ecto tests concurrent. This is a book by developers and for developers, and we know how to help you ramp up quickly. Any book can tell you what to do. When you've finished this one, you'll also know why to do it.
The Little Schemer
Douban
★ 9.0 5 ratings
[美] Daniel P. Friedman / [美] Matthias Felleisen translator: 卢俊祥 publishing house: 电子工业出版社 2017 - 7
《The Little Schemer:递归与函数式的奥妙》是一本久负盛名的经典之作,两位作者Daniel P. Friedman、Matthias Felleisen在程序语言界名声显赫。《The Little Schemer:递归与函数式的奥妙》介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、Partial Function、Y-Combinator、Interpreter等内容,并通过这些内容阐述了计算的一般本质。《The Little Schemer:递归与函数式的奥妙》没有什么理论性描述,所有概念都蕴含在独特的引导式一问一答过程中,这种方式让读者对程序大师运用熟稔的程序方法来驾驭概念的能力叹为观止。 通过阅读《The Little Schemer:递归与函数式的奥妙》,可以让读者领略递归的奥妙、函数式编程风格的魅力。阅读完毕会有一种意犹未尽的感觉。 《The Little Schemer:递归与函数式的奥妙》适合所有程序员阅读,特别是函数式编程爱好者。好好享用!
计算机底层的秘密
Douban
陆小风(@码农的荒岛求生) publishing house: 电子工业出版社
《计算机底层的秘密》以图解的方式通俗易懂地讲解计算机系统中各项技术的本质,包括编程语言的本质是什么、操作系统、进程线程协程等的本质是什么、到底什么是内存、什么是堆区栈区、内存分配等是怎么一回事、怎样从晶体管构建出CPU、I/O是如何实现的等等,从根源出发,一步步讲解一项技术到底是怎么来的,同时内容可视化——辅助大量精心设计的插图,几乎做到了平均一页有一图,把对技术的理解门槛尽量降低。