澳大利亚新华书店网

反应式和并发系统的时序逻辑
所属分类：电子电脑>>计算机技术>>程序与语言作者：(美)佐哈尔·曼纳//(以)艾米尔·伯努利|责编:安妮|译者:张广泉出版社：清华大学
反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。本书是国际著名计算机科学家Zohar Manna和Amir Pnueli（图灵奖得主）的代表作，适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、研究生的教材或参考书，也可供相关领域的研究人员和技术开发人员参考。
售价：31.60

Scala程序设计/面向数字经济时代中关村软件园专创融合实践教育系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:智酷道捷内容与产品中心|责编:汪敏//包宁出版社：中国铁道
丛书项：面向数字经济时代中关村软件园专创融合实践教育系列
本书循序渐进地介绍了 Scala编程语言的相关知识，共分为10章，首先详细介绍了Scala的一些基础知识，然后进一步介绍了Scala 的数据类型、基本运算、内建控制、类和对象、自适应类型和函数等知识；另外，本书还介绍了Scala继承和多态、权限和集合、映射和模式匹配等，并系统地介绍了如何与Java进行互操作。本书案例简便易学，实用性强。本书适合作为高等院校计算机相关专业程序设计课程的教材，也可作为Scala 技术的培训用书。
售价：19.20

数据科学的可视化--Python与R的实现(大数据时代的统计与人工智能系列教材)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:吴喜之//张敏|责编:吴淑丽出版社：高等教育
在数据分析的每一个阶段，从对数据的认识及分析规划开始，一直到最终结果，都应该尽可能地使用可视化技术，数据处理的每一步中间结果的直观认识都对下一步决策有重要意义。本书基于R和Python绘图的基本技能，不仅介绍了初等数据描述中的可视化，而且把大部分篇幅贡献给更深层次的数据建模过程中各阶段的可视化。本书既可作为本科各专业可视化的入门课程教材，也可供广大实际工作者参考。
售价：23.92

Python程序设计与人工智能基础(AI时代高等学校通识教育系列教材)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:杨玉军|责编:黄芝//李燕出版社：清华大学
本书主要介绍Python的基础知识、程序设计方法和人工智能的基本概念，从 Python的基础知识到程序设计方法、网络爬虫、数据处理、文本情感分析与可视化，再到人工智能的基本概念与实践，由浅入深，由部分到整体，由面向过程到面向对象，对读者来说易学易用。本书通过案例教学，用 Python编程解决生活中常见的问题，包括求一个三位数各数字之和、包裹邮寄费用计算、设计简易计算器、模拟评委评分、人机猜拳游戏等基础实验案例和两个综合项目：数字化学生信息管理系统和弹幕情感分析与可视化。除此之外，本书的内容紧跟新技术发展，使读者学到的知识系统、全面且不易过时。本书提供配套微课视频、教学大纲、教学课件、程序源码等资源，以帮助读者更好地学习本书中的内容。此外，还提供在线答疑服务，以期得到更多读者的支持。本书既可作为高校计算机相关专业的教材，也可作为相关技术爱好者的入门参考书。
售价：27.92

大数据时代的数据仓库理论与实践(普通高等教育大数据管理与应用专业系列教材)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:霍灵瑜//袁瑞萍//陈亚红|责编:王玉鑫出版社：机械工业
随着计算机技术的发展，数据处理和分析技术也在不断进步。随着社会变化的速度加快，对数据的实时性和即时性要求也在提高。本书围绕数据仓库的建设和应用展开，内容涵盖了数据仓库的基本概念、操作数据层、数据集市、指标设计及展现、设计数据仓库、数据仓库与大数据技术、数据仓库与数据中台、数据治理等。本书适用于大数据专业的相关读者，无论是对于刚刚接触数据仓库的初学者，还是对于已经在数据仓库领域有一定经验的专业人士，本书都将提供有价值的参考和指导，帮助读者更好地理解和应用数据仓库技术，从而为企业的发展和决策提供更加可靠的支持。
售价：15.60

Python程序设计(基于计算思维和新文科建设)/新时代新文科新工科数字经济高质量人才培养系列
所属分类：电子电脑>>计算机技术>>程序与语言作者：胡凤国|责编:章海涛出版社：电子工业
丛书项：新时代新文科新工科数字经济高质量人才培养系列
本书是面向初学者的 Python入门书，强调基础知识，兼顾实践应用。基础篇介绍Python程序设计的入门知识，共12章，重点包括： Python介绍、安装和运行； Python的基本概念（对象、数据类型、变量、表达式、内置函数）；输入和输出；程序设计的基本结构；函数和类；序列操作（列表、元组、集合、字典）；字符串；正则表达式；文件读写；目录与文件操作；常用标准库。排错篇总结初学者常遇到的错误并介绍程序调试方法，包含2章：Python错误类型、Python代码调试。本书为读者提供完整的教学资料包。作为学习的完整架构，与本书内容相关的文本篇和应用篇以电子出版物形式出版。本书适合作为高等院校文科类各专业学生学习 Python和大数据应用的教材，也可供相关从业人员学习参考。
售价：27.20

Python与人工智能编程--基础与实验(微课视频版大数据与人工智能面向数字化时代高等学校计算机系列教材)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:张敏|责编:葛鹏程//薛阳出版社：清华大学
本书主要面向Python编程零基础初学者，将基础知识归纳为5部分：Python编程基础、重要的第三方库、机器学习基础与Scikit-learn 框架、深度学习基础与 PyTorch框架、基于大语言模型的自然语言处理编程。本书具有实例丰富、操作性强、简单易学等特点。为了有效提升初学者的人工智能编程能力，强调“做中学”，将5部分基础知识设计成26个上机实验，同时为每个实验部分安排实验作业，便于读者对人工智能基础知识的理解和掌握。本书可作为高等院校计算机类相关专业的“人工智能”等课程的教材，也可作为感兴趣读者的自学读物，还可作为相关行业技术人员的参考用书。
售价：19.92

数据库原理及应用教程(MySQL8.0微课视频题库版面向数字化时代高等学校计算机系列教材)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:尹志宇|责编:王冰飞//吴彤云出版社：清华大学
本书全面讲述了数据库的基本原理和MySQL的应用。全书以理论够用、实用，实践第一的原则，使读者能够快速、轻松地掌握MySQL 数据库技术与应用。第1～3 章讲述数据库的基本理论知识，包括数据库系统概述、关系数据库系统和数据库设计；第4～12章讲述数据库管理系统MySQL 8.0的应用，包括MySQL基础，数据库和表的操作，数据库查询，视图和索引，MySQL编程，游标、触发器和事件，事务与并发控制，数据库的安全管理，数据库的备份与恢复；第13章介绍基于Java Web的数据库应用系统开发过程。本书理论与实践相结合，既阐述了数据库的基本理论，又结合了MySQL数据库管理系统的应用。本书内容翔实，实例丰富，图文并茂，体系完整，通俗易懂，有助于读者理解数据库的基本概念，掌握要点，攻克难点。为便于学习，本书还配有丰富的习题和实验。本书可作为高等学校计算机科学与技术、计算机信息管理、软件工程、电子商务及其他相关专业“MySQL 数据库”课程的教材和参考书，也可作为培养数据库系统工程师的培训教材，还可作为数据库管理人员及数据库应用系统开发人员的参考书。
售价：23.92

系统集成项目管理工程师考试32小时通关(第3版全国计算机技术与软件专业技术资格水平考试备考用书)
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:薛大龙|责编:王开云出版社：中国水利水电
系统集成项目管理工程师考试是全国计算机技术与软件专业技术资格（水平）考试（简称“软考”）的中级资格考试，通过系统集成项目管理工程师考试可获得中级工程师职称。软考目前已经变为机考，本书在全面分析知识点的基础之上，结合第3版考试大纲对机考的要求，对整个内容架构进行了科学重构，可以极大地提高考生的学习效率。尤其是针对单选题、案例分析题的核心考点，分别从理论与实践方面进行了重点梳理。通过学习本书，考生可掌握考试的重点，熟悉试题形式及解答问题的方法和技巧等。本书可供备考系统集成项目管理工程师考试的考生学习参考，也可供各类培训班使用。
售价：23.20

商品分类