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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 资讯
286 篇 期刊文献
235 篇 会议
67 册 图书
45 篇 学位论文

馆藏范围

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

日期分布

学科分类号

460 篇 工学
- 359 篇 计算机科学与技术...
- 191 篇 软件工程
- 118 篇 电气工程
- 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,133 篇 programming lang...
184 篇 python
180 篇 statistical calc...
168 篇 data analysis
78 篇 homo sapiens
72 篇 cell and tissue ...
68 篇 microarray
66 篇 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,092 篇 英文
34 篇 其他
5 篇 中文
1 篇 日文
1 篇 葡萄牙文

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

共 1133 条记录，以下是491-500 订阅

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

详细简洁

排序：

Scientific Research of Life Cycle Perfomance of Information Technology 12

Scientific Research of Life Cycle Perfomance of Information ...

引用

12th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)

作者： Medykovskyy, M. O. Pasyeka, M. S. Pasyeka, N. M. Turchyn, O. B. Polytech Natl Univ Lvov Ukraine Ivano Frankivsk Natl Tech Univ Oil & Gas Ivano Frankivsk Ukraine Vasyl Stefanyk Precarpathian Natl Univ Ivano Frankivsk Ukraine

ISBN: (纸本)9781538616390

The basic indicators of the life cycle of technology were analyzed and the generalized system for the evaluation of the life cycle phase is allocated. Indicators are considered as properties that technology must have to fit a certain stage of its existence. The existing approaches of technology development analysis were studied. The generalized classification, which is a list of indexes for the proper stage of development, is proposed. The generalized technologies estimation system will enable to minimize technological risks related to the short-term and long-term software development prospects.

关键词： life cycle technology stage of development generic classification technological risks programming language

来源：评论

学校读者我要写书评

暂无评论

Statistical Unigram Analysis for Source Code Repository 3

Statistical Unigram Analysis for Source Code Repository

引用

IEEE 3rd International Conference on Multimedia Big Data (BigMM)

作者： Xu, Weifeng Xu, Dianxiang El Ariss, Omar Liu, Yunkai Alatawi, Abdulrahman Bowie State Univ Dept Comp Sci Bowie MD 20715 USA Penn State Univ Harrisburg Dept Comp Sci Middletown PA USA Gannon Univ Dept Comp & Informat Sci Erie PA USA

ISBN: (纸本)9781509065493

Unigram is a fundamental element of n-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages. In this paper, we analyze the properties of unigrams collected from an ultralarge source code repository. Specifically, we have collected 1.01 billion unigrams from 0.7 million open source projects hosted at GitHub. com. By analyzing these unigrams, we have discovered statistical patterns regarding (1) how developers name variables, methods, and classes, and (2) how developers choose abbreviations. Our study describes a probabilistic model for solving a well-known problem in source code analysis: how to expand a given abbreviation to its original indented word. It shows that the unigrams collected from source code repositories are essential resources to solving the domain specific problems.

关键词： programming language source code n-gram unigram abbreviations ultra-large-scale analysis

来源：评论

学校读者我要写书评

暂无评论

Gamification-Based Learning Framework for a programming Course 6

Gamification-Based Learning Framework for a Programming Cour...

引用

6th International Conference on Electrical Engineering and Informatics (ICEEI) - Sustainable Society Through Digital Innovation

作者： Khaleel, Firas Layth Ashaari, Noraidah Sahari Wook, Tengku Siti Meriam Tengku Ismail, Amirah Univ Kebangsaan Malaysia Fac Informat Sci & Technol Bangi Malaysia Tikrit Univ Tikrit Iraq

ISBN: (纸本)9781538604755

Students occasionally find it difficult to learn new programming languages. Previous work showed that students have experienced ineffective learning, lack of interest towards this course and lack of motivation. The rationale for this is that in previous studies, some researchers have mentioned the use of game elements but none have mentioned a gamification framework that integrates the requirements for learning programming language subjects. Therefore, this study proposed gamification framework that consists of game elements and programming learning requirements. This framework is verified by lecturers and students. The findings shown, the mean score of each combination of programming learning requirements and game elements is more than 4.00.

关键词： Gamification Game elements Game Mechanic Motivation programming language

来源：评论

学校读者我要写书评

暂无评论

Impact of Using a Static-type System in Computer programming 18

Impact of Using a Static-type System in Computer Programming

引用

18th IEEE International Symposium on High Assurance Systems Engineering (HASE)

作者： Harlin, Ismail Rizky Washizaki, Hironori Fukazawa, Yoshiaki Waseda Univ Comp Sci Dept Tokyo Japan

ISBN: (纸本)9781509046362

Static-type systems are a major topic in programming language research and the software industry because they should reduce the development time and increase the code quality. Additionally, they are predicted to decrease the number of defects in a code due to early error detection. However, only a few empirical experiments exist on the potential benefits of static-type systems in programming activities. This paper describes an experiment that tests whether static-type systems help developers create solutions for certain programming tasks. The results indicate that although the existence of a static-type system has no positive impact when subjects code a program from scratch, it does allow more errors in program debugging to be fixed.

关键词： component static-type systems programming language empirical study program debugging

来源：评论

学校读者我要写书评

暂无评论

On the Design and Implementation of a Virtual Machine for Arduino 7th

On the Design and Implementation of a Virtual Machine for Ar...

引用

7th International Conference on Robotics in Education (RiE)

作者： Zabala, Gonzalo Moran, Ricardo Teragni, Matias Blanco, Sebastian Univ Abierta Interamer Buenos Aires DF Argentina

ISBN: (纸本)9783319429755;9783319429748

Arduino has become one of the most popular platforms for building electronic projects, especially among novices. In the last years countless tools, environments, and programming languages have been developed to support Arduino. One of these is Physical Etoys, a visual programming platform for robots developed by the authors. Physical Etoys supports compiling programs into the arduino. For this to work, a Smalltalk to C++ translator has been built. Although it has been very useful, this translator has brought a new set of issues. In this paper we will discuss some of these problems and how we decided to overcome them by developing a simple virtual machine that will be used as the base for the new Physical Etoys.

关键词： Arduino programming language Virtual machine Concurrency Physical etoys

来源：评论

学校读者我要写书评

暂无评论

A New Marking Technique in Semi-Automated Assessment 12

A New Marking Technique in Semi-Automated Assessment

引用

12th International Conference on Computer Science and Education (ICCSE)

作者： Buyrukoglu, Selim Batmaz, Firat Lock, Russell Loughborough Univ Comp Sci Loughborough Leics England

ISBN: (纸本)9781509025084

The number of students learning programming languages in higher education and secondary schools has substantially increased, especially in the last decade. The increasing number of (novice) programmers makes code script assessment more important. Thus, this study proposes a new marking technique based on a semi-automated assessment approach. It advocates providing detailed and consistent feedback for novice programmers based on formative assessment. An experiment was carried out to check the feasibility of the proposed marking technique. The initial results and findings show that this is a potentially valuable approach.

关键词： Marking Technique Feedback programming language Semi-Automated Novice Programmer

来源：评论

学校读者我要写书评

暂无评论

Xerox :: Parc :: Techreports :: Csl-73-2 New programming languages for Ai Research

引用

2016年

[Auto Generated] CHAPTER I INTRODUCTION 2 CHAPTER II languageS COVERED 4 CHAPTER III SPECIAL FEATURES COMMON TO THE NEW languageS 7 A Data Types 7 B Control Structures 9 C Pattern Matching 13 D Deductive Mechanisms 14 CHAPTER IV DIFFERENCES BETWEEN THE NEW languageS 16 A Data Types and Storage Meohanisms 16 1 SAIL 16 2 PLANNER/CONNIVER 18 3 QLISP/INTERLISP 20 4 POPLER 21 B Control Structures 22 1 SAIL 22 2 PLANNER/CONNIVER 23 3 INTERLISP/QLISP 25 4 POPLER/POP-2 28 C Pattern Matching 29 1 SAIL 29

关键词： conniver control control structure csl-73-2 data data base data types deductive mechanisms flexible control languages lisp module palo alto pattern pattern matching planner popler programming programming language programming languages qlisp research techreports xerox xerox palo

来源：评论

学校读者我要写书评

暂无评论

Functional abstraction for programming multi-level architectures: formalisation and implementation

Functional abstraction for programming multi-level architect...

引用

作者： Victor Allombert UNIVERSITE PARIS-EST

学位级别：博士

From personal computers using an increasing number of cores, to supercomputers having mil- lions of computing units, parallel architectures are the current standard. The high performance architectures are usually referenced to as hierarchical, as they are composed from clusters of multi-processors of multi-cores. programming such architectures is known to be notoriously difficult. Writing parallel programs is, most of the time, difficult for both the algorithmic and the implementation phase. To answer those concerns, many structured models and languages were proposed in order to increase both expressiveness and efficiency. Among other models, multi-bsp is a bridging model dedicated to hierarchical architecture that ensures efficiency, execution safety, scalability and cost prediction. It is an extension of the well known bsp model that handles flat architectures. In this thesis we introduce the multi-ml language, which allows programming multi-bsp algorithms "a la ml" and thus, guarantees the properties of the multi-bsp model and the ex- ecution safety, thanks to a ml type system. To deal with the multi-level execution model of multi-ml, we defined formal semantics which describe the valid evaluation of an expression. To ensure the execution safety of multi-ml programs, we also propose a typing system that preserves replicated coherence. An abstract machine is defined to formally describe the evalua- tion of a multi-ml program on a multi-bsp architecture. An implementation of the language is available as a compilation toolchain. It is thus possible to generate an efficient parallel code from a program written in multi-ml and execute it on any hierarchical machine.

关键词： Parallel programming multi-bsp ML programming language Parallel execution safety

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：