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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,624 篇 会议
57 册 图书
49 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,197 篇 工学
- 1,029 篇 计算机科学与技术...
- 560 篇 软件工程
- 263 篇 电气工程
- 151 篇 电子科学与技术（可...
- 147 篇 控制科学与工程
- 133 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 动力工程及工程热...
- 19 篇 仪器科学与技术
- 18 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
- 17 篇 安全科学与工程
- 16 篇 生物医学工程（可授...
- 14 篇 交通运输工程
- 14 篇 航空宇航科学与技...
- 13 篇 力学（可授工学、理...
- 11 篇 光学工程
- 11 篇 化学工程与技术
264 篇 理学
- 166 篇 数学
- 79 篇 系统科学
- 38 篇 物理学
- 32 篇 统计学（可授理学、...
- 13 篇 化学
- 12 篇 生物学
135 篇 管理学
- 114 篇 管理科学与工程(可...
- 51 篇 工商管理
- 28 篇 图书情报与档案管...
20 篇 经济学
- 20 篇 应用经济学
19 篇 法学
- 19 篇 社会学
11 篇 医学
6 篇 教育学
5 篇 农学
3 篇 军事学
1 篇 文学
1 篇 艺术学

主题

763 篇 computational mo...
616 篇 computer archite...
358 篇 hardware
222 篇 embedded systems
144 篇 analytical model...
142 篇 embedded system
134 篇 computer simulat...
128 篇 application soft...
123 篇 mathematical mod...
115 篇 field programmab...
112 篇 real time system...
100 篇 program processo...
90 篇 embedded computi...
87 篇 kernel
84 篇 software
83 篇 computer science
80 篇 parallel process...
79 篇 registers
73 篇 control systems
71 篇 timing

机构

10 篇 school of electr...
9 篇 rhein westfal th...
8 篇 institute for co...
8 篇 center for embed...
7 篇 center for embed...
7 篇 department of co...
6 篇 computer systems...
6 篇 computer systems...
6 篇 institute for co...
6 篇 fraunhofer iese ...
5 篇 school of automa...
5 篇 school of electr...
5 篇 university of za...
5 篇 embedded systems...
5 篇 university of te...
5 篇 eindhoven univer...
5 篇 national cims en...
5 篇 the university o...
5 篇 eindhoven univer...
5 篇 shanghai key lab...

作者

19 篇 leupers rainer
16 篇 ascheid gerd
15 篇 soudris dimitrio...
14 篇 dimitrios soudri...
13 篇 rainer leupers
12 篇 gerd ascheid
12 篇 pimentel andy d.
10 篇 andy d. pimentel
10 篇 jung matthias
10 篇 holger blume
9 篇 fornaciari willi...
9 篇 kostas siozios
9 篇 christian haubel...
9 篇 blume holger
9 篇 andreas gerstlau...
9 篇 takala jarmo
8 篇 mohamed abid
8 篇 f. fummi
8 篇 george economako...
8 篇 wehn norbert

语言

2,718 篇 英文
9 篇 中文
4 篇 其他

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

共 2730 条记录，以下是2711-2720 订阅

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

详细简洁

排序：

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Evolvable systems: From Biology to Hardware 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Yong Liu Kiyoshi Tanaka Masaya Iwata Tetsuya Higuchi Moritoshi Yasunaga

ISBN: (数字)9783540454434

ISBN: (纸本)9783540426714

On behalf of the ICES 2001 conference Committee, it is our pleasure to present to you the proceedings of the fourth international conference on Evolvable S- tems: From Biology to Hardware, ICES 2001, held in Tokyo, Japan, on 3-5 - tober 2001, addressing the latest developments and discussing challenges facing the ?eld of evolvable systems. The idea of evolving machines, whose origins can be traced back to the - bernetics movement of the 1940s and the 1950s, has recently re-emerged in the form of the nascent ?eld of bio-inspired systems and evolvable hardware. Foll- ing the workshop, Towards Evolvable Hardware, which took place in Lausanne, Switzerland, in October 1995, the First international conference on Evolvable systems: From Biology to Hardware (ICES96), was held at the Electrotech- cal Laboratory (MITI), Tsukuba, Japan, in October 1996. The second and the third international conferences on Evolvable systems: From Biology to Ha- ware (ICES98 and ICES 2000) were respectively held in Lausanne in September 1998, and in Edinburgh in April 2000. Following the success of these past events, ICES 2001 was dedicated to the promotion and advancement of all aspects of evolvable systems, including ha- ware, software, algorithms, and applications. By bringing together researchers who use biologically inspired concepts to implement real systems in arti?cial - telligence, arti?cial life, robotics, VLSI design, and related domains, ICES 2001 reunited this burgeoning community.

关键词： computer System Implementation Artificial Intelligence simulation and modeling Logic Design Processor architectures Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

computer Aided systems Theory - EUROCAST 2003 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Roberto Moreno-Díaz Franz Pichler

ISBN: (数字)9783540452102

ISBN: (纸本)9783540202219

The concept of CAST as computer Aided systems Theory, was introduced by F. Pichler of Linz in the late 80’s 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) that will provide for a complete picture of the path from computer and systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?rst international meeting on CAST, (Las Palmas February 1989), under the name EUROCAST’89, that was a very successful gathering of systems theorists, computer scientists and engineers from most of European countries, North America and Japan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999) and Las Palmas(2001), in addition to an extra-European CAST conference in ***- Verlag Lecture Notes in computer Science nos. 410, 585, 763, 1030, 1333, 1728 and 2178 and in several special issues of Cybernetics and systems: an lnternat- nal Journal. EUROCAST and CAST meetings are de?nitely consolidated, as it is demonstrated by the number and quality of the contributions over the years.

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

来源：评论

学校读者我要写书评

暂无评论

embedded computer systems: architectures, modeling, and simulation 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Alex Orailoglu Matthias Jung Marc Reichenbach

This book constitutes the refereed proceedings of the 20th international conference on embedded computer systems: architectures, modeling, and simulation, SAMOS 2020, held in Samos, Greece, in July 2020.*

ISBN: (数字)9783030609399

ISBN: (纸本)9783030609382

关键词： computer System Implementation computer Hardware Software Engineering/Programming and Operating systems Information systems and Communication Service computer Communication Networks Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

System simulation and Scientific Computing 1

引用

丛书名： Communications in computer and Information Science

1000年

作者： Tianyuan Xiao Lin Zhang Shiwei Ma

ISBN: (数字)9783642343964

ISBN: (纸本)9783642343957

The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia simulation conference, AsiaSim 2012, and the international conference on System simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology; modeling and simulation technology on synthesized environment and virtual reality environment; pervasive computing and simulation technology; embedded computing and simulation technology; verification, validation and accreditation technology; networked modeling and simulation technology; modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system; high performance computing and simulation technology; cloud simulation technology; modeling and simulation technology of complex system and open, complex, huge system; simulation based acquisition and virtual prototyping engineering technology; simulator; simulation language and intelligent simulation system; parallel and distributed software; CAD, CAE, CAM, CIMS, VP, VM, and VR; visualization; computing and simulation applications in science and engineering; computing and simulation applications in management, society and economics; computing and simulation applications in life and biomedical engineering; computing and simulation applications in energy and environment; computing and simulation applications in education; computing and simulation applications in military field; computing and simulation applications in medical field.

关键词： simulation and modeling Artificial Intelligence Information systems Applications (incl. Internet) computer Communication Networks Information Storage and Retrieval Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Models in Software Engineering 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Michel R. V. Chaudron

ISBN: (数字)9783642016486

ISBN: (纸本)9783642016479

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th international conference on Model Driven Engineering Languages and systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of embedded systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information systems (MOTHIS); Non-functional System Properties in Domain Specific modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共273页 << < 264 265 266 267 268 269 270 271 272 273 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：