编程与类型系统

最新上架

• 会员

  C语言最佳实践

  本书是魏永明近30年来开发和维护MiniGUI、HVML等开源项目的经验总结，旨在帮助有一定C程序编写经验的软件工程师在短时间内有效提高设计能力和编码水平。全书分为？3？篇。基础篇从可读性和可维护性出发，阐述了如何提高代码的可读性、用好写好头文件、正确理解编译警告并消除潜在问题、定义和使用常量等，介绍了如何有效利用构建系统生成器（CMake）来维护项目；模式篇阐述了常见的C程序接口设计模式，说明了

  魏永明计算机19.6万字
• 会员

  Java基础案例教程（第2版）

  本书是Java入门书籍，适合初学者使用。全书共13章，第1章主要讲解Java的特点与发展史、JDK的使用、Java程序的编写与运行机制、Java开发环境的搭建等；第2～6章主要讲解Java编程基础知识，包括Java基本语法、面向对象、JavaAPI和集合；第7～12章主要讲解Java进阶知识，包括I/O、多线程、网络编程、JDBC、GUI、Java反射机制；第13章带领读者开发一个综合项目——基

  黑马程序员编著计算机20万字
• 会员

  Go语言从入门到精通

  本书主要内容包括Go语言简介、开发环境准备、快速基础入门、数学科学领域的计算、开发一个自己的日常命令行工具、文件处理、数据格式分析与转换、正则表达式、并发处理、数据采集和清理应用、网络服务端应用、Web服务器、加密解密领域应用、网络提供的各种API、常用Go语言技术的示例与研究、实用函数实例等。安排了大量实例代码，介绍相关编程知识。

  谢琼编著计算机27万字
• 会员

  Java编程从入门到精通

  本书立足于新工科和工程教育，从工程应用和实践者的视角，全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章，主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校

  胡平 刘涛主编计算机21万字
• 会员

  开源心法

  本书全面介绍了华为在开源领域的实践和思考。首先，在认识开源部分，深入介绍了开源的起源、发展历程和底层逻辑；其次，在拥抱开源部分，揭示了华为积极参与和贡献开源的方式；然后，在践行开源部分，详细展示了华为在开源领域的具体实践和贡献；最后，在开源心法部分，深入探讨了华为对开源理念、价值观的理解和思考。此外，本书还剖析了开源产业、生态及文化的未来走向。本书旨在提供一个全面、深入的视角，让读者了解华为在开源

  任旭东等计算机16.7万字
• 会员

  Web前端开发技术：HTML、CSS、JavaScript（第3版）

  本书全面介绍了Web标准的三个主要组成部分：HTML、CSS和JavaScript。循序渐进的讲述Web开发所涉及的三大前端技术的内容、应用技巧以及它们的综合应用。每部分都配置了大量的实用案例，图文并茂，效果直观。全书共21章，分为四个部分。在HTML部分，系统介绍了主要讲述了主要讲述了HTML基本概念、常用文本标签、文档结构标签、在网页中插入多媒体内容、列表、DIV标签、元素类型、在网页中创建超

  聂常红编著计算机13.2万字
• 会员

  Java EE企业级应用开发教程：Spring+Spring MVC+MyBatis（第2版）

  本书详细讲解JavaEE中Spring、SpringMVC和MyBatis三大框架（以下简称SSM）的基本知识和应用。本书在对知识点进行描述时采用了大量案例，以便读者理解SSM的核心技术。本书共15章，第1~5章主要讲解MyBatis的相关知识，包括初识MyBatis框架、MyBatis的核心配置、动态SQL、MyBatis的关联映射和缓存机制，以及MyBatis的注解开发；第6～9章主要讲解

  黑马程序员编著计算机15.8万字
• 会员

  量子计算实战

  在加密、科学建模、制造物流、金融建模和人工智能等领域，量子计算可以极大提升解决问题的效率。量子系统正变得越来越强大，逐渐可用于生产环境。本书介绍了量子计算的思路与应用，在简要说明与量子相关的科学原理之后，指导读者实现量子计算算法。本书将带领读者使用基于Java的Strange量子模拟器编写量子程序，并探索量子位和量子逻辑门。在介绍标准Java和构建工具创建量子算法的同时，本书还引入了有趣的示例和深

  (比)约翰·沃斯计算机10.5万字
• 会员

  Java高级程序设计

  本书系统地介绍了Java语言高级程序设计内容，主要包括Java集合框架、异常处理、输入/输出流、多线程、网络编程、图形用户界面程序设计、泛型、JDBC编程、Java8新特性。本书所有知识点都结合具体实例进行分析，既注重理论介绍，又强调实际应用，从实用的角度精心设计知识结构和代码示例，同时每章后面配有相应习题。本书可作为普通高等院校计算机及相关专业Java程序设计课程的教材，也适合程序开发人员学习

  周化祥 许金元主编计算机8.8万字