这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。
这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。
这是一本专注于用户研究和用户体验的经典读物，同时也是一本容易上手的实战手册，从实践者的角度，着重讨论和阐述了用户研究的重要性、主要的用户研究方法和工具，同时借助于实例介绍了相关的应用。全书共3部分18章，深度剖析了何为的用户设计，用户体验包括哪些研究方法和工具，如何得出和分析用户体验调查结果等。 本书适合设计人员和高等院校设计类学生阅读和参考，也适合任何一个希望有所建树的各界策划和设计人员阅读。
数系的扩充始终贯穿于数学理论的发展之中.本书利用交互式定理证明工具Coq, 在Morse-Kelley 公理化集合论形式化系统下,给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统, 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现, 构建了非标准实数模型, 自然包含标准实数模型, 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中,定理无例外地给出Coq的机器证明代码, 所有形式化过程已被Coq验证, 并在计算机上运行通过, 充分体现了基于Coq 的数学定理机器证明具有可读性、交互性和智能性的特点, 其证明过程规范、严谨、可靠. 该系统可方便地应用于非标准分析理论的形式化构建.本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或
![【全新正版书籍】 计算机组成与体系结构:性能设计(英文版·原书第11版) [美]威廉·斯托林斯 机械工业出版社](http://img3m8.ddimg.cn/5/26/11852748968-1_l.jpg)
本书系统地分析和描述数字信息与智能、智慧之间的关系，明确提出“智慧源自信息、智能起于智慧”的学术观点。本书同时描述智慧的内涵和外延及其特性，并进行特性的分析和阐述。书中阐述信息系统中各个环节、各个子系统的智能表现内容、特性、技术要点等，描述一些未来发展的趋势，书中还对相关的实际案例进行分析和描述。
随着数字化、网络化、智能化时代的到来，社会产业的创新逻辑迎来了重要变革，以互联网、大数据、人工智能为基础的科技革命带动了全球价值链和国际分工的变化。《群智创新设计》充分顺应产业需要和时代需求，将人工智能与创新设计相结合，系统地研究了创新设计活动的发展历程、创新设计模式的演变与迭代，梳理了群智创新设计的概念与内涵，构建了群智创新设计理论与方法体系，建立了群智创新设计新范式，讲好中国故事，宣扬中国设计，为人工智能、创新设计和设计学科的交叉融合发展提供新的思路和借鉴。
本书系列旨在监测100多个国家(或地区)网络就绪度的发展情况，从而发掘出在政策、机构和结构上阻碍国家从ICT中全面获益的障碍。苏米特拉·杜德编著的《全球信息技术报告——网络就绪度与社会效率(2004-2005)》内容包括世界各国信息与通信技带的传播和应用情况分新、信息通信技术部门与全球经济：效益分析、为建设信息社会打下一个良好基础、下一代IT外包：收益还是风险？等。
本书是关于如何管理赛博空间的理论著作。赛博空间是数字技术所创造的虚拟交流空间。它不仅限于计算机网络，还包括所有使用数字信息技术的社会活动在内。这是人类设计、创造出的一个永恒的、虚拟的生活空间。由于赛博空问是通过信息通信技术联系起来的社会，所以，现实世界中的社会关系在虚拟世界中没有消失，现实社会的基本伦理原则在赛博空间中仍然适用。本书在对赛博空间伦理问题进行的讨论中强调了三项原则：平等原则、安全原则和自由原则。针对由赛博空间的产生所带来的知识产权的开发和运用、全球化的技术贸易、黑客的处理和技术风险控制、数字技术面前的平等和权力等重大问题，作者做了集中的阐释。
本书全面讲解了建立5G无线网络所需的各种技术。书中介绍了当前流行的新兴无线网络，包括ad hoc网络、传感器网络、多跳蜂窝网络、认知无线电网络、异构网络、自组织网络、容迟网络、复杂网络、软件定义网络等，讲解了大量的网络技术、协议与算法；同时讨论了5G无线网络采用的新技术，如大规模MIMO技术、毫米波通信技术和云计算等。本书还将重点讨论网络服务提供商、运营商、监管机构及学术界关注的各种商业模式。
