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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

137 篇 会议
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

76 篇 工学
- 73 篇 计算机科学与技术...
- 70 篇 软件工程
- 7 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 生物工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 电气工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 化学工程与技术
- 1 篇 轻工技术与工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
36 篇 理学
- 29 篇 数学
- 10 篇 系统科学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
11 篇 教育学
- 11 篇 教育学
- 1 篇 心理学(可授教育学...
8 篇 管理学
- 5 篇 图书情报与档案管...
- 4 篇 管理科学与工程(可...
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

20 篇 java
19 篇 logic programmin...
10 篇 java programming...
5 篇 computer program...
4 篇 teaching
4 篇 parallel program...
4 篇 students
4 篇 software
4 篇 computer program...
3 篇 programming
3 篇 software enginee...
3 篇 education
3 篇 semantics
3 篇 testing
2 篇 uml
2 篇 task-driven
2 篇 data communicati...
2 篇 distributed syst...
2 篇 constraint satis...
2 篇 software metrics

机构

3 篇 nui maynooth co....
2 篇 institute of tec...
2 篇 software school ...
2 篇 lab. for the fou...
2 篇 inria rocquencou...
1 篇 computing scienc...
1 篇 school of contin...
1 篇 inria
1 篇 deis university ...
1 篇 computing scienc...
1 篇 lehrstuhl für in...
1 篇 yaroslav-the-wis...
1 篇 université de ma...
1 篇 the queen's univ...
1 篇 distributed syst...
1 篇 natl. technical ...
1 篇 university of lo...
1 篇 institut de math...
1 篇 inria 655 av. de...
1 篇 ntt communicatio...

作者

3 篇 tom dowling
2 篇 brian nolan
2 篇 mairson harry g.
2 篇 steve counsell
2 篇 tinelli cesare
2 篇 ruet paul
2 篇 harandi mehdi
2 篇 mello p.
2 篇 youssef hassoun
2 篇 roger johnson
2 篇 colombani yves
2 篇 gendreau michel
2 篇 power john
2 篇 milano m.
2 篇 lamma e.
2 篇 pesant gilles
1 篇 laschi roberto
1 篇 van eck richard
1 篇 johansson erik
1 篇 srinivas k.

语言

144 篇 英文

检索条件"任意字段=Proceedings of the 2nd international conference on Principles and practice of programming in Java"

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

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

详细简洁

排序：

The Design and practice of "Flipped Classroom" Model Based on Task-driven and Micro-lecture

The Design and Practice of "Flipped Classroom" Model Based o...

引用

2015 2nd international conference on Education,Management and Computing Technology(ICEMCT 2015)

作者： Yin Hong-li The College of Science Qilu University of Technology Jinan

ISBN: (纸本)9781510807587

"Flipped classroom" teaching model has became the focus of global education and has yielded many promising and important results. For the critical issue of the implementation of "Flipped Classroom" model, this article explores "Flipped Classroom Model" and verifies the effects of this teaching model in practice on the basis of the existing resources and activities of task-driven and micro-lecture from home and abroad. This model combined with the specific course of java programming and the practice shows that this model has a certain degree of success in the application.

关键词： task-driven micro-lecture flipped classroom

来源：评论

学校读者我要写书评

暂无评论

2nd international Workshop on the principles and practice of Constraint programming, PPCP 1994

引用

2nd international Workshop on the principles and practice of Constraint programming, PPCP 1994

ISBN: (纸本)9783540586012

The proceedings contain 28 papers. The special focus in this conference is the principles and practice of Constraint programming. The topics include: A substitution operation for constraints;contradicting conventional wisdom in constraint satisfaction;nogood backmarking with min-conflict repair in constraint satisfaction and optimization;global consistency for continuous constraints;locally simultaneous constraint satisfaction;analyzing and debugging hierarchies of multi-way local propagation constraints;inferring 3-dimensional constraints with DEVI;beyond finite domains;applications in constraint logic programming with strings;some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming systeml;encapsulated search and constraint programming in oz;towards a concurrent semantics based analysis of CC and CLP;CC programs with both in- aud non-determinism: a concurrent semantics;efficient and complete tests for database integrity constraint checking;foundations of aggregation constraints;constraint-generating dependencies;constraint objects;artificial intelligence specification and verification of constraint-based dynamic systems;GSAT and dynamic backtracking;foundations of indefinite constraint databases;on the design of constraint satisfaction problems;experiences with constraint-based array dependence analysis;set constraints: results, applications and future directions;logic-based methods for optimization and commercial applications of constraint programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Teaching reform in java-based programming curricular system

Teaching reform in Java-based programming curricular system

引用

2012 2nd international conference on Electric and Electronics, EEIC 2012

作者： Xiong, Fengguang Han, Xie School of Electronics and Computer Science and Technology North University of China Taiyuan Shanxi 030051 China

ISBN: (纸本)9783642287435

For the current existence program that programming curricular system is complex but not clear, a programming curricular system, using java as the core, is proposed in the paper. The teaching objectives, theory and practice of teaching system based on java in the curricular system is analyzed. According to this curricular system, a teaching reform is established to develop market-oriented training program, teaching method and improve the teaching evaluation system. © 2012 Springer-Verlag GmbH.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

2nd international Workshop on principles and practice of Semantic Web Reasoning, PPSWR 2004

引用

2nd international Workshop on principles and practice of Semantic Web Reasoning, PPSWR 2004

ISBN: (纸本)3540229612

The proceedings contain 11 papers. The special focus in this conference is on principles and practice of Semantic Web Reasoning. The topics include: On subtyping of tree-structured data;towards generic query, update, and event languages for the semantic web;data retrieval and evolution on the semantic web;rules and queries with ontologies;semantic web reasoning for ontology-based integration of resources;static type-checking of datalog with ontologies;reasoning about temporal context using ontology and abductive constraint logic programming;towards a multi-calendar temporal type system for semantic web query languages;calendrical calculations with time partitionings and fuzzy time intervals;a defeasible logic system for the semantic web and a PDDL based tool for automatic web service composition.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Space-Based multi-Core programming in java 11

Space-Based multi-Core programming in Java

引用

9th international conference on principles and practice of programming in java, PPPJ 2011

作者： Gudenkauf, Stefan Hasselbring, Wilhelm OFFIS - Institute for Computer Science Escherweg 2 26127 Oldenburg Germany Department of Computer Science Software Engineering Group Christian-Albrechts-Universität zu Kiel Christian-Albrechts-Platz 4 24118 Kiel Germany

ISBN: (纸本)9781450309356

Multi-core processors require programmers to exploit concurrency in software as far as possible. Unfortunately, our current concurrency abstractions make multi-core programming harder than necessary because we have to reduce unintended non-determinism on a very low level of abstraction, for instance via synchronisation mechanisms. In this experience paper we analyse if space-based systems can mitigate multi-core programming in the java programming language and present the Procol programming model that introduces the space-based choreography of active components, which internally orchestrate fine-grained workflow activities. The main contributions are (1) the Procol programming model, (2) benchmark results of the scalability of different tuple space implementation techniques that we evaluated on different multi-core architectures, (3) benchmark results of the scalability of two equivalent Mandelbrot applications for best-case measurements - one implemented with the standard java thread model, one with our Procol programming model. The conclusions drawn from these experiments are (1) tuple space data structures that scale reasonably well can be provided, (2) the performance overhead that Procol imposes is at least for the considered application a reasonable trade-off for the ease of programming provided for multi-core architectures. © 2011 ACM.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Research of the civil engineering e-learning platform based on the java technology

Research of the civil engineering e-learning platform based ...

引用

2nd international conference on E-Business and E-Government, ICEE 2011

作者： Gangjun, Zhai Ying, Lu School of Continuing Education Dalian University of Technology Dalian China

ISBN: (纸本)9781424486946

With the development of computer technology, e-learning has been gradually got more attention, e-learning platform as e-learning foundation has been applied to different professional teaching field. This paper expounds the civil engineering technology based on java e-learning platform, on the basis of the modern instructional design theory and constructivism learning theory, according to principles of case teaching, integration of teaching resources, in learning platform, it has realized management, teaching, guidance, and evaluation, etc. In the learning process, on the base of engineering practice students can get further promotion of the knowledge of theory. © 2011 IEEE.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Research and practice of "423 mode" teaching based on scratch assisted instruction ⇔⇔taking the java programming course as an example 2

Research and practice of "423 mode" teaching based on scratc...

引用

2020 2nd international conference on Computer Modeling, Simulation and Algorithm, CMSA 2020

作者： Sheng, Wenwen RiZhao Polytechnic Rizhao City Shandong Province276800 China

In the case of a general decline in the quality of students in vocational colleges, how to improve the teaching effectiveness of programming basic courses? This article introduces the use of graphical and Scratch software as teaching aids in the basic courses of higher vocational programming. At this stage, following two lines including Scratch and java in the course design, and also following "423 model" consists of "pre-class" –"in class" –"after class" in the implementation of the classes to cultivate students' innovative thinking ability, stimulate students’ learning interest, reduce the course difficulty and improving course teaching effectiveness. This teaching mode has achieved ideal teaching effect in java teaching of Rizhao Vocational Technical College. © 2020 Institute of Physics Publishing. All rights reserved.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Jazz2: A flexible and extensible framework for structural testing in a java VM 11

Jazz2: A flexible and extensible framework for structural te...

引用

9th international conference on principles and practice of programming in java, PPPJ 2011

作者： Misurda, Jonathan Childers, Bruce R. Soffa, Mary Lou Department of Computer Science University of Pittsburgh Pittsburgh PA 15260 United States Department of Computer Science University of Virginia Charlottesville VA 22904 United States

ISBN: (纸本)9781450309356

This paper describes a framework for structural testing in a java Virtual Machine (JVM), called Jazz2. The framework provides instrumentation, memory management, control flow analysis, and callback handling services for structural tests, such as branch and node coverage. Additionally, it has a language for the specification of how and where to test. These facilities allow for the efficient implementation of demand-driven and static testing techniques. Jazz2 supports an extensible test library, where new tests can be easily added. The paper describes the framework, its implementation, and evaluates how the framework interacts with a JVM, the Jikes Research Virtual Machine (RVM). We demonstrate the ease of implementing a structural test in Jazz2, extending the test library, and specifying the use of these tests with our language. Our experimental results show that Jazz2 has low overhead in both time and memory, and has minimal interaction with the RVM's garbage collector. © 2011 ACM.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

2nd international conference on Constraint programming, CP 1996

2nd International Conference on Constraint Programming, CP 1...

引用

2nd international conference on principles and practice of Constraint programming, CP 1996

ISBN: (纸本)3540615512

The proceedings contain 61 papers. The special focus in this conference is on principles and practice of Constraint programming. The topics include: On confluence of constraint handling rules;a labelling arc consistency method for functional constraints;constraint satisfaction in optical routing for passive wavelength-routed networks;using CSP look-back techniques to solve exceptionally hard SAT instances;the independence property of a class of set constraints;speeding up constraint propagation by redundant modeling;a constraint-based interactive train rescheduling tool;local search and the number of solutions;derivation of constraints and database relations;an efficient and practical approach to solving the job-shop problem;an instance of adaptive constraint propagation;an empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem;empirical studies of heuristic local search for constraint solving;inference duality as a basis for sensitivity analysis;a framework for solving constraint hierarchies;transformations between HCLP and PCSP;a test for tractability;tractable disjunctions of linear constraints;exploiting the use of DAC in MAX-CSP;a new approach for weighted constraint satisfaction;towards a more efficient stochastic constraint solver;a view of local search in constraint programming;from quasi-solutions to solution;existential variables and local consistency in finite domain constraint problems;logical semantics of concurrent constraint programming;solving non-binary convex CSPs in continuous domains;an experimental comparison of three modified deltablue algorithms;constraint logic programming over unions of constraint theories and on query languages for linear queries definable with polynomial constraints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

java and information retrieval from the Internet 03

Java and information retrieval from the Internet

引用

proceedings of the 2nd international conference on principles and practice of programming in java

作者： Brian Nolan Institute of Technology Blanchardstown

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：