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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,790 篇 会议
353 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,220 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,588 篇 工学
- 3,087 篇 计算机科学与技术...
- 2,586 篇 软件工程
- 583 篇 信息与通信工程
- 434 篇 控制科学与工程
- 339 篇 电气工程
- 230 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
108 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,091 篇 英文
105 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5224 条记录，以下是4981-4990 订阅

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

详细简洁

排序：

software Architecture 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Danny Weyns Raffaela Mirandola Ivica Crnkovic

ISBN: (数字)9783319237275

ISBN: (纸本)9783319237268

this book constitutes the proceedings of the 9th European conference on software Architecture, ECSA 2015, held in Cavtat, Croatia in September 2015.;the 12 full papers and 15 short papers presented together with three education and training papers in this volume were carefully reviewed and selected from 100 submissions. they are organized in topical sections named: adaptation; design approaches; decisions and social aspects; education and training; cloud and green; agile and smart systems; analysis and automation; services and ecosystems.

关键词： software engineering Management of Computing and Information systems Programming Languages, Compilers, Interpreters Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

High Performance Computing - HiPC 2008 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Ponnuswamy Sadayappan Manish Parashar Ramamurthy Badrinath Viktor K. Prasanna

ISBN: (数字)9783540898948

ISBN: (纸本)9783540898931

this book constitutes the refereed proceedings of the 15th International conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008. the 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. the papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.

关键词： software engineering/Programming and Operating systems theory of Computation computer engineering computer systems Organization and Communication Networks Performance and Reliability Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

Usability- and Accessibility-Focused Requirements engineering 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Achim Ebert Shah Rukh Humayoun Norbert Seyff Anna Perini Simone D.J. Barbosa

ISBN: (数字)9783319459165

ISBN: (纸本)9783319459158

this book constitutes the thoroughly refereed post-conference proceedings of the;First International Workshop on Usability and Accessibility focused Requirements;engineering, UsARE 2012, held in Zurich, Switzerland, in June 2012 in conjunction;with ICSE 2012, the 34th International conference on software engineering, and the;Second International Workshop, UsARE 2014, held in Karlskrona, Sweden, in August;2014, in the course of RE 2014, the 22nd International Requirements engineering;conference.;this book consists of 10 chapters of which 9 are extended versions of the papers;presented at the two UsARE events. Amongst them, 3 are extended versions of the;papers presented at UsARE 2012 and 6 are extended versions of papers presented at;UsARE 2014 - rounded off by a new chapter that was added as authors are doing;relevant work on the same topic. the chapters are organized intothree sections;according to their main focus: usability and user experience, accessibility and;applications.

关键词： software engineering User Interfaces and Human computer Interaction Information systems Applications (incl. Internet) Artificial Intelligence Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Computational Logic — CL 2000 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey

ISBN: (数字)9783540449577

ISBN: (纸本)9783540677970

these are the proceedings of the First International conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. the theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. the conference was collocated with the following events: { 6th International conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: theory and Extensions { Constraints { Automated Deduction: Putting theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database systems (DOOD 2000) { Logic Programming: Implementations and Applications. the LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. the acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

关键词： Artificial Intelligence software engineering/Programming and Operating systems computer System Implementation Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Security and Privacy in Communication Networks 1

引用

丛书名： Lecture Notes of the Institute for computer Sciences, Social Informatics and Telecommunications engineering

1000年

作者： Xiaodong Lin Ali Ghorbani Kui Ren Sencun Zhu Aiqing Zhang

ISBN: (数字)9783319788166

ISBN: (纸本)9783319788159

this book constitutes the refereed proceedings of two workshops held at the 13th International conference on Security and Privacy in Communications Networks, SecureComm 2017, held in Niagara Falls, ON, Canada, in October 2017: the 5th International Workshop on Applications and Techniques in Cyber Security, ATCS 2017, and the First Workshop on Security and Privacy in the Internet Of things, SePrIoT 2017.;the 22 revised regular papers were carefully reviewed and selected from 105 submissions. the topics range from access control; language-based security; malicious software; network security; cloud security; software security; operating system security; privacy protection, database security, security models; and many more.;the SePrIoT workshop targets to address novel approaches in security and privacy. the papers focuse, amongst others, on novel models, techniques, protocols, algorithms, or architectures.

关键词： systems and Data Security Security Cryptology computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Serviceology for Services 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Yoshinori Hara Dimitris Karagiannis

this book constitutes the refereed proceedings of the 5th International conference on Serviceology for Services, held in Vienna, Austria, in July 2017.

ISBN: (数字)9783319612409

ISBN: (纸本)9783319612393

this book constitutes the refereed proceedings of the 5th International conference on Serviceology for Services, held in Vienna, Austria, in July 2017.

关键词： software engineering Information systems Applications (incl. Internet) Management of Computing and Information systems IT in Business computer Communication Networks Information Storage and Retrieval

来源：评论

学校读者我要写书评

暂无评论

ICTERI 2021 Workshops 1

引用

丛书名： Communications in computer and Information Science

1000年

作者： Oleksii Ignatenko Vyacheslav Kharchenko Vitaliy Kobets Hennadiy Kravtsov Yulia Tarasich Aleksander Spivakovsky Vadim Ermolayev David Esteban Vitaliy Yakovyna

ISBN: (数字)9783031148415

ISBN: (纸本)9783031148408

this book contains the workshops papers presented at the 17th International conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, in September-October 2021.;the 33 revised full papers and 4 short papers included in this volume were carefully reviewed and selected from 105 initial submissions. the papers are organized according to the following workshops: 9th International Workshop on Information Technology in Economic Research (ITER 2021); 5th International Workshop on Methods, Resources and Technologies for Open Learning and Research (MROL 2021); International Workshop RMSEBT 2021: Rigorous Methods in software engineering and Blockchain Technologies; 7th International Workshop on theory of Reliability and Markov Modeling for Information Technologies (theRMIT 2021); 1st Ukrainian Natural Language Processing Workshop (UNLP 2021).

关键词： computers and Education Information systems Applications (incl. Internet) Artificial Intelligence Data Structures and Information theory software engineering/Programming and Operating systems computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Algorithms and Architectures for Parallel Processing 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Xian-he Sun Wenyu Qu Ivan Stojmenovic Wanlei Zhou Zhiyang Li Tingting Yang Hua Guo Geyong Min Yulei Wu Lei Liu

ISBN: (数字)9783319111971

ISBN: (纸本)9783319111964

this two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, held in Dalian, China, in August 2014. the 70 revised papers presented in the two volumes were selected from 285 submissions. the first volume comprises selected papers of the main conference and papers of the 1st International Workshop on Emerging Topics in Wireless and Mobile Computing, ETWMC 2014, the 5th International Workshop on Intelligent Communication Networks, IntelNet 2014, and the 5th International Workshop on Wireless Networks and Multimedia, WNM 2014. the second volume comprises selected papers of the main conference and papers of the Workshop on Computing, Communication and Control Technologies in Intelligent Transportation System, 3C in ITS 2014, and the Workshop on Security and Privacy in computer and Network systems, SPCNS 2014.

关键词： Algorithm Analysis and Problem Complexity software engineering computer Communication Networks Database Management

来源：评论

学校读者我要写书评

暂无评论

UbiComp 2003: Ubiquitous Computing 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Anind K. Dey Albrecht Schmidt Joseph F. McCarthy

ISBN: (数字)9783540396536

ISBN: (纸本)9783540203018

UbiComp 2003, the 5th Annual conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies. the conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who are exploring the impli- tions of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. this volume, the conference proceedings, contains the entire collection of high-quality full papers and technical notes from UbiComp 2003. there were 16 full papers in this year’s conference, selected by our international program committee from among 117 submissions. there were also 11 technical notes in the program: 8 taken from the 36 technical note submissions, and 3 that were adapted from full paper submissions. We are very grateful to Tim Kindberg and Bernt Schiele, our Technical Notes Co-chairs, and to all the authors and reviewers of both papers and technical notes who contributed to maintaining the high standards of quality for the conference. In addition to the full papers and technical notes, UbiComp 2003 also p- vided a number of other participation categories, including workshops, dem- strations, interactive posters, a panel, a doctoral colloquium and a video p- gram. While accepted submissions in these categories were also of high quality, timing and size constraints prevented us from including them in this volume.

关键词： User Interfaces and Human computer Interaction computer Communication Networks Special Purpose and Application-Based systems software engineering Operating systems Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Perspectives in Conceptual Modeling 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Jacky Akoka Stephen W. Liddle Il-Yeol Song Michela Bertolotto Isabelle Comyn-Wattiau Willem-Jan Heuvel Manuel Kolp Juan Trujillo Christian Kop Heinrich C. Mayr

ISBN: (数字)9783540322399

ISBN: (纸本)9783540293958

We are pleased to present the proceedings of the workshops held in conjunction with ER 2005, the 24th International conference on Conceptual Modeling. the objective of these workshops was to extend the spectrum of the main conferencebygivingparticipantsanopportunitytopresentanddiscussemerging hot topics related to conceptual modeling and to add new perspectives to this key mechanism for understanding and representing organizations, including the new “virtual” e-environments and the information systems that support them. To meet this objective, we selected 5 workshops: – AOIS 2005: 7th International Bi-conference Workshop on Agent-Oriented Information systems – BP-UML 2005: 1st International Workshop on Best Practices of UML – CoMoGIS 2005: 2nd International Workshop on Conceptual Modeling for Geographic Information systems – eCOMO 2005: 6th International Workshop on Conceptual Modeling - proaches for E-business – QoIS 2005: 1st International Workshop on Quality of Information systems these 5 workshops attracted 18, 27, 31, 9, and 17 papers, respectively. F- lowing the ER workshopphilosophy, program committees selected contributions on the basis of strong peer reviews in order to maintain a high standard for accepted papers. the committees accepted 8, 9, 12, 4, and 7 papers, for acc- tance ratesof 44%,33%,39%,44%, and 41%,respectively. In total, 40 workshop papers were selected out of 102 submissions with a weighted averageacceptance rate of 40%.

关键词： software engineering/Programming and Operating systems Simulation and Modeling Information systems Applications (incl. Internet) Database Management Information Storage and Retrieval Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：