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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

996 篇 会议
68 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

695 篇 工学
- 566 篇 计算机科学与技术...
- 495 篇 软件工程
- 146 篇 控制科学与工程
- 132 篇 信息与通信工程
- 89 篇 电气工程
- 70 篇 机械工程
- 59 篇 动力工程及工程热...
- 51 篇 生物工程
- 48 篇 交通运输工程
- 44 篇 电子科学与技术（可...
- 37 篇 安全科学与工程
- 27 篇 光学工程
- 25 篇 生物医学工程（可授...
- 23 篇 仪器科学与技术
- 22 篇 化学工程与技术
- 19 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
391 篇 理学
- 297 篇 数学
- 59 篇 生物学
- 54 篇 系统科学
- 48 篇 物理学
- 38 篇 统计学（可授理学、...
- 28 篇 化学
195 篇 管理学
- 148 篇 管理科学与工程(可...
- 77 篇 工商管理
- 70 篇 图书情报与档案管...
40 篇 教育学
- 40 篇 教育学
37 篇 经济学
- 37 篇 应用经济学
23 篇 法学
- 20 篇 社会学
16 篇 医学
13 篇 农学
2 篇 文学
2 篇 军事学

主题

66 篇 software enginee...
64 篇 linear programmi...
53 篇 programming
40 篇 software enginee...
33 篇 artificial intel...
29 篇 optimization
26 篇 dynamic programm...
25 篇 programming tech...
24 篇 costs
22 篇 computational mo...
19 篇 programming lang...
18 篇 programming prof...
18 篇 integer programm...
18 篇 logics and meani...
17 篇 training
16 篇 computer communi...
16 篇 students
14 篇 machine learning
14 篇 engineering educ...
13 篇 computer science

机构

4 篇 department of sy...
4 篇 zhejiang univers...
4 篇 school of comput...
4 篇 state grid sichu...
4 篇 school of inform...
4 篇 school of mechan...
3 篇 school of automa...
3 篇 school of inform...
3 篇 school of comput...
3 篇 cent res inst el...
3 篇 eindhoven univer...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
3 篇 school of comput...
3 篇 school of inform...
3 篇 polytechnic inst...
3 篇 department of co...
3 篇 school of inform...
3 篇 school of inform...

作者

4 篇 hideki katagiri
4 篇 sanxing cao
4 篇 yin guodong
3 篇 zhang tao
3 篇 laksono pringgo ...
3 篇 chen hao
3 篇 kosuke kato
3 篇 rosyidi cucuk nu...
3 篇 miller j
3 篇 takano hirotaka
3 篇 asano hiroshi
3 篇 liu wei
3 篇 zhang chen
3 篇 shen tong
3 篇 smith m
3 篇 el-kenawy el-say...
3 篇 yang liu
3 篇 martin a
3 篇 abotaleb mostafa
3 篇 mugridge r

语言

1,040 篇 英文
32 篇 其他
5 篇 中文
1 篇 西班牙文

检索条件"任意字段=6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022"

共 1074 条记录，以下是1031-1040 订阅

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

详细简洁

排序：

Euro-Par 2007 Workshops: Parallel Processing 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540784746

ISBN: (纸本)9783540784722

Parallelanddistributedprocessing,althoughwithinthefocusofcomputerscience researchforalongtime,isgainingmoreandmoreimportanceinawidespectrum of applications. these proceedings aim to demonstrate the use of parallel and distributed processing concepts in di?erent application ?elds, and attempt to spark interest in novel research directions to advance the embracing model of high-performance computing research in general. the objective of these workshops is to speci?cally address researchers c- ing from university, industry and governmental research organizations and application-oriented companies, in order to close the gap between purely s- enti?c research and the applicability of the research ideas to real-life problems. Euro-Par is an annual series of international conferences dedicated to the promotionandadvancementofallaspectsofparallelanddistributedcomputing. the 2007 event was the 13th issue of the conference. Euro-Par has for a long time been eager to attract colocated events sharing the same goal of promoting the development of parallel and distributed computing, both as an industrial technique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. Since 2006, Euro-Par o?ers researchersthe chance to colocate advanced technical workshops back-to-back with the main conference. this is for a mutual bene?t: the workshops can take advantage of all technical and social facilities which are set up for the conference, so that the organizational tasks are kept to a minimal level; the conference can rely on workshopstoexperimentwithspeci?careasofresearchwhicharenotyetmature enough, or too speci?c, to lead to an o?cial, full-?edged topic at the conference.

关键词： Computer Communication Networks Computer Systems Organization and Communication Networks Software engineering/programming and Operating Systems theory of Computation Numeric Computing Data Mining and Knowledge Discovery

来源：评论

学校读者我要写书评

暂无评论

Dependable Networks and Services 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Ramin Sadre Jiří Novotný Pavel Čeleda Martin Waldburger Burkhard Stiller

ISBN: (数字)9783642306334

ISBN: (纸本)9783642306327

this book constitutes the refereed proceedings of the 6th IFIP WG 6.6 international conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, held in Luxembourg in June 2012. the 10 full papers presented were carefully reviewed and selected from 23 submissions. they cover autonomic and distributed management, network security, network monitoring, and special environments and Internet of things. In addition, this book contains 9 workshop papers which were selected from 18 submissions. they deal with high-speed networks and network management, intrusion detection, and network monitoring and security.

关键词： Software engineering Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity Operating Systems programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Declarative Agent Languages and Technologies VI 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Matteo Baldoni Tran Cao Son M. Birna Riemsdijk Michael Winikoff

ISBN: (数字)9783540939207

ISBN: (纸本)9783540939191

this volume constitutes the revised selected papers of the 6th international Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th international Joint conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. the 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. the workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

关键词： artificial Intelligence Computer Communication Networks Software engineering/programming and Operating Systems Models and Principles Software engineering programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Advances in Natural Language Processing 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Bengt Nordström Aarne Ranta

ISBN: (数字)9783540852872

ISBN: (纸本)9783540852865

this book constitutes the refereed proceedings of the 6th international conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. the 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. the papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

关键词： programming Languages, Compilers, Interpreters Database Management Natural Language Processing (NLP) artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Analysis of Timed Systems 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540857785

ISBN: (纸本)9783540857778

this book constitutes the refereed proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. the 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. the papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

关键词： programming Techniques theory of Computation Software engineering/programming and Operating Systems Logics and Meanings of Programs Models and Principles programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Software Architecture. ECSA 2022 Tracks and Workshops 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： thais Batista Tomáš Bureš Claudia Raibulet Henry Muccini

ISBN: (数字)9783031368899

ISBN: (纸本)9783031368882

this book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;the 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.;Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th international Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures international Workshop (CASA); 6th international Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd international Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd international Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd international Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st international Workshop on Digital Twin Architecture (TwinArch).

关键词： Software engineering/programming and Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Static Analysis 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Agostino Cortesi Gilberto Filé

ISBN: (数字)9783540482949

ISBN: (纸本)9783540664598

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. the last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. this volume contains the proceedings of the 6th international Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. the previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). the program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. the resulting volume o ers to the reader a complete landscape of the research in this area. the papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.

关键词： Software engineering/programming and Operating Systems theory of Computation programming Languages, Compilers, Interpreters programming Techniques Software engineering Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Product Focused Software Process Improvement 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Frank Bomarius Seija Komi-Sirviö

ISBN: (数字)9783540316404

ISBN: (纸本)9783540262008

On behalf of the PROFES Organizing Committee we are proud to present to you the proceedings of the 6th international conference on Product Focused Software Process Improvement (PROFES 2005), held in Oulu, Finland. Since 1999, PROFES has established itself as one of the recognized inter- tional software process improvement conferences. thepurposeoftheconferenceistobringtolightthemostrecent?ndingsand results in the area and to stimulate discussion between researchers, experienced professionals,*** from industry con?rms that the conference provides a variety of up-to-date t- ics and tackles industry problems. the main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. the conference addresses both the solutions found in practice and the relevant research results from academia. this is re?ected in the 42 full papers, which are – as in the years before – a well-balanced mix of academic papers as well as industrial experience reports. the business of developing new applications like mobile and Internet services orenhancingthefunctionalityofavarietyofproductsusingembeddedsoftwareis rapidlygrowing,*** papers focusing on wireless and the Internet are grouped into a special “mobile and wireless” session. WewishtothankVTTElectronics,theUniversityofOuluincludingInfotech, and Fraunhofer IESE for supporting the conference. We are also grateful to the authors for high-quality papers, the Program Committee fortheir hard work in reviewing the papers, the Organizing Committee for making the event possible, and all the numerous supporters who helped in organizing this conference.

关键词： Software engineering/programming and Operating Systems Software engineering Computer Appl. in Administrative Data Processing Computers and Society Management of Computing and Information Systems Innovation/Technology Management

来源：评论

学校读者我要写书评

暂无评论

Practical Aspects of Declarative Languages 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Bharat Jayaraman

ISBN: (数字)9783540248361

ISBN: (纸本)9783540222538

the international Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. the 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. the ?rst was given by Paul Hudak (Yale University) on “An Algebraic theory of Polymorphic T- poral Media. ” the second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.

关键词： Software engineering/programming and Operating Systems programming Languages, Compilers, Interpreters programming Techniques Logics and Meanings of Programs Software engineering

来源：评论

学校读者我要写书评

暂无评论

Software engineering and Formal Methods 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Bernd-Holger Schlingloff Ming Chai

ISBN: (数字)9783031171086

ISBN: (纸本)9783031171079

this book constitutes the refereed proceedings of the 20th international conference on Software engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. the 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. they were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

关键词： Software engineering/programming and Operating Systems Data Structures and Information theory Logic in AI Control Structures and Microprogramming Computer System Implementation programming Techniques

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 99 100 101 102 103 104 105 106 107 108 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：