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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

118 篇 会议
34 册 图书
3 篇 期刊文献

馆藏范围

155 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

73 篇 工学
- 68 篇 软件工程
- 66 篇 计算机科学与技术...
- 3 篇 电气工程
- 2 篇 控制科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 建筑学
12 篇 理学
- 10 篇 数学
- 1 篇 大气科学
- 1 篇 系统科学
12 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学

主题

27 篇 software enginee...
25 篇 software enginee...
15 篇 operating system...
14 篇 computer languag...
14 篇 programming lang...
13 篇 programming
13 篇 programming tech...
12 篇 mathematical log...
12 篇 logics and meani...
10 篇 artificial intel...
9 篇 computer communi...
8 篇 programming prof...
8 篇 computer program...
7 篇 real time system...
7 篇 hardware
7 篇 algorithm analys...
6 篇 software systems
6 篇 theory of comput...
6 篇 application soft...
5 篇 semantics

机构

2 篇 faculty of scien...
2 篇 metacase yliston...
1 篇 chair for softwa...
1 篇 lucent technol m...
1 篇 rechen- und komm...
1 篇 univ copenhagen ...
1 篇 mohammed v unive...
1 篇 logicblox atlant...
1 篇 politehnica univ...
1 篇 395 dreese labor...
1 篇 university of li...
1 篇 conacyt centroge...
1 篇 the laurels tele...
1 篇 caltech jet prop...
1 篇 natl univ of les...
1 篇 distributed prog...
1 篇 dipartimento di ...
1 篇 microsoft
1 篇 lehrstuhl für wi...
1 篇 universitat poli...

作者

3 篇 gray jeff
3 篇 spinczyk olaf
2 篇 clarke dave
2 篇 friesel daniel
2 篇 rossi matti
2 篇 b.c.p. tang
2 篇 tolvanen juha-pe...
2 篇 sprinkle jonatha...
2 篇 ferguson edward ...
2 篇 michel r. v. cha...
2 篇 ligler george t.
1 篇 dražen drašković
1 篇 gerard allwein
1 篇 h. tokuda
1 篇 fredlund lars-åk...
1 篇 arnd poetzsch-he...
1 篇 handurukande s.b...
1 篇 c. aiswarya
1 篇 hammond l
1 篇 erik proper

语言

154 篇 英文
1 篇 其他

检索条件"任意字段=11th Workshop on Programming Languages and Operating Systems"

共 155 条记录，以下是131-140 订阅

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

详细简洁

排序：

Agile Methods 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Carla Rocha Celio Santana Júnior Fernando De Sá Tiago Silva da Silva

ISBN: (数字)9783031256486

ISBN: (纸本)9783031256479

this book constitutes the refereed proceedings of the 11th Brazilian workshop on Agile Methods, WBMA 2021, which took place online in October 2021.;the 6 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 18 submissions. WBMA is the research track in the Agile Brazil conference. It is an academic event that focuses on agile software development.

关键词： Software Engineering/programming and operating systems Artificial Intelligence Information systems and Communication Service Computer Applications

来源：评论

学校读者我要写书评

暂无评论

Formal Methods for Eternal Networked Software systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Marco Bernardo Valérie Issarny

ISBN: (数字)9783642214554

ISBN: (纸本)9783642214547

this book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. the school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. the papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

关键词： Software Engineering Software Engineering/programming and operating systems Mathematical Logic and Formal languages programming languages, Compilers, Interpreters Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Distributed Applications and Interoperable systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Twittie Senivongse Rui Oliveira

ISBN: (数字)9783642021640

ISBN: (纸本)9783642021633

this book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable systems, DAIS 2009, held in Lisbon, Portugal, in June 2009. the DAIS conference was held as part of the federated event on Distributed Computing Techniques (DisCoTec), together with the 11th International Conference on Coordination Models and languages (Coordination 2009) and the IFIP WG 6.1 International Conference on Formal Techniques for Distributed systems (FMOODS/FORTE 2009). the 12 revised full papers presented were carefully reviewed and selected from 32 submissions. the papers address service orientation, quality of service and service contract, business processes, Web services, service components, algorithms and protocols supporting dependability, fault tolerance, data replication, group communication, adaptive and collaborative systems, context awareness, model-driven development, middleware for ubiquitous computing and sensor networks, ad hoc network protocols, peer-to-peer systems, and overlays. they are organized in topical sections peer-to-peer networks, adhoc networks, dependability, and infrastructure and services.

关键词： Computer Communication Networks Computer Engineering Computer systems Organization and Communication Networks Special Purpose and Application-Based systems Management of Computing and Information systems Software Engineering/programming and operating systems

来源：评论

学校读者我要写书评

暂无评论

Reachability Problems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Matthew Hague Igor Potapov

ISBN: (数字)9783319670898

ISBN: (纸本)9783319670881

this book constitutes the refereed proceedings of the 11th International workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. the 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.;the aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining;mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.

关键词： Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal languages Algorithm Analysis and Problem Complexity Software Engineering/programming and operating systems Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Enterprise, Business-Process and Information systems Modeling 1

引用

丛书名： Lecture Notes in Business Information Processing

1000年

作者： Ilia Bider Terry Halpin John Krogstie Selmin Nurcan Erik Proper Rainer Schmidt Roland Ukor

ISBN: (数字)9783642130519

ISBN: (纸本)9783642130502

this book contains the proceedings of two well established scienti?c events held in connection with the CAiSE conferences relating to the areas of enterprise, business-processes, and information systems modeling: – the 11th International workshop on Business Process Modeling, Devel- ment and Support (BPMDS 2010); – the 15th International Conference on Exploring Modeling Methods for S- tems Analysis and Design (EMMSAD 2010). the two events are introduced brie?y below. BPMDS 2010 BPMDS 2010wasthe 11th in a seriesof workshopsthat havesuccessfully served as a forum for raising and discussing new ideas in the area of business process development and support. the BPMDS series has produced 10 workshops from 1998 to 2009. Eight of these workshops, including the last seven (BPMDS 2003–BPMDS 2009) were held in conjunction with CAiSE conferences. the BPMDS workshops focus on topics relating to IT support for business processes, which addresses key issues that are relevant to the continuous development of information systems theory. the continued interest in these topics within the industrial and academic IS communities is re?ected by the success of the last BPMDS workshops and the emergence of new conferences devoted to this theme. Previous BPMDS workshops focused on the di?erent phases in the business processlife-cycleaswellasthedriversthatmotivateandinitiatebusinessprocess design and evolution.

关键词： Business Mathematics Software Engineering/programming and operating systems Computer Engineering IT in Business Computer Appl. in Administrative Data Processing Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Formal Foundations of Reuse and Domain Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Stephen H. Edwards Gregory Kulczycki

ISBN: (数字)9783642042119

ISBN: (纸本)9783642042102

ICSR is the premier international conference in the ?eld of software reuse. the main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. the 11th International Conference on Software Reuse (ICSR 2009) was held during September 27–30, 2009 in Falls Church, VA, USA. 2009 was the year that ICSR went back to its roots. the theme was “Formal Foundations of Reuse and Domain Engineering.” We explored the theory and formal foundations that underlie current reuse and domain engineering practice and looked at current advancements to get an idea of where the ?eld of reuse was headed. Manyof the papers in these proceedings directly re?ect that theme. the following workshops were held in conjunction with ICSR 2009: – Second workshop on Knowledge Reuse (KREUSE 2009) – RESOLVE 2009: Software Veri?cation – the Cornerstone of Reuse – First International workshop on Software Ecosystems – International workshop on Software Reuse and Safety (RESAFE 2009) Aside from these workshops and the papers found here, the conference also included ?ve tutorials, eight tool demos, and a doctoral symposium. Links to all of this information and more can be found at the ICSR 11 conference website at ***.

关键词： Software Engineering/programming and operating systems theory of Computation programming languages, Compilers, Interpreters Software Engineering programming Techniques Models and Principles

来源：评论

学校读者我要写书评

暂无评论

Formal Techniques for Distributed systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： David Lee Antónia Lopes Arnd Poetzsch-Heffter

ISBN: (数字)9783642021381

ISBN: (纸本)9783642021374

this book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. the 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. the papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

关键词： Computer Communication Networks Software Engineering/programming and operating systems programming languages, Compilers, Interpreters programming Techniques Software Engineering Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Computer Aided Verification 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Nicolas Halbwachs Doron Peled

ISBN: (数字)9783540486831

ISBN: (纸本)9783540662020

this book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.;the 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. the book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

关键词： Software Engineering/programming and operating systems theory of Computation Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal languages Logic Design

来源：评论

学校读者我要写书评

暂无评论

Logic and Its Applications 1

Logic and Its Applications

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： C. Aiswarya Prabal Kumar Sen Shashi Mohan Srivastava

ISBN: (数字)9783031896101

ISBN: (纸本)9783031896095

this book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025. Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. the topics included are Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic.

关键词： Mathematical Logic and Formal languages Mathematical Logic and Foundations Logic in AI Computer System Implementation Computer Applications Software Engineering/programming and operating systems

来源：评论

学校读者我要写书评

暂无评论

Verification, Model Checking, and Abstract Interpretation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Gilles Barthe Manuel Hermenegildo

ISBN: (数字)9783642113192

ISBN: (纸本)9783642113185

this volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri?cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. the Program Committee selected 21 papers out of 57 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. the principal selection criteria were relevance and quality.

关键词： Software Engineering/programming and operating systems programming languages, Compilers, Interpreters programming Techniques Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：