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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1051-1060 订阅

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

详细简洁

排序：

Advances in System-Integrated Intelligence 1

引用

丛书名： Lecture Notes in Networks and Systems

1000年

作者： Maurizio Valle Christian Gianoglio Edoardo Ragusa Lucia Seminara Dirk Lehmhus Stefan Bosse Ali Ibrahim Klaus-Dieter thoben

this book reports on cutting-edge research and developments focusing on60; integrating60;intelligent functionalities into materials, components, systems and products. Gathering the proceedings of the 6th Interna... 详细信息

ISBN: (数字)9783031162817

ISBN: (纸本)9783031162800

this book reports on cutting-edge research and developments focusing on integrating intelligent functionalities into materials, components, systems and products. Gathering the proceedings of the 6th international conference on System-Integrated Intelligence (SysInt 2022), held on September 7-9, in Genova, Italy, it offers a comprehensive, multidisciplinary and applied perspective on the state-of-the art and challenges in the field of intelligent, flexible and connected systems. the book covers advanced methods and applications relating to artificial, pervasive and ubiquitous intelligence, sensors, smart factory and logistics, structural health monitoring, as well as soft robotics, cognitive systems and human-machine interaction. Giving a special focus to artificial intelligence, it extensively reports on methods and algorithms for data-driven modeling, and agent-based data processing and planning. It aims at inspiring and fostering collaboration between researchers and professionals from the different fields of electrical, manufacturing and production engineering, and materials and computer sciences.

关键词： Cyber-physical systems, IoT Machine Learning Robotics and Automation

来源：评论

学校读者我要写书评

暂无评论

Logic programming and Nonmonotonic Reasoning 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Esra Erdem Fangzhen Lin Torsten Schaub

ISBN: (数字)9783642042386

ISBN: (纸本)9783642042379

this volume contains the proceedings of the 10th international conference on Logic programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. the aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. the special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. the special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. the presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

关键词： artificial Intelligence Discrete Mathematics theory of Computation Discrete Mathematics in Computer science Logics and Meanings of Programs Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Hardware and Software: Verification and Testing 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Sharon Barner Orna Raz Ian Harris Daniel Kroening

ISBN: (数字)9783642195839

ISBN: (纸本)9783642195822

this book constitutes the thoroughly refereed post-conference proceedings of the 6th international Haifa Verification conference, HVC 2010, held in Haifa, Israel in October 2010. the 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. the papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

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

来源：评论

学校读者我要写书评

暂无评论

Tools and Algorithms for the Construction and Analysis of Systems 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Susanne Graf Michael Schwartzbach

ISBN: (数字)9783540464198

ISBN: (纸本)9783540672821

this book constitutes the refereed proceedings of the 6th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.;the 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. the papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

关键词： Software engineering/programming and Operating Systems Logics and Meanings of Programs Software engineering Computer Communication Networks Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Software engineering — ESEC/FSE'97 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540695929

ISBN: (纸本)9783540635314

this book constitutes the refereed proceedings of the 6th European conference on Software engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software engineering, FSE '97 in Zurich, Switzerland in September 1997.;the volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. the papers are organized in topical sections on software engineering education, software architecture, processes, configuration and process tools, formal analysis, empirical studies, system modelling, testing, program analysis, and decomposition and distribution.

关键词： Software engineering/programming and Operating Systems Software engineering Management of Computing and Information Systems programming Techniques programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems

来源：评论

学校读者我要写书评

暂无评论

Extreme programming and Agile Processes in Software engineering 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Hubert Baumeister Michele Marchesi Mike Holcombe

ISBN: (数字)9783540314875

ISBN: (纸本)9783540262770

Extreme programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck’s book on Extreme programming, containing a major refactoring of XP. this year, the 6th international conference on Extreme programming and Agile Processes in Software engineering took place June 18–23 in She?eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme programming and - ile methodologies. these proceedings re?ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master’s Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. the papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and ***62paperssubmitted, only 22 were accepted as full papers.

关键词： Software engineering programming Techniques programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computers and Society Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Software engineering and Formal Methods 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Gilles Barthe Alberto Pardo Gerardo Schneider

ISBN: (数字)9783642246906

ISBN: (纸本)9783642246890

this book constitutes the refereed proceedings of the 9th international conference on Software engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.;the 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. the aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

关键词： Software engineering Logics and Meanings of Programs programming Languages, Compilers, Interpreters programming Techniques Computer Communication Networks artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Algorithmic Aspects in Information and Management 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Bo Chen

ISBN: (数字)9783642143557

ISBN: (纸本)9783642143540

While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the design of e?cient and e?ective algorithms and data structures for their management and processing. the international conference on Algorithmic Aspects in Information and Management(AAIM) is intended for originalalgorithmicresearchon immediate applications and/or fundamental problems pertinent to information mana- ment and management science to be broadly construed. the conference aims at bringing together researchers in computer science, operations research, applied mathematics, economics, and related disciplines. this volume contains papers presented at AAIM 2010: the 6th international conference on Algorithmic Aspects in Information and Management, which was held during July 19-21, 2010, in Weihai, China. We received a total of 50 s- *** the ProgramC- mittee or their deputies on the quality, originality, soundness, and signi?cance of its contribution. the committee decided to accept 31 papers. the program also included two invited keynote talks. the success of the conference resulted from the input of many people. We would like ?rst of all to thank all the members of the Program Committee for their expert evaluation of the submissions. the local organizers in the School of Computer science and Technology, Shandong University, did an extraordinary job, for which we are very grateful. We thank the National Natural science Foundation of China, Montana State University (USA), University of Warwick (UK), and Shandong University (China) for their sponsorship.

关键词： Software engineering/programming and Operating Systems programming Techniques theory of Computation Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer science Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Applied Informatics 1

引用

丛书名： Communications in Computer and Information science

1000年

作者： Hector Florez Marcelo Leon

this book constitutes the proceedings of the60;6th60;international conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador,60;in October 2023.;the 30 papers presented in this volu... 详细信息

ISBN: (数字)9783031468131

ISBN: (纸本)9783031468124

this book constitutes the proceedings of the 6th international conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.;the 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. the contributions are divided into the following thematic blocks: artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.

关键词： Computer Applications artificial Intelligence Software engineering/programming and Operating Systems Operating Systems Computer Imaging, Vision, Pattern Recognition and Graphics

来源：评论

学校读者我要写书评

暂无评论

Tools and Methods of Program Analysis 1

引用

丛书名： Communications in Computer and Information science

1000年

作者： Rostislav Yavorskiy Ana Rosa Cavalli Anna Kalenkova

ISBN: (数字)9783031504235

ISBN: (纸本)9783031504228

this book constitutes the refereed proceedings of the 6th international conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.;the 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. they focus on various aspects of application of modern methods of data science to the analysis of software quality.

关键词： Software engineering/programming and Operating Systems artificial Intelligence Computer Applications Computer Communication Networks theory of Computation Professional Computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：