软件与程序设计
-
Java程序设计经典课堂金松河 王捷 李祖贺 宋宝卫本书全面系统地介绍Java语言的相关知识,内容循序渐进,讲解通俗易懂,理论与实践相结合,通过150多个实例帮助读者轻松掌握Java语言编程方法。本书共13章,由浅入深地对Java程序设计语言进行全面讲解,主要内容包括Java语言的特点、Java程序的运行与开发环境、Java语言的基本语法、面向对象编程方法、Java类的定义、成员变量与成员方法、构造方法、Java对象的生成与使用、方法参数传递、访问控制、泛型、常用类和接口、继承与多态性、异常处理、图形用户界面设计、常用Swing组件、输入/输出流、多线程编程、数据库编程、网络编程等。最后通过进销存管理系统的开发设计,使读者不仅可以温故知新,还能提高Java语言的综合编程能力。本书不仅可以作为各类院校和社会培训机构的首选教材,还可以作为Java程序设计自学者和编程爱好者的参考用书。 -
基于Quartus Prime的数字系统Verilog HDL设计实例详解徐宏伟本书以Altera公司全新推出的Quartus Prime 18.1为设计平台,结合大量的实例来介绍基于Verilog HDL的FPGA/CPLD数字系统的设计方法。本书由浅入深地介绍了采用Quartus Prime 18.1进行数字系统开发的设计流程、设计思想和设计技巧。书中实例丰富,既有简单的数字逻辑电路实例、数字系统设计实例,也有复杂的数字控制系统设计实例。 -
从零学Java设计模式[美]米罗斯拉夫·威格纳本书以实用的设计模式为例,讲解了Java近年来在改善语法方面取得的进展,同时在实现这些模式的过程中展示了语言特性、设计模式与平台效率之间的关系。本书涵盖23种传统的设计模式、11种较为常见的模式,以及8种适用于多线程环境的并发模式。另外,本书还简要介绍了15种反模式。作者讲解这些模式的时候不仅给出了简洁、直观的范例代码,而且还利用UML类图与JFR工具展示了运用该模式的程序所具备的架构及运行细节,让读者能够更全面地了解模式对代码结构的影响,以及模式与Java虚拟机的交互情况。本书的特点在于把Java这种成熟的编程语言以及该语言最近新增的特性与各种设计模式结合起来,告诉读者怎样充分发挥Java的特性与优势,从而更好地实现设计模式,避免陷入空谈概念而无法落实的境地。 -
Verilog HDL程序设计教程王金明 王婧菡本书系统讲解Verilog HDL的语言规则、语法体系,以Verilog-2001和Verilog-2005两个语言标准为依据,知识点全面、准确。本书主要内容包括Verilog HDL入门、数据类型、表达式、门级和开关级建模、数据流建模、行为级建模、层次结构、任务与函数、Test Bench测试与时序检查、Verilog设计进阶、Verilog有限状态机设计、Verilog HDL驱动I/O外设、Verilog信号处理实例等。本书可作为电工电子相关专业本科生和研究生的教学用书,也可供从事电路设计和系统开发的工程技术人员参考。 -
大语言模型开发范煜本书旨在帮助读者理解开源大语言模型的架构、训练和推理过程,以及相关的源代码。主要研究对象是Meta开源的Llama模型。本书从Python Numpy实现单层感知机和神经网络开始,逐步讲解了如何实现Transformer模型和Llama模型。此外,本书还介绍了增量预训练模型、监督微调和人类反馈强化学习等模型训练过程。对于私有知识的加入,书中重点介绍了监督微调,也介绍了RAG中词向量的计算。本书采用循序渐进的方式,通过功能框图、代码分解执行、执行结果显示、背景知识补充等手段帮助读者理解模型和算法。本书的核心读者群体定位为大语言模型应用的开发人员,特别适合那些想从计算机视觉转向自然语言处理的人。此外,本书还适合作为大学本科生及研究生相关课程的参考教材使用。 -
Go语言微服务开发实践王德利《Go语言微服务开发实践》循序渐进、由浅入深地讲解了Go语言微服务开发的核心知识,并通过具体实例的实现过程演练了开发Go语言微服务程序的方法和流程。全书共分15章,分别讲解了微服务架构概述,服务注册与发现,分布式配置中心,日志记录与监控,容器化与部署,消息传递与异步通信,远程过程调用,构建RESTful API,统一认证与授权,数据库访问与ORM,事件驱动架构,容错处理与负载均衡,服务网关与API管理,DevOps与持续交付及高并发在线聊天室系统。本书内容简洁、全面,且不失其技术深度,书中以简练的文字介绍了复杂的案例,方便读者学习使用。《Go语言微服务开发实践》适用于已经了解了Go语言基础语法,并想进一步学Go Web开发、Go语言微服务开发、Go语言项目架构的读者,还可以作为高等院校相关专业的师生用书和培训机构的培训教材。 -
基于Go语言的云原生Matthew A. Titmus 著 马晶慧 译本书的各个章节环环相扣,我们将引导Go语言中高级开发人员构建一款简单但功能齐备的分布式键值存储。我们将学习选用Go作为开发语言来解决云原生管理和部署问题的最Z佳实践。本书的主要内容有:了解云原生应用程序与其他软件架构有何不同。了解如何利用Go语言解决设计可扩展的分布式服务的各种难题。利用Go语言的底层特性(例如通道和go协程)来实现可靠的云原生服务。探讨什么是“服务可靠性”及其与“云原生”的关系。利用各种模式、抽象和工具来构建和管理复杂的分布式系统。 -
数学建模与数学规划刘兴禄 等本书主要从数学规划的视角出发,系统地介绍了数学优化问题建模和求解的相关理论、方法、实际案例,以及基于 Python 和数学规划求解器(COPT 和 Gurobi)的编程实战。全书共分为四部分。第一部分为基本理论和建模方法,重点介绍了数学规划模型分类和建模方法(包括逻辑约束与大 M 建模方法、线性化方法)以及计算复杂性理论。第二部分为建模案例详解,通过理论、案例和实战相结合的方式,详细介绍了如何利用各种建模方法和数学规划求解器对实际生产活动中的优化问题进行建模和求解。这部分内容丰富,案例翔实,代码完整,旨在提高读者的实战能力。第三部分和第四部分聚焦于编程实战,主要讲解如何使用 COPT 和 Gurobi 求解器进行数学规划模型的编程求解。这两部分内容涵盖了调用数学规划求解器的各种高级用法,可以满足读者实现定制化求解的需求。本书适合用作运筹学、数学建模、最优化理论、离散优化等相关课程的高年级本科生、研究生的参考教材,也可供从事数学规划、运筹学、物流与供应链等领域的科研人员、算法开发人员,以及各类数学建模竞赛的参赛者阅读。 -
Web 3 中的零知识证明高承实基于当前 Web 3 世界的快速发展,零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了 Web 3 的发展,以及当前的表现形态,第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么,以及如何构建零知识证明。第4章从技术层面介绍了 Web 3 世界中零知识证明的主流实现方案,第5章从应用层面介绍了零知识证明在 Web 3 世界中的一些典型应用,第6章介绍了零知识证明在其他领域的应用及展望。本书定位为科普读物,面向的读者包括但不限于 Web 3 领域的从业者、对零知识证明感兴趣的学生及业内人士。 -
循序渐进Vue.js 3.x前端开发实践张益珲《循序渐进Vue.js 3.x前端开发实践》由一位拥有丰富前端开发经验的架构师撰写,旨在通过详尽的理论知识讲解和丰富的实践练习,帮助初学者深入掌握Vue.js框架,并能够独立开发商业级别的Web应用程序。本书分为14章,内容涵盖Vue.js的基本概念、模板语法、组件使用、用户交互处理、动画效果实现、脚手架工具Vite的使用,以及如何利用UI框架Element Plus、网络请求框架Axios、路由管理框架Vue Router和状态管理框架Pinia等工具来构建商业级应用。最终章节通过一个完整的电商后台管理系统,对所学的知识进行综合运用,加深读者对Vue.js开发流程和技巧的理解,提高项目开发能力。《循序渐进Vue.js 3.x前端开发实践》采用官方推荐的组合式API代码组织方式,所有涉及的工具都使用新版本,每章均配备了动手练习和上机演练指导。此外,为了适应不同层次的读者,《循序渐进Vue.js 3.x前端开发实践》提供了完整的代码导读手册和视频教学资源,使学习更加便捷高效。《循序渐进Vue.js 3.x前端开发实践》适合Vue.js前端开发新手和有一定经验的开发者使用,也很适合作为大中专院校相关课程的教学用书。
