博库新华书城纽约网

现代类型论的发展与应用
所属分类：电子电脑>>计算机技术>>信息处理与专用数据库作者：(英)罗朝晖|责编:袁勤勇//杨枫出版社：清华大学
本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的基础语言。本书介绍了现代类型论（及其元理论），并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面的应用，进一步展示了使用现代类型论作为基础语言的优势。本书适合研究自然语言语义学、计算机科学和逻辑学等领域的学者及研究生和对相关内容感兴趣的读者。
售价：30.60

精通Unreal游戏引擎(游戏设计与开发)
所属分类：电子电脑>>计算机技术>>信息处理与专用数据库作者：(英)沙哈|责编:陈冀康|译者:王晓慧出版社：人民邮电
Unreal Engine是目前世界知名度高、应用广泛的游戏引擎之一，最新版本的 Unreal Engine 4所推出的编辑器Blueprints是使用基于节点的交互界面来创建游戏元素和关卡。该系统非常强大且灵活，为设计人员提供了一款高效的设计工具。本书作者有超过10年的游戏设计开发经验，他用具体案例深入浅出地介绍了Unreal Engine 4 Blueprints。本书通过39个步骤引导读者掌握开发技巧，从项目创建开始，学会使用蓝图并操纵蓝图中的摄像机，然后创建自己的控件、灯光以及导航网络等，同时配合以项目间的资源调动，最终完成了点击式冒险游戏的开发。本书以简洁、有趣的方式讲解Unreal Engine 4 Blueprints，适合所有想开发电子游戏的读者，以及想要学习Unreal Engine 4游戏引擎的读者参考阅读。
售价：22.41

UNREAL ENGINE5蓝图可视化脚本游戏开发完全学习教程(典藏中文版全彩印刷)
所属分类：电子电脑>>计算机技术>>信息处理与专用数据库作者：(英)马科斯·罗梅罗//布伦登·塞韦尔|责编:邱叶芃|译者:未蓝文化出版社：中国青年
虚幻引擎的蓝图可视化脚本系统可以让设计师非常便捷地为游戏编写脚本，同时允许程序员创建可由设计师扩展的基本元素。在这本书中，我们将探索蓝图编辑器的所有功能，并了解相关的专家提示、快捷方式和最佳实践。本书将指导我们使用变量、宏和函数，并帮助我们学习面向对象编程（OOP）。我们将了解游戏框架，并深入学习如何通过蓝图通信使一个蓝图访问另一个蓝图的信息。后面的章节将重点介绍如何一步一步地构建一个功能齐全的游戏。我们将从一个基本的第一人称射击游戏模板开始，每一章都以此为基础，创建出越来越复杂和强大的游戏体验。然后，我们将从创建基本的射击机制发展到更复杂的系统，如用户界面元素和智能敌人行为等。本书演示了如何使用数组、映射、枚举和向量运算，并介绍了虚拟现实游戏开发所需的元素。在最后的章节中，我们将学习如何实现过程生成和创建产品配置器。在本书的结尾，我们将学会如何构建一款功能完备的游戏，并具备为用户开发有趣体验所需的技能。
售价：75.60

沉浸式技术(引领未来商业世界)(精)
所属分类：电子电脑>>计算机技术>>信息处理与专用数据库作者：(英)杰里米·道尔顿|责编:付凯|译者:陈少芸出版社：原子能
增强现实（AR）和虚拟现实（VR）是新一波沉浸式技术浪潮的一部分，为企业、跨行业提供了巨大的机会，任何规模的企业都可以将这些新技术立即应用于以下领域，包括： ·学习和开发 ·远程协作和协助 ·远程资产和环境的可视化 ·销售和市场营销 ·消费者行为研究本书帮助人们消除对增强现实和虚拟现实的常见误解，比如它们过于昂贵或难以扩展，并详细说明了商业领袖如何将它们整合到他们的业务中，以提供更高效、更具影响力和成本效益的业务解决方案。作者使用来自思科、福特、葛兰素史克、西甲和沃达丰等世界各地组织的案例研究，展示了沉浸式技术的实际应用。
售价：35.55

Vue.js应用测试/Web开发技术丛书
所属分类：电子电脑>>计算机技术>>信息处理与专用数据库作者：(英)埃德·耶伯格|责编:刘锋|译者:李宏凯//李冬梅出版社：机械工业
丛书项：Web开发技术丛书
本书由Vue官方测试工具作者亲笔撰写，是一本为 Vue应用程序开发者提供程序测试指导的完全学习指南，适用于不同能力水平的Vue应用程序开发者。本书通过从零编写HackerNews应用程序的方式，详细阐述 Vue.js应用程序在每个开发阶段所适用的测试技巧，完整展示编制Vue.js应用程序测试套件所需的必备技能。全书共14章，第1章介绍自动化测试和Vue框架；第2章介绍单元测试；第3章讨论如何编写单元测试来检查组件输出；第4章解释如何测试方法；第5章讨论测试事件，包括原生DOM事件和自定义Vue事件；第6章和第7章介绍Vuex并讨论如何测试Vuex；第8章讨论使用工厂函数优化测试文件结构；第9章和第10章介绍 Vue Router并讨论如何使用及测试Vue Router；第11 章讨论如何测试mixin和过滤器(filter)；第12章介绍快照测试；第13章介绍服务端渲染(SSR)并讨论如何测试服务端渲染应用程序；第14章介绍如何编写端到端测试。此外，附录部分还提供了开发环境安装、生产构建运行和练习题答案。
售价：35.55

商品分类