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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,259 篇 会议
56 册 图书
24 篇 期刊文献

馆藏范围

3,339 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,736 篇 工学
- 1,337 篇 计算机科学与技术...
- 1,225 篇 软件工程
- 212 篇 控制科学与工程
- 210 篇 信息与通信工程
- 197 篇 电气工程
- 153 篇 机械工程
- 135 篇 材料科学与工程（可...
- 132 篇 安全科学与工程
- 127 篇 生物工程
- 126 篇 生物医学工程（可授...
- 94 篇 土木工程
- 93 篇 交通运输工程
- 85 篇 建筑学
- 79 篇 动力工程及工程热...
- 75 篇 电子科学与技术（可...
- 70 篇 化学工程与技术
- 62 篇 力学（可授工学、理...
709 篇 理学
- 498 篇 数学
- 173 篇 统计学（可授理学、...
- 131 篇 生物学
- 115 篇 物理学
- 113 篇 系统科学
- 60 篇 化学
390 篇 管理学
- 281 篇 管理科学与工程(可...
- 172 篇 图书情报与档案管...
- 128 篇 工商管理
94 篇 医学
- 86 篇 基础医学(可授医学...
- 81 篇 临床医学
56 篇 经济学
- 56 篇 应用经济学
52 篇 教育学
- 51 篇 教育学
43 篇 法学
32 篇 农学
6 篇 文学
5 篇 军事学
1 篇 艺术学

主题

971 篇 predictive model...
282 篇 accuracy
268 篇 data models
240 篇 computational mo...
208 篇 analytical model...
182 篇 prediction algor...
150 篇 training
139 篇 software enginee...
136 篇 feature extracti...
121 篇 software
120 篇 machine learning
118 篇 deep learning
108 篇 forecasting
105 篇 neural networks
103 篇 adaptation model...
84 篇 optimization
83 篇 machine learning...
82 篇 mathematical mod...
75 篇 real-time system...
62 篇 support vector m...

机构

10 篇 school of inform...
7 篇 national enginee...
7 篇 hubei key labora...
7 篇 school of electr...
7 篇 school of automa...
6 篇 school of comput...
6 篇 school of softwa...
6 篇 school of electr...
6 篇 engineering rese...
5 篇 school of comput...
5 篇 school of transp...
5 篇 nanjing univ sta...
5 篇 chitkara univers...
5 篇 school of softwa...
4 篇 school of inform...
4 篇 naval university...
4 篇 school of manage...
4 篇 school of softwa...
4 篇 software enginee...
4 篇 school of electr...

作者

8 篇 labiche yvan
7 篇 hassan ahmed e.
7 篇 menzies tim
5 篇 yang yang
5 篇 mcintosh shane
5 篇 chen li
5 篇 ziadi tewfik
5 篇 yan wang
4 篇 yu wang
4 篇 ming li
4 篇 liu yang
4 篇 hall tracy
4 篇 xintian liu
4 篇 bowes david
4 篇 monden akito
4 篇 min wu
4 篇 matsumoto ken-ic...
4 篇 yu zhang
4 篇 lei zhang
4 篇 briand lionel c.

语言

3,043 篇 英文
285 篇 其他
25 篇 中文
1 篇 俄文

检索条件"任意字段=Proceedings of the 6th International Conference on Predictive Models in Software Engineering"

共 3339 条记录，以下是3311-3320 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

software Process Improvement and Capability Determination 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Terry Rout Rory V. O’Connor Alec Dorling

ISBN: (数字)9783319198606

ISBN: (纸本)9783319198590

this book constitutes the refereed proceedings of the 15th international conference on software Process Improvement and Capability Determination, SPICE 2015, held in Gothenburg, Sweden, in June 2015. the 17 revised full papers presented together with three short papers were carefully reviewed and selected from 48 submissions. the papers are organized in topical sections on industrial frameworks; implementation and assessment; process improvement; agile processes; assessment and maturity models; process and education.

关键词： Management of Computing and Information Systems software engineering IT in Business Computer Appl. in Administrative Data Processing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Bioinspired models of Network, Information, and Computing Systems 1

引用

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

1000年

作者： Eitan Altman Iacopo Carrera Rachid El-Azouzi Yezekael Hayel Emma Hart

ISBN: (数字)9783642128080

ISBN: (纸本)9783642128073

this volume of LNICST is a collection of the papers of the 4th international conference on Bio-Inspired models of Network, Information, and Computing Systems (Bionetics). the event took place in the medieval city of Avignon, known also as the City of the Popes, during December 9 to 11, 2009. Bionetics main objective is to bring b- inspired paradigms into computer engineereing and networking, and to enhance the fruitful interactions between these fields and biology. the program of the conference indeed includes applications of various paradigms that have their origin in biology: population dynamics, branching processes, ant c- ony optimization. the proceedings include 19 papers covering a broad range of - portant issues in areas related to bio-inspired technologies. they correspond to pr- entations at 6 technical sessions. Four papers correspond to an invited session on the Epidemic-type forwarding in DTNs (sparse mobile ad-hoc wireless networks) org- ized by Dr Francesco De Pellegrini, (Italy, CREATE-NET). the following 9 papers (selected out of 15 submissions) correspond to contributions to regular sessions on Bio-inspired security, Bio-Inspired Networking, Bioinspired algorithms and software systems. the remaining 6 papers (selected out of a total of 9 submissions) are de- cated to work in progress. For each paper, we have provided at least two independent reviews, most of which were offered by members of the TPC.

关键词： Computer Communication Networks software engineering/Programming and Operating Systems software engineering Information Systems Applications (incl. Internet) Programming Techniques Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Analysis of Timed Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Víctor Braberman Laurent Fribourg

ISBN: (数字)9783642402296

ISBN: (纸本)9783642402289

this book constitutes the refereed proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.;the 18 revised full papers presented were carefully reviewed and selected from 41 submissions. the book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).

关键词： Logics and Meanings of Programs software engineering Probability and Statistics in Computer Science

来源：评论

学校读者我要写书评

暂无评论

Database and Expert Systems Applications 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Hendrik Decker Lenka Lhotská Sebastian Link Josef Basl A Min Tjoa

ISBN: (数字)9783642402852

ISBN: (纸本)9783642402845

this two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th international conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. the 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. these papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.

关键词： Data Mining and Knowledge Discovery Database Management Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Model Driven engineering Languages and Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Robert B. France Jürgen Kazmeier Ruth Breu Colin Atkinson

ISBN: (数字)9783642336669

ISBN: (纸本)9783642336652

this book constitutes the refereed proceedings of the 15th international conference on Model Driven engineering Languages and Systems, models 2012, held in Innsbruck, Austria, in September/October 2012. the 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. they are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

关键词： Programming Languages, Compilers, Interpreters software engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation

来源：评论

学校读者我要写书评

暂无评论

Precision Assembly in the Digital Age 1

引用

丛书名： IFIP Advances in Information and Communication Technology

1000年

作者： Svetan Ratchev

ISBN: (数字)9783030059316

ISBN: (纸本)9783030059309

this book constitutes the refereed post-conference proceedings of the 8th IFIP WG 5.5 international Precision Assembly Seminar, IPAS 2018, held in Chamonix, France, in January 2018.;the 20 revised full papers were carefully reviewed and selected from numerous submissions. the papers address topics such as machine vision and metrology for assembly operations, gripping and handling technologies, numerical methods and planning in assembly, digital technologies and Industry 4.0 applications, precision assembly methods, assembly systems and platforms and human cooperation, and machine learning. they are organized in the following topical sections: design and deployment of assembly systems; human robot cooperation and machine vision; assembly methods and models; digital technologies and industry 4.0 applications; and gripping and handling solutions in assembly.

关键词： Computer Applications Robotics Special Purpose and Application-Based Systems Computer Communication Networks software engineering User Interfaces and Human Computer Interaction

来源：评论

学校读者我要写书评

暂无评论

Formal Methods for Open Object-Based Distributed Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Elie Najm Uwe Nestmann Perdita Stevens

ISBN: (数字)9783540399582

ISBN: (纸本)9783540204916

this volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 international conference on Formal Methods for Open Object-Based Distributed Systems. the conference was held in Paris, France on November 19–21, 2003. the event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. thegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems,andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. the objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.

关键词： Programming Techniques Computer Communication Networks software engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Digital Forensics and Cyber Crime 1

Digital Forensics and Cyber Crime

引用

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

1000年

作者： Sanjay Goel Ersin Uzun Mengjun Xie Sumantra Sarkar

ISBN: (数字)9783031893636

ISBN: (纸本)9783031893629

the two-volume set, LNICST 613 and 614, constitutes the refereed post-conference proceedings of the 15th EAI international conference on Digital Forensics and Cyber Crime, ICDF2C 2024, held in Dubrovnik, Croatia, during October 9–10, 2024. the 40 full papers presented here were carefully selected and reviewed from 90 submissions. these papers have been organized in the following topical sections: Part I- Artificial Intelligence & Security; Multimedia Forensics; Intrusion Detection; Intrusion and Fraud Detection; Large Language models, Advances in Security and Forensics; Advances in Security and Forensics. Part II- Security Analytics, threat Intelligence, Multimedia Forensics; Generative AI, Emerging threats.

关键词： Systems and Data Security Computer Applications Computer System Implementation Computer Communication Networks software engineering/Programming and Operating Systems Operating Systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共334页 << < 325 326 327 328 329 330 331 332 333 334 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：