文章类型 >> 通知公告 >>
图书馆开通剑桥大学出版社53本电子书的使用权限
2019/6/11

 

 

各位读者,我校图书馆已开通剑桥大学出版社53本信息与计算机方面电子书的使用权限,读者在校园网IP范围内能够永久访问该资源,可以进行在线阅读、下载、打印等操作。

 

爱学术访问地址:http://www.iresearchbook.cn

 

注意:

 

剑桥大学出版社订购资源的使用权限:永久使用

在线阅读并发户:3个

下载功能:单次下载不超过全文的5%

打印功能:单次下载不超过全文的5%

 

图书目录如下:

 

英文标题

中文标题

Data Refinement: Model-Oriented Proof Methods and their Comparison

数据完善:模型导向证明方法及其比较

Formal Specification and Design

形式化描述与设计

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

结构分析和设计模型的统一构架

A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems

计算机符号学理论:计算机系统构建与评估的符号学方法

Complex-Valued Matrix Derivatives: With Applications in Signal Processing and Communications

复数矩阵衍生数:信号处理与交流应用

Dynamics and Control of Distributed Systems

分布式系统动力学和控制

Quasilinear Control: Performance Analysis and Design of Feedback Systems with Nonlinear Sensors and Actuators

半线性控制:效能分析与非线性感应器与促动器反馈系统设计

Systemic Text Generation as Problem Solving

作为问题解决的系统文本生成

Computer Vision for Human-Machine Interaction

人机交互的计算机视觉

Epistemic Logic for AI and Computer Science

人工智能和计算科学的认知逻辑

Perception as Bayesian Inference

贝叶斯推理

Introduction to Modern Digital Holography: With Matlab

现代数字全息摄影导论:附矩阵实验室

Statics and Kinematics with Applications to Robotics

静力学与动力学及其在机器人技术中的应用

Kinematic Analysis of Robot Manipulators

机器人运动分析

Parallel Computing: Principles and Practice

平行计算

Semantics and Logics of Computation

语义学与计算逻辑学

Distributed Ada: Developments and Experiences: Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989

分布式艾达:发展和经验:分布式艾达'89研讨会论文集(南安普敦大学,1989年12月11-12日)

Project Factorisations in Partial Evaluation

部分评估中的项目因子分析

Information Flow: The Logic of Distributed Systems

信息流

A Compositional Approach to Performance Modelling

运用模型组合方法

Action Semantics

行为语义

Information Dispersal and Parallel Computation

信息分布与平行计算

Programs, Recursion and Unbounded Choice

程序,递归式和无限选择

Abductive Inference: Computation, Philosophy, Technology

溯因推理:计算、哲学、技术

Efficient Algorithms for Listing Combinatorial Structures

组合结构列表的有效算法

Affine Analysis of Image Sequences

影像序列的仿射分析

Predicate Transformer Semantics

定义布尔类型

The Computing Universe: A Journey through a Revolution

计算宇宙:一场革命的旅程

Arithmetic Optimization Techniques for Hardware and Software Design

算法最优化技术

Unification Grammars

统一文法

On-Line Learning in Neural Networks

神经网络的在线学习

Instructional Planning Systems: A Gaming-Simulation Approach to Urban Problems

教学规划系统:城市问题的博弈模拟方法

The Foundations of Artificial Intelligence: A Sourcebook

人工智能的基础:资料手册

Text Processing and Document Manipulation: Proceedings of the International Conference, University of Nottingham, 14-16 April 1986

文本处理和文献处理

Creativity in Invention and Design

发明与设计中的创造

The Computer User as Toolsmith: The Use, Reuse and Organization of Computer-Based Tools

作为工具匠的计算机用户:基于计算机工具的使用、重复使用和组织

Calculated Bets: Computers, Gambling, and Mathematical Modeling to Win

谨慎下注:通过计算机、赌博和数学建模赢得赌注

Three-Dimensional Integrated Circuit Layout

三维集成电路设计

Multimodal Signal Processing: Human Interactions in Meetings

多式联运信号处理:会议中的人类互动

Formal Semantics and Pragmatics for Natural Language Querying

自然语言疑问中的形式语义学和语用学

Deductive and Declarative Programming

演绎式编程和声明式编程

Barcodes for Mobile Devices

移动设备条形码

Two-Level Functional Languages

两级功能语言

Algebraic Specification of Communication Protocols

通信协议的代数规范

Logic Programming: Operational Semantics and Proof Theory

逻辑程序设计

Foundations of Parallel Programming

平行化程序开发基础

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

并发进程的三种不同语义描述方法

Metamathematics, Machines and Gödel's Proof

元数学,机器和哥德尔的证明

Concurrent Programming in ML

机器语言中的并发编程

Higher Order Logic and Hardware Verification

高阶逻辑和硬件验证

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

类特征结构逻辑

Free Choice Petri Nets

自由选择派翠网络

Paradigms for Fast Parallel Approximability

快速并行近似性的范式

 

 

鲁东大学图书馆

2019.6.11

 

 
版权所有:鲁东大学图书馆
Copyright© 2010 All rights reserved