检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

188 册 图书

馆藏范围

188 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

7 篇 工学
- 5 篇 计算机科学与技术...
- 2 篇 软件工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 控制科学与工程
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 经济学
- 1 篇 应用经济学
1 篇 理学
- 1 篇 数学
- 1 篇 统计学（可授理学、...
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

24 篇 programming lang...
21 篇 programming tech...
14 篇 software enginee...
12 篇 artificial intel...
12 篇 logics and meani...
12 篇 algorithm analys...
11 篇 theory of comput...
11 篇 discrete mathema...
9 篇 software enginee...
9 篇 database managem...
9 篇 mathematical log...
9 篇 python
8 篇 professional com...
8 篇 computer graphic...
7 篇 cryptology
6 篇 math application...
6 篇 data structures ...
6 篇 mathematical app...
5 篇 computational ma...
5 篇 computers and so...

机构

4 篇 university of su...
3 篇 luther college d...
3 篇 university of po...
2 篇 london school of...
2 篇 ravensburg-weing...
2 篇 university of co...
2 篇 brock university
2 篇 department of co...
2 篇 marshfield midma...
2 篇 united nations
2 篇 university of ca...
2 篇 hochschule raven...
2 篇 department of co...
2 篇 the university o...
2 篇 it university of...
2 篇 departament de m...
2 篇 formal methods l...
2 篇 hse university
2 篇 the university o...
2 篇 mallow ireland

作者

8 篇 gerard o'regan
6 篇 kent d. lee
6 篇 max bramer
6 篇 john hunt
5 篇 john vince
5 篇 torben ægidius m...
5 篇 wolfgang ertel
5 篇 james t. streib
5 篇 joseph migga kiz...
4 篇 david makinson
4 篇 bhim p. upadhyay...
4 篇 sarnath ramnath
4 篇 frank klawonn
3 篇 alan holt
3 篇 peter sestoft
3 篇 laura igual
3 篇 tom jenkyns
3 篇 santi seguí
3 篇 ben stephenson
3 篇 chi-yu huang

语言

149 篇 英文
39 篇 中文

检索条件"丛书名=Undergraduate Topics in Computer Science"

共 188 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Applied Logic for computer Scientists. Computational Deduction and Formal Proofs 1

引用

丛书名： undergraduate topics in computer science

2017年

作者： Mauricio Ayala-Rincón, Flávio L.C. de Moura

ISBN: (数字)9783319516530

ISBN: (纸本)9783319516530

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of logic, placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS. Applied Logic for computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Pervasive Computing: Engineering Smart Systems 1

引用

丛书名： undergraduate topics in computer science

2017年

作者： Natalia Silvis-Cividjian

ISBN: (数字)9783319516554

ISBN: (纸本)9783319516554

This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing systems within everyday objects. By introducing the core topics and exploring assistive pervasive systems which infer their context through pattern recognition, the author provides readers with a gentle yet robust foundation of knowledge to this growing field of research. The author explores a range of topics including data acquisition, signal processing, control theory, machine learning and system engineering explaining, with the use of simple mathematical concepts, the core principles underlying pervasive computing systems. Real-life examples are applied throughout, including self-driving cars, automatic insulin pumps, smart homes, and social robotic companions, with each chapter accompanied by a set of exercises for the reader. Practical tutorials are also available to guide enthusiastic readers through the process of building a smart system using cameras, microphones and robotic kits. Due to the power of MATLAB, this can be achieved with no previous programming or robotics experience. Although Pervasive Computing is primarily for undergraduate students, the book is accessible to a wider audience of researchers and designers who are interested in exploring pervasive computing further.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mathematics for computer Graphics 5th ed. 2017

引用

丛书名： undergraduate topics in computer science

2017年

作者： John Vince

ISBN: (数字)9781447173366

ISBN: (纸本)9781447173342

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded fifth edition. The first five chapters cover a general introduction, number sets, algebra, trigonometry and coordinate systems, which are employed in the following chapters on vectors, matrix algebra, transforms, interpolation, curves and patches, analytic geometry and barycentric coordinates. Following this, the reader is introduced to the relatively new topic of geometric algebra, followed by two chapters that introduce differential and integral calculus. Finally, there is a chapter on worked examples. Mathematics for computer Graphicscovers all of the key areas of the subject, including: Number sets Algebra Trigonometry Coordinate systems Determinants Vectors Quaternions Matrix algebra Geometric transforms Interpolation Curves and surfaces Analytic geometry Barycentric coordinates Geometric algebra Differential calculus Integral calculus This fifth edition contains over 120 worked examples and over 320 colour illustrations, which are central to the authors descriptive writing style. Mathematics for computer Graphicsprovides a sound understanding of the mathematics required for computer graphics, giving a fascinating insight into the design of computer graphics software and setting the scene for further reading of more advanced books and technical research papers.

关键词： computer graphics.

来源：评论

学校读者我要写书评

暂无评论

Data Structures and Algorithms with Python 1

引用

丛书名： undergraduate topics in computer science

2015年

作者： Kent D. Lee, Steve Hubbard

ISBN: (数字)9783319130729

ISBN: (纸本)3319130714;9783319130712

This textbook explains the concepts and techniques required to write programs that can handle large amounts of data efficiently. Project-oriented and classroom-tested, the book presents a number of important algorithms supported by examples that bring meaning to the problems faced by computer programmers. The idea of computational complexity is also introduced, demonstrating what can and cannot be computed efficiently so that the programmer can make informed judgements about the algorithms they use. Features: includes both introductory and advanced data structures and algorithms topics, with suggested chapter sequences for those respective courses provided in the preface; provides learning goals, review questions and programming exercises in each chapter, as well as numerous illustrative examples; offers downloadable programs and supplementary files at an associated website, with instructor materials available from the author; presents a primer on Python for those from a different language background.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Introduction to HPC with MPI for Data science 1

引用

丛书名： undergraduate topics in computer science

2016年

作者： Frank Nielsen (auth.)

ISBN: (数字)9783319219035

ISBN: (纸本)9783319219028;9783319219035

This gentle introduction to High Performance Computing (HPC) for Data science using the Message Passing Interface (MPI) standard has been designed as a first course for undergraduates on parallel programming on distributed memory models, and requires only basic programming notions. Divided into two parts the first part covers high performance computing using C++ with the Message Passing Interface (MPI) standard followed by a second part providing high-performance data analytics on computer clusters. In the first part, the fundamental notions of blocking versus non-blocking point-to-point communications, global communications (like broadcast or scatter) and collaborative computations (reduce), with Amdalh and Gustafson speed-up laws are described before addressing parallel sorting and parallel linear algebra on computer clusters. The common ring, torus and hypercube topologies of clusters are then explained and global communication procedures on these topologies are studied. This first part closes with the MapReduce (MR) model of computation well-suited to processing big data using the MPI framework. In the second part, the book focuses on high-performance data analytics. Flat and hierarchical clustering algorithms are introduced for data exploration along with how to program these algorithms on computer clusters, followed by machine learning classification, and an introduction to graph analytics. This part closes with a concise introduction to data core-sets that let big data problems be amenable to tiny data problems. Exercises are included at the end of each chapter in order for students to practice the concepts learned, and a final section contains an overall exam which allows them to evaluate how well they have assimilated the material covered in the book.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Introduction to the History of Computing 1st ed. 2016

引用

丛书名： undergraduate topics in computer science

2016年

作者： Gerard O'Regan

ISBN: (数字)9783319331386

ISBN: (纸本)9783319331379

Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook provides a concise overview of the key events in the history of computing, together with discussion exercises to stimulate deeper investigation into this fascinating area. Features: provides chapter introductions, summaries, key topics, and review questions; includes an introduction to analogue and digital computers, and to the foundations of computing; examines the contributions of ancient civilisations to the field of computing; covers the first digital computers, and the earliest commercial computers, mainframes and minicomputers; describes the early development of the integrated circuit and the microprocessor; reviews the emergence of home computers; discusses the creation of the Internet, the invention of the smartphone, and the rise of social media; presents a short history of telecommunications, programming languages, operating systems, software engineering, artificial intelligence, and databases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Limits of Computation 1st ed. 2016

引用

丛书名： undergraduate topics in computer science

2016年

作者： Bernhard Reus

ISBN: (数字)9783319278896

ISBN: (纸本)9783319278872

This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem, Kleene's Recursion Theorem, the Church-Turing Thesis, Hierarchy Theorems, and Cook-Levin's Theorem. Each chapter contains classroom-tested material, including examples and exercises. Links between adjacent chapters provide a coherent narrative. Fundamental results are explained lucidly by means of programs written in a simple, high-level imperative programming language, which only requires basic mathematical knowledge. Throughout the book, the impact of the presented results on the entire field of computer science is emphasised. Examples range from program analysis to networking, from database programming to popular games and puzzles. Numerous biographical footnotes about the famous scientists who developed the subject are also included."Limits of Computation" offers a thorough, yet accessible, introduction to computability and complexity for the computer science student of the 21st century.

关键词：

来源：评论

学校读者我要写书评

暂无评论

UML @ Classroom: An Introduction to Object-Oriented Modeling 2015

引用

丛书名： undergraduate topics in computer science

2015年

作者： Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel (auth.)

ISBN: (数字)9783319127422

ISBN: (纸本)9783319127415;9783319127422

This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpretation of rare special cases. After a brief explanation of why modeling is an indispensable part of software development, the authors introduce the individual diagram types of UML (the class and object diagram, the sequence diagram, the state machine diagram, the activity diagram, and the use case diagram), as well as their interrelationships, in a step-by-step manner. The topics covered include not only the syntax and the semantics of the individual language elements, but also pragmatic aspects, i.e., how to use them wisely at various stages in the software development process. To this end, the work is complemented with examples that were carefully selected for their educational and illustrative value. Overall, the book provides a solid foundation and deeper understanding of the most important object-oriented modeling concepts and their application in software development. An additional website (***) offers a complete set of slides to aid in teaching the contents of the book, exercises and further e-learning material.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Ethics in Computing 1st ed. 2016

引用

丛书名： undergraduate topics in computer science

2016年

作者： Joseph Migga Kizza

ISBN: (数字)9783319291062

ISBN: (纸本)9783319291048

This textbook raises thought-provoking questions regarding our rapidly-evolving computing technologies, highlighting the need for a strong ethical framework in our computer science education. Ethics in Computing offers a concise introduction to this topic, distilled from the more expansive Ethical and Social Issues in the Information Age. Features: introduces the philosophical framework for analyzing computer ethics; describes the impact of computer technology on issues of security, privacy and anonymity; examines intellectual property rights in the context of computing; discusses such issues as the digital divide, employee monitoring in the workplace, and health risks; reviews the history of computer crimes and the threat of cyberbullying; provides coverage of the ethics of AI, virtualization technologies, virtual reality, and the Internet; considers the social, moral and ethical challenges arising from social networks and mobile communication technologies; includes discussion questions and exercises.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Object-Oriented Analysis, Design and Implementation: An Integrated Approach 2

引用

丛书名： undergraduate topics in computer science

2015年

作者： Brahma Dathan, Sarnath Ramnath (auth.)

ISBN: (数字)9783319242804

ISBN: (纸本)9783319242781;9783319242804

The second edition of this textbook includes revisions based on the feedback on the first edition. In a new chapter the authors provide a concise introduction to the remainder of UML diagrams, adopting the same holistic approach as the first edition. Using a case-study-based approach for providing a comprehensive introduction to the principles of object-oriented design, it includes:A sound footing on object-oriented concepts such as classes, objects, interfaces, inheritance, polymorphism, dynamic linking, etc. A good introduction to the stage of requirements analysis Use of UML to document user requirements and design An extensive treatment of the design process Coverage of implementation issues Appropriate use of design and architectural patterns Introduction to the art and craft of refactoring Pointers to resources that further the reader's knowledge The focus of the book is on implementation aspects, without which the learning is incomplete. This is achieved through the use of case studies for introducing the various concepts of analysis and design, ensuring that the theory is never separate from the implementation aspects. All the main case studies used in this book have been implemented by the authors using Java. An appendix on Java provides a useful short tutorial on the language.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共19页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：