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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

500 篇 资讯
285 篇 期刊文献
235 篇 会议
67 册 图书
45 篇 学位论文

馆藏范围

1,132 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

459 篇 工学
- 358 篇 计算机科学与技术...
- 191 篇 软件工程
- 117 篇 电气工程
- 52 篇 信息与通信工程
- 43 篇 控制科学与工程
- 13 篇 电子科学与技术（可...
- 11 篇 机械工程
- 8 篇 石油与天然气工程
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 4 篇 建筑学
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
- 3 篇 力学（可授工学、理...
- 3 篇 动力工程及工程热...
- 3 篇 土木工程
- 3 篇 核科学与技术
- 3 篇 环境科学与工程（可...
59 篇 理学
- 22 篇 数学
- 17 篇 生物学
- 9 篇 物理学
- 5 篇 科学技术史(分学科...
- 4 篇 地球物理学
- 4 篇 系统科学
43 篇 教育学
- 40 篇 教育学
- 4 篇 心理学(可授教育学...
30 篇 管理学
- 24 篇 管理科学与工程(可...
- 5 篇 图书情报与档案管...
7 篇 农学
7 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 法学
- 4 篇 社会学
3 篇 哲学
3 篇 经济学
3 篇 文学
2 篇 历史学

主题

1,132 篇 programming lang...
184 篇 python
180 篇 statistical calc...
168 篇 data analysis
78 篇 homo sapiens
72 篇 cell and tissue ...
68 篇 microarray
65 篇 machine learning
60 篇 pcr
58 篇 matlab
58 篇 rna-seq
58 篇 genomics
49 篇 image analysis
47 篇 programming
47 篇 mass spectrometr...
43 篇 compiler
43 篇 principal compon...
40 篇 proteomics
39 篇 genome visualiza...
39 篇 mus musculus

机构

16 篇 brno university ...
7 篇 charles universi...
6 篇 united states na...
3 篇 univ kebangsaan ...
2 篇 army engn univ p...
2 篇 hebei univ engn ...
2 篇 natl taipei univ...
2 篇 gannon univ dept...
2 篇 nanjing univ sta...
2 篇 college of compu...
2 篇 swiss fed inst t...
2 篇 texas a&m univer...
2 篇 data processing ...
2 篇 verivue
2 篇 univ new mexico ...
2 篇 aalto university
2 篇 politehn univ ti...
2 篇 institut für inf...
2 篇 univ glasgow gla...
2 篇 univ utah salt l...

作者

5 篇 rune matthiesen
4 篇 sharanya manohar...
4 篇 oviya ramalakshm...
4 篇 phillips andrew
3 篇 tshukudu ethel
3 篇 cedric gondro
3 篇 vijaykumar yoges...
3 篇 batmaz firat
3 篇 ana sofia carval...
3 篇 francesca grison...
3 篇 wu di
3 篇 junghyun namkung
3 篇 j. b. brown
3 篇 xu baowen
3 篇 chen lin
3 篇 roeland m. merks
3 篇 laercio r. porto...
3 篇 seung hwan lee
3 篇 christoph bock
3 篇 javier martínez-...

语言

1,091 篇 英文
34 篇 其他
5 篇 中文
1 篇 日文
1 篇 葡萄牙文

检索条件"主题词=Programming Language"

共 1132 条记录，以下是451-460 订阅

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

详细简洁

排序：

C# 7.0 All-in-One For Dummies 1

引用

丛书名： For Dummies

2017年

作者： Mueller John Paul Sempf Bill Sphar Chuck

ISBN: (数字)9781119428121

ISBN: (纸本)9781119428114

Sharpen your knowledge of C# C# know-how is a must if you want to be a professional Microsoft developer. It's also good to know a little C# if you're building tools for the web, mobile apps, or other development tasks. C# 7.0 All-in-One For Dummies offers a deep dive into C# for coders still learning the nuances of the valuable programming language. Pop it open to get an intro into coding with C#, how to design secure apps and databases, and even pointers on building web and mobile apps with C#. C# remains one of the most in-demand programming language skills. The language regularly ranks in the top five among "most in-demand" languages, typically along with Java/JavaScript, C++, and Python. A December 2016 ZDNet article noted 'If your employer is a Microsoft developer, you better know C#." Lucky for you, this approachable, all-in-one guide is here to help you do just that—without ever breaking a sweat! Includes coverage of the latest changes to C# Shows you exactly what the language can (and can't) do Presents familiar tasks that you can accomplish with C# Provides insight into developing applications that provide protection against hackers If you have a basic understanding of coding and need to learn C#—or need a reference on the language in order to launch or further your career—look no further.

关键词： C# 7.0 C# programming language popular programming language Microsoft Microsoft Developer coding coding language C# coding C# developer becoming a C# developer protection against hackers C# 7.0 All-in-One For Dummies John Paul Mueller Bill Sempf Chuck Sphar

来源：评论

学校读者我要写书评

暂无评论

A few more trouble spots in ALGOL 60

引用

Communications of the ACM 1969年第5期12卷 247-248页

作者： Wood, Derick New York Univ. United States

No abstract available.

关键词： ALGOL programming language semantics syntax

来源：评论

学校读者我要写书评

暂无评论

Realizing dependently typed logic programming

Realizing dependently typed logic programming

引用

作者： Snow, Zachary University of Minnesota

学位级别：master

University of Minnesota M.S. thesis. May ***: Computer Science. Advisor: Gopalan Nadathur. 1 computerfile(PDF); iv, 74 pages.%%%%Dependently typed -calculi such as the EdinburghLogical Framework (LF) can encode relationships between terms intypes and can naturally capture correspondences between formulasand their proofs. Such calculi can also be given a logicprogramming interpretation: the Twelf system is based on such aninterpretation of LF. We consider here whether a conventional logicprogramming language can also provide the benefits of a Twelf-likesystem for encoding type and term dependencies through dependenttyping, and whether it can do so in an efficient manner. Inparticular, we present a simple mapping from LF specifications to aset of formulas in the higher-order hereditary Harrop (hohh)language, that relates derivations and proof-search between the twoframeworks. We then show that this encoding can be improved byexploiting knowledge of the well-formedness of the original LFspecifications to elide much redundant type-checking *** resulting logic program has a structure that closely followsthe original specification, thereby allowing LF specifications tobe viewed as meta-programs that generate hohh programs. We provethat this mapping is correct, and, using the Teyjus implementationof Prolog, we show that our translation provides an efficient meansfor executing LF specications, complementing the ability the Twelfsystem provides for reasoning about them. In addition, thetranslation offers new avenues for reasoning about suchspecifications, via reasoning over the generated hohhprograms

关键词： programming language Higher-order hereditary Harrop (hohh)language. Logical Framework (LF) Meta-programs Computer Science

来源：评论

学校读者我要写书评

暂无评论

Introduction to programming: Learn to program in Java with data structures, algorithms, and logic

引用

2018年

作者： Nick Samoylov

ISBN: (数字)9781788834162

ISBN: (纸本)9781788839129

Get a solid understanding of Java fundamentals to master programming through a series of practical steps About This Book • Enjoy your first step into the world of programming • Understand what a language is and use its features to build applications • Learn about a wide variety of programming applications Who This Book Is For Introduction to programming is for anybody who wants to learn programming. All you’ll need is a computer, internet connection, and a cup of coffee. What You Will Learn • Understand what Java is • Install Java and learn how to run it • Write and execute a Java program • Write and execute the test for your program • Install components and confgure your development environment • Learn and use Java language fundamentals • Learn object-oriented design principles • Master the frequently used Java constructs In Detail Have you ever thought about making your computer do what you want it to do? Do you want to learn to program, but just don't know where to start? Instead of guiding you in the right direction, have other learning resources got you confused with over-explanations? Don't worry. Look no further. Introduction to programming is here to help. Written by an industry expert who understands the challenges faced by those from a non-programming background, this book takes a gentle, hand-holding approach to introducing you to the world of programming. Beginning with an introduction to what programming is, you'll go on to learn about languages, their syntax, and development environments. With plenty of examples for you to code alongside reading, the book's practical approach will help you to grasp everything it has to offer. More importantly, you'll understand several aspects of application development. As a result, you'll have your very own application running by the end of the book. To help you comprehensively understand Java programming, there are exercises at the end of each chapter to keep things interesting and encourage you to add your

关键词： beginning programming programming newbie how to program a computer programming language new to programming data structures algorithms basics of programming control structures language syntax python

来源：评论

学校读者我要写书评

暂无评论

An empirical study on the adoption of C++ templates: Library templates versus user defined templates 26

An empirical study on the adoption of C++ templates: Library...

引用

26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014

作者： Wu, Di Chen, Lin Zhou, Yuming Xu, Baowen State Key Laboratory for Novel Software Technology Nanjing University Nanjing China

Template is a powerful language feature to develop reusable programs, which has long been widely used by C++ programmers. Among various templates, library templates play a key role, as they provide programmers fault-free generic units. But to our surprise, little work has been done to study how these templates are adopted in real software. In this paper, we conduct an empirical study on the adoption of templates to understand how library templates influence programming compared with user defined templates. To this end, we use the historical revisions of ten open source systems, containing 34 million lines of C++ code, to conduct the experiment. The experimental results show that: (1) the growth of using library templates does not result in a substantial decrease of using user defined templates;(2) eight templates account for over 95% of all library template uses;and (3) user defined templates tend to be derived more frequently than library templates. Based on these results, we make two practical suggestions. For C++ novices, we suggest that they focus on learning the eight most commonly-used library templates. For library developers, we suggest that they develop more library templates that can be easily derived. Copyright © 2014 by Knowledge Systems Institute Graduate School.

关键词： C++ Empirical study Generic programming programming language Templates

来源：评论

学校读者我要写书评

暂无评论

Learning Rust: A comprehensive guide to writing Rust applications

引用

2017年

作者： Vesa Kaihlavirta

ISBN: (数字)9781785888885

ISBN: (纸本)9781785884306

Start building fast and robust applications with the power of Rust by your side Key Features: * [*] Get started with the language to build scalable and high performance applications * [*] This book will help C#/C++ developers gain better performance and memory management * [*] Discover the power of Rust when developing concurrent applications for large and scalable software Book Description: Rust is a highly concurrent and high performance language that focuses on safety and speed, memory management, and writing clean code. It also guarantees thread safety, and its aim is to improve the performance of existing applications. Its potential is shown by the fact that it has been backed by Mozilla to solve the critical problem of concurrency. Learning Rust will teach you to build concurrent, fast, and robust applications. From learning the basic syntax to writing complex functions, this book will is your one stop guide to get up to speed with the fundamentals of Rust programming. We will cover the essentials of the language, including variables, procedures, output, compiling, installing, and memory handling. You will learn how to write object-oriented code, work with generics, conduct pattern matching, and build macros. You will get to know how to communicate with users and other services, as well as getting to grips with generics, scoping, and more advanced conditions. You will also discover how to extend the compilation unit in Rust. By the end of this book, you will be able to create a complex application in Rust to move forward with. What you will learn: * [*] Set up Rust for Windows, Linux, and OS X * [*] Write effective code using Rust * [*] Expand your Rust applications using libraries * [*] Interface existing non-Rust libraries with your Rust applications * [*] Use the standard library within your applications * [*] Understand memory management within Rust and speed efficiency when passing variables * [*] Create more complex data types

关键词： Rust programming language compilation Rust standard library

来源：评论

学校读者我要写书评

暂无评论

Introduction to programming 1

引用

丛书名： []

2018年

作者： Nick Samoylov

ISBN: (数字)9781788834162

ISBN: (纸本)9781788839129

Get a solid understanding of Java fundamentals to master programming through a series of practical steps Key Features Enjoy your first step into the world of programming Understand what a language is and use its features to build applications Learn about a wide variety of programming applications Book Description Have you ever thought about making your computer do what you want it to do? Do you want to learn to program, but just don't know where to start? Instead of guiding you in the right direction, have other learning resources got you confused with over-explanations? Don't worry. Look no further. Introduction to programming is here to help. Written by an industry expert who understands the challenges faced by those from a non-programming background, this book takes a gentle, hand-holding approach to introducing you to the world of programming. Beginning with an introduction to what programming is, you'll go on to learn about languages, their syntax, and development environments. With plenty of examples for you to code alongside reading, the book's practical approach will help you to grasp everything it has to offer. More importantly, you'll understand several aspects of application development. As a result, you'll have your very own application running by the end of the book. To help you comprehensively understand Java programming, there are exercises at the end of each chapter to keep things interesting and encourage you to add your own personal touch to the code and, ultimately, your application. What you will learn Understand what Java is Install Java and learn how to run it Write and execute a Java program Write and execute the test for your program Install components and confgure your development environment Learn and use Java language fundamentals Learn object-oriented design principles Master the frequently used Java constructs Who this book is for Introduction to programming is for anybody who wants to learn programming. All you'll need is a computer, in

来源：评论

学校读者我要写书评

暂无评论

Analysis of the Signal and Computing Technology in Finite Space

Analysis of the Signal and Computing Technology in Finite Sp...

引用

2023 IEEE International Conference on Electrical, Automation and Computer Engineering, ICEACE 2023

作者： Zhao, Peng Guo, Kai Liu, Benyun Liu, Jinglong Tong, Xinyuan Li, Xinjie Yue, Caipeng Wang, Siwei Ma, Tan Shen, Tong Shandong Electric Power Research Institute State Grid Corporation of China Jinan250002 China State Grid Jinan Electric Power Company State Grid Corporation of China Jinan250002 China

ISBN: (纸本)9798350309614

The limited space health intelligence sensing program is developed, the main function is to coordinate the startup and work of each hardware module, and obtain and transmit the monitoring data of operators. By using fuzzy, neural network analysis, topology analysis and other models, the monitoring parameters are counted, analyzed and cross-verified to predict the risk level. This paper calculates, predicts and evaluates the limited space threshold, personnel or equipment moving track and location, intelligent perception terminal displays and evaluates the safety status of the job site, personnel, equipment, etc., in real time, to realize the rapid disposal of emergencies and the rapid implementation of emergency rescue. © 2023 IEEE.

关键词： burn computer master control program programming programming language

来源：评论

学校读者我要写书评

暂无评论

Mit :: Lcs :: Tr :: Mit-Lcs-Tr-200