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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,831 篇 会议
118 册 图书
17 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

809 篇 工学
- 657 篇 计算机科学与技术...
- 484 篇 软件工程
- 178 篇 信息与通信工程
- 114 篇 材料科学与工程（可...
- 101 篇 控制科学与工程
- 68 篇 电气工程
- 48 篇 电子科学与技术（可...
- 39 篇 机械工程
- 23 篇 建筑学
- 22 篇 生物工程
- 20 篇 土木工程
- 19 篇 生物医学工程（可授...
- 17 篇 网络空间安全
- 16 篇 安全科学与工程
- 15 篇 化学工程与技术
- 12 篇 光学工程
160 篇 理学
- 92 篇 数学
- 27 篇 系统科学
- 26 篇 生物学
- 23 篇 物理学
- 22 篇 统计学（可授理学、...
150 篇 管理学
- 110 篇 管理科学与工程(可...
- 55 篇 工商管理
- 49 篇 图书情报与档案管...
25 篇 教育学
- 25 篇 教育学
17 篇 医学
- 16 篇 临床医学
- 13 篇 基础医学(可授医学...
15 篇 法学
- 12 篇 社会学
12 篇 经济学
- 12 篇 应用经济学
10 篇 文学
- 10 篇 新闻传播学
5 篇 军事学
4 篇 农学
1 篇 艺术学

主题

309 篇 application soft...
268 篇 software enginee...
234 篇 computer science
166 篇 software systems
161 篇 computer archite...
138 篇 computer aided s...
116 篇 computer softwar...
106 篇 programming
93 篇 hardware
90 篇 control systems
87 篇 artificial intel...
76 篇 costs
72 篇 software
63 篇 information syst...
59 篇 prototypes
58 篇 real time system...
57 篇 computational mo...
56 篇 systems engineer...
56 篇 testing
55 篇 humans

机构

10 篇 school of comput...
8 篇 department of co...
8 篇 department of el...
7 篇 weizmann inst sc...
7 篇 department of so...
6 篇 technion israel ...
6 篇 department of co...
6 篇 state key labora...
5 篇 the moise and fr...
5 篇 hebrew universit...
5 篇 department of el...
5 篇 ben gurion univ ...
5 篇 computer science...
5 篇 hebrew univ jeru...
4 篇 tel aviv univers...
4 篇 israel aircraft ...
4 篇 tel aviv univ sc...
4 篇 technion haifa
4 篇 university of ha...
4 篇 rafael advanced ...

作者

10 篇 kupferman orna
8 篇 exman iaakov
7 篇 maoz shahar
7 篇 harel david
6 篇 vardi moshe y.
6 篇 winokur michael
6 篇 j.z. lavi
6 篇 ringert jan oliv...
6 篇 a. yehudai
6 篇 mordechai guri
6 篇 yingxu wang
6 篇 rumpe bernhard
6 篇 tyszberowicz shm...
5 篇 david harel
5 篇 shahar maoz
5 篇 goldstein moshe
5 篇 rajkumar buyya
5 篇 pnina soffer
5 篇 balaban mira
5 篇 marron assaf

语言

1,957 篇 英文
5 篇 其他
4 篇 中文

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

共 1966 条记录，以下是1861-1870 订阅

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

详细简洁

排序：

Information systems Evolution 1

引用

丛书名： Lecture Notes in Business Information Processing

1000年

作者： Pnina Soffer Erik Proper

ISBN: (数字)9783642177224

ISBN: (纸本)9783642177217

This book constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International conference on Advanced Information systems engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010. While the CAiSE conference itself focuses on papers that report on matured research, the CAiSE forum was created specifically as a platform to present fresh ideas, new concepts, and new and innovative systems, tools, and applications. The 22 papers presented in this volume were carefully reviewed and selected from 32 submissions. The reworked and extended versions of the original presentations cover topics such as business process management, enterprise architecture and modeling, service-oriented architectures, and requirements engineering.

关键词： IT in Business computer Appl. in Administrative Data Processing Information systems Applications (incl. Internet) software engineering

来源：评论

学校读者我要写书评

暂无评论

Advanced Information systems engineering Workshops 1

引用

丛书名： Lecture Notes in Business Information Processing

1000年

作者： Marcela Ruiz Pnina Soffer

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International conference on Advanced Information systems engineering, CAiSE 2023, which was held in Zar... 详细信息

ISBN: (数字)9783031349850

ISBN: (纸本)9783031349843

关键词： computer Applications IT in Business software engineering/Programming and Operating systems systems and Data Security systems and Data Security

来源：评论

学校读者我要写书评

暂无评论

Advances in Conceptual Modeling 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Iris Reinhartz-Berger Shazia Sadiq

This book constitutes the refereed proceedings of three workshops symposia, held at the 40th International conference on Conceptual Modeling, ER 2021, which were held virtually and in St. John’s, NL, Canada, in Octob... 详细信息

ISBN: (数字)9783030883584

ISBN: (纸本)9783030883577

关键词： software engineering/Programming and Operating systems Artificial Intelligence Data Structures and Information Theory Database Management computer System Implementation

来源：评论

学校读者我要写书评

暂无评论

Knowledge-Based and Intelligent Information and engineering systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Rossitza Setchi Ivan Jordanov Robert J. Howlett Lakhmi C. Jain

ISBN: (数字)9783642153938

ISBN: (纸本)9783642153921

th The 14 International conference on Knowledge-Based and Intelligent Information and engineering systems was held during September 8–10, 2010 in Cardiff, UK. The conference was organized by the School of engineering at Cardiff University, UK and KES International. KES2010 provided an international scientific forum for the presentation of the - sults of high-quality research on a broad range of intelligent systems topics. The c- ference attracted over 360 submissions from 42 countries and 6 continents: Argentina, Australia, Belgium, Brazil, Bulgaria, Canada, Chile, China, Croatia, Czech Republic, Denmark, Finland, France, Germany, Greece, Hong Kong ROC, Hungary, India, Iran, Ireland, israel, Italy, Japan, Korea, Malaysia, Mexico, The Netherlands, New Zealand, Pakistan, Poland, Romania, Singapore, Slovenia, Spain, Sweden, Syria, Taiwan, - nisia, Turkey, UK, USA and Vietnam. The conference consisted of 6 keynote talks, 11 general tracks and 29 invited s- sions and workshops, on the applications and theory of intelligent systems and related areas. The distinguished keynote speakers were Christopher Bishop, UK, Nikola - sabov, New Zealand, Saeid Nahavandi, Australia, Tetsuo Sawaragi, Japan, Yuzuru Tanaka, Japan and Roger Whitaker, UK. Over 240 oral and poster presentations provided excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and generation of new ideas. Extended versions of selected papers were considered for publication in the Int- national Journal of Knowledge-Based and Intelligent engineering systems, Engine- ing Applications of Artificial Intelligence, Journal of Intelligent Manufacturing, and Neural Computing and Applications.

关键词： Artificial Intelligence Information systems Applications (incl. Internet) Data Mining and Knowledge Discovery computer Communication Networks Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

Model-Based Methodologies for Pervasive and Embedded software 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Ricardo J. Machado Rita Suzana P. Maciel Julia Rubin Goetz Botterweck

ISBN: (数字)9783642382093

ISBN: (纸本)9783642382086

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded software, MOMPES 2012, held in Essen, Germany, in September 2012.;The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

关键词： software engineering Logics and Meanings of Programs computer Communication Networks Programming Languages, Compilers, Interpreters Artificial Intelligence Simulation and Modeling

来源：评论

学校读者我要写书评

暂无评论

Mechanisms for Autonomous Management of Networks and Services 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Burkhard Stiller Filip Turck

ISBN: (数字)9783642139864

ISBN: (纸本)9783642139857

The International conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event. The main goal of AIMS is to look beyond borders and to stimulate the exchange of ideas across different communities and among PhD students. AIMS 2010 collocated the International Summer School in Network and Service Management (ISSNSM 2010). This unique summer school offers hands-on learning experiences in network and service management topics, which requires attendees to work in practical on-site courses combined with preceding short tutorial-like teaching sessions. AIMS 2010––which took place during June 23–25, 2010, in Zürich, Switzerland and was hosted by the Communication systems Group CSG, Department of Inform- ics IFI, of the University of Zürich UZH––followed the already established tradition of an unusually vivid and interactive conference series in terms of the fourth conf- ence, after successful instantiations in Oslo, Norway 2007, Bremen, Germany 2008, and Enschede, The Netherlands 2009. AIMS 2010 focused especially on autonomous management aspects of modern networks and their services. The set of mechanisms, peer-to-peer-based schemes, scalability aspects, and autonomous approaches are of major interest. In particular the design, monitoring, management, and protection of networked systems in an efficient, secure, and autonomic manner are key to comm- cially viable and successful networks and services.

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

来源：评论

学校读者我要写书评

暂无评论

TAPSOFT '91 1

引用

丛书名： Lecture Notes in computer Science

1000年

ISBN: (数字)9783540465638

ISBN: (纸本)9783540539827

is the fourth International Joint conference on Theory and Practice of software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of;are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2.;focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects. The;talks by distinguished invited speakers survey current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The;papers address aspects of the trend in software engineering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

关键词： Theory of Computation Applications of Mathematics software engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2013: Parallel Processing Workshops 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Dieter Mey Michael Alexander Paolo Bientinesi Carsten Clauss Mario Cannataro Alexandru Costan Christine Morin Gabor Kecskemeti Laura Ricci Julio Sahuquillo Martin Schulz Vittorio Scarano Stephen L. Scott Josef Weidendorfer

ISBN: (数字)9783642544200

ISBN: (纸本)9783642544194

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th International conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. The 99 papers presented were carefully reviewed and selected from 145 submissions. The papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second Workshop on Big Data Management in Clouds) - Hetero Par (11th Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (fourth Workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second Workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth Workshop on Productivity and Performance) - Resilience (Sixth Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth Workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First Workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First Workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (Workshop on Middleware for HPC and Big Data systems) -PADABS ( First Workshop on Parallel and Distributed Agent Based Simulations) - ROME (First Workshop on Runtime and Operating systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

关键词： System Performance and Evaluation software engineering/Programming and Operating systems computer systems Organization and Communication Networks Database Management Algorithm Analysis and Problem Complexity computer Science, general

来源：评论

学校读者我要写书评

暂无评论

Advanced Data Mining and Applications 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Changjie Tang Charles X. Ling Xiaofang Zhou Nick J. Cercone Xue Li

ISBN: (数字)9783540881926

ISBN: (纸本)9783540881919

The fourth International conference on Advanced Data Mining and Applications (ADMA 2008) will be held in Chengdu, China, followed by the last three successful ADMA conferences (2005 in Wu Han, 2006 in Xi'an, and 2007 Harbin). Our major goal of ADMA is to bring together the experts on data mining in the world, and to provide a leading international forum for the dissemination of original research results in data mining, including applications, algorithms, software and systems, and different disciplines with potential applications of data mining. This goal has been partially achieved in a very short time despite the young age of the conference, thanks to the rigorous review process insisted upon, the outstanding list of internationally renowned keynote speakers and the excellent program each year. ADMA is ranked higher than, or very similar to, other data mining conferences (such as PAKDD, PKDD, and SDM) in early 2008 by an independent source: cs-conference-ranking. org. This year we had the pleasure and honor to host illustrious keynote speakers. Our distinguished keynote speakers are Prof. Qiang Yang and Prof. Jiming Liu. Prof. Yang is a tenured Professor and postgraduate studies coordinator at computer Science and engineering Department of Hong Kong University of Science and Technology. He is also a member of AAAI, ACM, a senior member of the IEEE, and he is also an as- ciate editor for the IEEE TKDE and IEEE Intelligent systems, KAIS and WI Journals.

关键词： Artificial Intelligence Medicine/Public Health, general Data Mining and Knowledge Discovery software engineering computer Appl. in Administrative Data Processing Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Advances in Information Technology 1

引用

丛书名： Communications in computer and Information Science

1000年

作者： Borworn Papasratorn Kittichai Lavangnananda Wichian Chutimaskul Vajirasak Vanijja

ISBN: (数字)9783642166990

ISBN: (纸本)9783642166983

It was our intention to organize IAIT 2010 as the place where researchers and ind- trial practitioners could share their work and achievements in information technology, both theoretical and in application. This is the fourth time we have organized IAIT to serve as a venue to foster collaboration among industry and academia from different parts of the world. A lot has been achieved since the launch of the first IAIT in 2005; however, many challenges remain to be addressed in the years to come. IAIT 2010 drew attendance from leading professionals in both industry and academes, as in IAIT 2009. In addition to the relevant program offered by IAIT 2010, the conference p- vided an excellent environment to meet peers in the IT profession, build relationships, and exchange lessons learned. During the conference, participants presented and d- cussed the latest topics in information technology, ranging from technical knowledge and experimentation to future strategic directions. As the Internet continues to reach out even further, almost everything in our daily life is accessible via IP addresses, our societies need to recognize that we need new knowledge to make this advancement become a benefit to all life in this world. It is almost impossible to gain this new knowledge without contributions from our c- leagues, working in various aspects of information technology. Some times, new knowledge found in one area can help simplify difficult task in another. Together we can make our world better by creating applications from information technology.

关键词： software engineering User Interfaces and Human computer Interaction Artificial Intelligence Cryptology computer systems Organization and Communication Networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共197页 << < 183 184 185 186 187 188 189 190 191 192 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：