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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,762 篇 会议
59 册 图书
54 篇 期刊文献

馆藏范围

2,875 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,342 篇 工学
- 1,186 篇 计算机科学与技术...
- 621 篇 软件工程
- 271 篇 电气工程
- 173 篇 电子科学与技术（可...
- 161 篇 控制科学与工程
- 147 篇 信息与通信工程
- 52 篇 动力工程及工程热...
- 49 篇 机械工程
- 20 篇 建筑学
- 19 篇 仪器科学与技术
- 19 篇 土木工程
- 19 篇 航空宇航科学与技...
- 18 篇 交通运输工程
- 17 篇 安全科学与工程
- 15 篇 材料科学与工程（可...
- 15 篇 生物工程
- 14 篇 力学（可授工学、理...
- 13 篇 光学工程
- 13 篇 生物医学工程（可授...
286 篇 理学
- 176 篇 数学
- 87 篇 系统科学
- 41 篇 物理学
- 34 篇 统计学（可授理学、...
- 20 篇 生物学
- 12 篇 化学
149 篇 管理学
- 126 篇 管理科学与工程(可...
- 57 篇 工商管理
- 30 篇 图书情报与档案管...
24 篇 法学
- 24 篇 社会学
22 篇 经济学
- 22 篇 应用经济学
10 篇 医学
7 篇 教育学
6 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

720 篇 computational mo...
617 篇 computer archite...
361 篇 hardware
222 篇 embedded systems
142 篇 embedded system
136 篇 analytical model...
133 篇 computer simulat...
131 篇 application soft...
122 篇 real time system...
119 篇 mathematical mod...
115 篇 field programmab...
98 篇 program processo...
90 篇 embedded computi...
85 篇 kernel
83 篇 computer science
80 篇 software
79 篇 parallel process...
78 篇 registers
74 篇 control systems
73 篇 resource managem...

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 shanghai univ sc...
7 篇 center for embed...
7 篇 fraunhofer iese ...
7 篇 department of co...
6 篇 eindhoven univer...
6 篇 computer systems...
6 篇 eindhoven univer...
6 篇 natl tech univ a...
6 篇 computer systems...
6 篇 institute for co...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of tw...
5 篇 university of te...

作者

20 篇 leupers rainer
18 篇 soudris dimitrio...
18 篇 pimentel andy d.
17 篇 ascheid gerd
16 篇 dimitrios soudri...
16 篇 blume holger
13 篇 rainer leupers
12 篇 fornaciari willi...
12 篇 gerd ascheid
11 篇 jung matthias
11 篇 holger blume
10 篇 andy d. pimentel
10 篇 fettweis gerhard
9 篇 kostas siozios
9 篇 takala jarmo
9 篇 hamalainen timo ...
9 篇 wehn norbert
8 篇 siozios kostas
8 篇 pnevmatikatos di...
8 篇 f. fummi

语言

2,851 篇 英文
16 篇 其他
9 篇 中文

检索条件"任意字段=International Conference on Embedded Computer Systems -Architectures, Modeling and Simulation"

共 2875 条记录，以下是2851-2860 订阅

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

详细简洁

排序：

Large-Scale Scientific Computing 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Ivan Lirkov Svetozar Margenov Jerzy Waśniewski

ISBN: (数字)9783642298431

ISBN: (纸本)9783642298424

This book constitutes the thoroughly refereed post-conference proceedings of the 8th international conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on robust multigrid, multilevel and multiscale, deterministic and stochastic methods for modeling highly heterogeneous media, advanced methods for transport, control and uncertain systems, applications of metaheuristics to large-scale problems, environmental modelling, large scale computing on many-core architectures, multiscale industrial, enviromental and biomedical problems, efficient algorithms of computational geometry, high performance Monte Carlo simulations, voxel based computations and contributed papers.

关键词： Numeric Computing Programming Techniques Algorithm Analysis and Problem Complexity Computation by Abstract Devices simulation and modeling computer-Aided Engineering (CAD, CAE) and Design

来源：评论

学校读者我要写书评

暂无评论

Models, Methods, and Tools for Complex Chip Design 1

引用

丛书名： Lecture Notes in Electrical Engineering

1000年

作者： Jan Haase

ISBN: (数字)9783319014180

ISBN: (纸本)9783319014173;9783319348230

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

关键词： Circuits and systems Processor architectures Electronics and Microelectronics, Instrumentation

来源：评论

学校读者我要写书评

暂无评论

computer Aided systems Theory – EUROCAST 2007 1

引用

丛书名： Lecture Notes in computer Science

1000年

ISBN: (数字)9783540758679

ISBN: (纸本)9783540758662

The concept of CAST as computer Aided systems Theory was introduced by F. Pichler in the late 1980s to encompass computer-theoretical and practical developments as tools for problem-solving in system science. It was thought of as the third of three components (the other two being CAD and CAM) that together provide a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989), under the name EUROCAST 1989. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from Europe, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) and Las Palmas (2005), in addition to an extra- European CAST conference in Ottawa in 1994. Selected papers from those meetings were published in springer’s Lecture Notes in computer Science series, as numbers 410, 585, 763, 1030, 1333, 1798, 2178, 2809 and 3643, and in several special issues of the international journal Cybernetics and systems.

关键词： computer-Aided Engineering (CAD, CAE) and Design simulation and modeling Pattern Recognition Artificial Intelligence Logics and Meanings of Programs Processor architectures

来源：评论

学校读者我要写书评

暂无评论

simulation, modeling, and Programming for Autonomous Robots 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Davide Brugali Jan F. Broenink Torsten Kroeger Bruce A. MacDonald

ISBN: (数字)9783319119007

ISBN: (纸本)9783319118994

This book constitutes the refereed proceedings of the 4th international conference on simulation, modeling, and Programming for Autonomous Robots, SIMPAR 2014, held in Bergamo, Italy, in October 2014.;The 49 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on simulation, modeling, programming, architectures, methods and tools, and systems and applications.

关键词： Artificial Intelligence simulation and modeling User Interfaces and Human computer Interaction Computation by Abstract Devices computer Communication Networks Software Engineering

来源：评论

学校读者我要写书评

暂无评论

embedded computer systems: architectures, modeling, and simulation 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Timo D. Hämäläinen Andy D. Pimentel Jarmo Takala Stamatis Vassiliadis

ISBN: (数字)9783540316640

ISBN: (纸本)9783540269694

The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of Samos. As a tradition, the workshop features workshop presentations in the morning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the sci- ti?c arena. Consequently, the workshop provides the participants with an environment where collaboration rather than competition is fostered. The earlier workshops, SAMOS I–IV (2001–2004), were composed only of invited presentations. Due to increasing expressions of interest in the workshop, the Program Committee of SAMOS V decided to open the workshop for all submissions. As a result the SAMOS workshop gained an immediate popularity; a total of 114 submitted papers were received for evaluation. The papers came from 24 countries and regions: Austria (1), Belgium (2), Brazil (5), Canada (4), China (12), Cyprus (2), Czech Republic (1), Finland (15), France (6), Germany (8), Greece (5), Hong Kong (2), India (2), Iran (1), Korea (24), The Netherlands (7), Pakistan (1), Poland (2), Spain (2), Sweden (2), T- wan (1), Turkey (2), UK (2), and USA (5). We are grateful to all of the authors who submitted papers to the workshop.

关键词： Theory of Computation computer Hardware Processor architectures computer Communication Networks System Performance and Evaluation computer System Implementation

来源：评论

学校读者我要写书评

暂无评论

computer Aided systems Theory — EUROCAST 2001 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Roberto Moreno-Díaz Bruno Buchberger José Luis Freire

ISBN: (数字)9783540456544

ISBN: (纸本)9783540429593

The concept of CAST as computer Aided systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from computer and systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST’89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST conference in Ottawa in 1994.

关键词： computer-Aided Engineering (CAD, CAE) and Design simulation and modeling Artificial Intelligence Special Purpose and Application-Based systems Processor architectures Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Model Driven Engineering Languages and systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

ISBN: (数字)9783540878759

This book constitutes the refereed proceedings of the 11th international conference on Model Driven Engineering Languages and systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements modeling; Domain-Specific modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented architectures; Adaptive and Autonomic systems; Empirical Studies; Evolution and Reverse Engineering; modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented modeling; Structural modeling;and embedded systems.

关键词： Software Engineering/Programming and Operating systems Programming Languages, Compilers, Interpreters simulation and modeling Software Engineering Management of Computing and Information systems

来源：评论

学校读者我要写书评

暂无评论

Critical Infrastructure Protection V 1

引用

丛书名： IFIP Advances in Information and Communication Technology

1000年

作者： Jonathan Butts Sujeet Shenoi

ISBN: (数字)9783642248641

ISBN: (纸本)9783642248634;9783642270413

The information infrastructure---comprising computers, embedded devices, networks and software systems---is vital to day-to-day operations in every sector: information and telecommunications, banking and finance, energy, chemicals and hazardous materials, agriculture, food, water, public health, emergency services, transportation, postal and shipping, government and defense. Global business and industry, governments, indeed society itself, cannot function effectively if major components of the critical information infrastructure are degraded, disabled or destroyed. Critical Infrastructure Protection V describes original research results and innovative applications in the interdisciplinary field of critical infrastructure protection. Also, it highlights the importance of weaving science, technology and policy in crafting sophisticated, yet practical, solutions that will help secure information, computer and network assets in the various critical infrastructure sectors. Areas of coverage include: Themes and Issues, Control systems Security, Infrastructure Security, and Infrastructure modeling and simulation. This book is the 5th volume in the annual series produced by the international Federation for Information Processing (IFIP) Working Group 11.10 on Critical Infrastructure Protection, an international community of scientists, engineers, practitioners and policy makers dedicated to advancing research, development and implementation efforts focused on infrastructure protection. The book contains a selection of 14 edited papers from the 5th Annual IFIP WG 11.10 international conference on Critical Infrastructure Protection, held at Dartmouth College, Hanover, New Hampshire, USA in the spring of 2011. Critical Infrastructure Protection V is an important resource for researchers, faculty members and graduate students, as well as for policy makers, practitioners and other individuals with interests in homeland security. Jonathan Butts is an Assistant Professor of Compute

关键词： systems and Data Security Management of Computing and Information systems Cryptology computers and Society Algorithm Analysis and Problem Complexity Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Agents and Multi-agent systems: Technologies and Applications 2023 1

引用

丛书名： Smart Innovation, systems and Technologies

1000年

作者： Gordan Jezic M. Kusek J. Chen-Burger R. Sperka R. J. Howlett Lakhmi C. Jain

ISBN: (数字)9789819930685

ISBN: (纸本)9789819930678;9789819930708

This book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were originally presented at the 17th international KES conference on Agents and Multi-Agent systems: Technologies and Applications (KES-AMSTA 2023), held in Rome, Italy, in June 14–16, 2023. The respective papers cover topics such as software agents, multi-agent systems, agent modeling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature-inspired manufacturing, all of which contribute to the modern digital economy.

关键词： Computational Intelligence Knowledge based systems Data Mining and Knowledge Discovery Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

System on Chip Design Languages 1

引用

1000年

作者： Anne Mignotte Eugenio Villar Lynn Horobin

ISBN: (数字)9781475766745

ISBN: (纸本)9781402070464;9781441952813

This book is the third in a series of books collecting the best papers from the three main regional conferences on electronic system design languages, HDLCon in the United States, APCHDL in Asia-Pacific and FDL in Europe. Being APCHDL bi-annual, this book presents a selection of papers from HDLCon'Ol and FDL'OI. HDLCon is the premier HDL event in the United States. It originated in 1999 from the merging of the international Verilog conference and the Spring VHDL User's Forum. The scope of the conference expanded from specialized languages such as VHDL and Verilog to general purpose languages such as C++ and Java. In 2001 it was held in February in Santa Clara, CA. Presentations from design engineers are technical in nature, reflecting real life experiences in using HDLs. EDA vendors presentations show what is available - and what is planned-for design tools that utilize HDLs, such as simulation and synthesis tools. The Forum on Design Languages (FDL) is the European forum to exchange experiences and learn of new trends, in the application of languages and the associated design methods and tools, to design complex electronic systems. FDL'OI was held in Lyon, France, around seven interrelated workshops, Hardware Description Languages, Analog and Mixed signal Specification, C/C++ HW/SW Specification and Design, Design Environments & Languages, Real-Time specification for embedded systems, Architecture modeling and Reuse and System Specification & Design Languages.

关键词： Programming Languages, Compilers, Interpreters Theory of Computation computer Hardware computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共288页 << < 279 280 281 282 283 284 285 286 287 288 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：