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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

156 篇 会议
43 册 图书
13 篇 期刊文献

馆藏范围

210 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

145 篇 工学
- 137 篇 计算机科学与技术...
- 100 篇 软件工程
- 13 篇 电气工程
- 13 篇 信息与通信工程
- 10 篇 控制科学与工程
- 5 篇 土木工程
- 3 篇 化学工程与技术
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 测绘科学与技术
- 1 篇 轻工技术与工程
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
56 篇 理学
- 52 篇 数学
- 6 篇 统计学（可授理学、...
- 4 篇 化学
- 4 篇 生物学
- 3 篇 系统科学
- 1 篇 物理学
- 1 篇 大气科学
- 1 篇 地球物理学
10 篇 管理学
- 9 篇 图书情报与档案管...
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 农学
- 1 篇 作物学

主题

22 篇 theory of comput...
22 篇 software enginee...
16 篇 software enginee...
15 篇 logics and meani...
13 篇 mathematical log...
12 篇 programming lang...
11 篇 semantics
10 篇 artificial intel...
10 篇 computation by a...
9 篇 computer softwar...
8 篇 computer system ...
8 篇 programming tech...
8 篇 data structures
8 篇 data structures ...
7 篇 system analysis
6 篇 computer communi...
6 篇 mathematics of c...
5 篇 model checking
5 篇 algorithm analys...
4 篇 discrete mathema...

机构

4 篇 max planck inst ...
3 篇 max planck inst ...
3 篇 univ leicester d...
3 篇 university of ox...
2 篇 department of co...
2 篇 univ sci & tech ...
2 篇 univ london impe...
2 篇 cwi dept softwar...
2 篇 univ warwick dep...
2 篇 rwth aachen univ...
2 篇 queen mary univ ...
2 篇 rhein westfal th...
2 篇 tel aviv univ sc...
2 篇 univ oxford dept...
2 篇 imdea software i...
2 篇 the university o...
2 篇 university of ca...
2 篇 univ paris 07 li...
2 篇 univ london quee...
2 篇 liacs leiden uni...

作者

3 篇 uustalu tarmo
3 篇 chistikov dmitry
3 篇 o'hearn p
2 篇 ulidowski irek
2 篇 rabinovich alexa...
2 篇 james worrell
2 篇 sagiv mooly
2 篇 naoki kobayashi
2 篇 anna ingólfsdótt...
2 篇 luca aceto
2 篇 haase christoph
2 篇 furio honsell
2 篇 kurz alexander
2 篇 aceto luca
2 篇 zavattaro g
2 篇 pfenning frank
2 篇 boneva i
2 篇 plump detlef
2 篇 mogens nielsen
2 篇 meyer antoine

语言

202 篇 英文
6 篇 其他
4 篇 中文

检索条件"任意字段=4th International Conference on Foundations of Software Science and Computation Structures"

共 212 条记录，以下是191-200 订阅

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

详细简洁

排序：

foundations of software science and computation structures 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Naoki Kobayashi James Worrell

ISBN: (数字)9783031572319

ISBN: (纸本)9783031572302

the two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th international conference on foundations of software science and computation structures, FOSSACS 2024, which took place in Luxembourg in April 2024.;the 24 full papers included in this book were carefully reviewed and selected from 79 submissions. they were organized in topical sections as follows:;Part I: Infinite games; categorical semantics; automata and synthesis;;Part II: Types and programming languages; logic and proofs; infinite-state systems.

关键词： theory of computation Mathematical Logic and foundations Data structures and Information theory Computer System Implementation Mathematics of Computing

来源：评论

学校读者我要写书评

暂无评论

CONCUR 2000 — Concurrency theory 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Catuscia Palamidessi

ISBN: (数字)9783540446187

ISBN: (纸本)9783540678977

this volume contains the proceedings of the 11th international conference on Concurrency theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. the purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. the scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. the ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). the proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

关键词： Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs computation by Abstract Devices Programming Techniques Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Fundamental Approaches to software Engineering 1

Fundamental Approaches to Software Engineering

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Artur Boronat Gordon Fraser

ISBN: (数字)9783031909009

ISBN: (纸本)9783031908996

this open access book constitutes the proceedings of the 28th international conference on Fundamental Approaches to software Engineering, FASE 2025, which was held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025, in Hamilton, Canada, in May 2025. the 9 full and 2 short papers included in the proceedings, together with one invited keynote paper and 3 tool competition papers, were carefully reviewed and selected from 31 submissions. they deal with up to date research in software engineering and its applications in, e.g., quality and testing foundations for AI-based systems, requirements engineering, etc.

关键词： software Engineering/Programming and Operating Systems Operating Systems theory of computation Control structures and Microprogramming Computer System Implementation Natural Language Processing (NLP)

来源：评论

学校读者我要写书评

暂无评论

Tools and Algorithms for the Construction and Analysis of Systems 1

Tools and Algorithms for the Construction and Analysis of Sy...

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Arie Gurfinkel Marijn Heule

ISBN: (数字)9783031906534

ISBN: (纸本)9783031906527

the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. the 46 papers presented were carefully reviewed and selected from 148 submissions. the proceedings also include 14 papers from the software Verification competition which was held as part of TACAS. the papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on software Verification, SV-COMP 2025.

关键词： theory of computation Control structures and Microprogramming Computer Communication Networks Simulation and Modeling software Engineering/Programming and Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Analysis of Timed Systems 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Eugene Asarin Patricia Bouyer

ISBN: (数字)9783540450313

ISBN: (纸本)9783540450269

this volume contains the proceedings of the 4th international conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. the ?rst three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate s- enti?c disciplines, and there is a growing awareness of the di?cult problems common to all of them, suggesting the interdisciplinary study of timed systems. the unifying theme underlying all these domains is that they concern systems whose behavior depends upon combinations of logical and temporal constraints, e.g., constraints on the distance between occurrences of events. the aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).

关键词： Logics and Meanings of Programs software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems

来源：评论

学校读者我要写书评

暂无评论

foundations of software science and computation structures 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Andrew Pitts

ISBN: (数字)9783662466780

ISBN: (纸本)9783662466773

this book constitutes the proceedings of the 18th international conference on foundations of software science and computation structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint conferences on theory and Practice of software, ETAPS 2015.;the 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. they are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. the book also contains one full paper invited talk.

关键词： Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters software Engineering computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

foundations of software science and computation structures 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Anca Muscholl

ISBN: (数字)9783642548307

ISBN: (纸本)9783642548291

this book constitutes the proceedings of the 17th international conference on foundations of software science and computation structures, FOSSACS 2014, held as part of the European Joint conferences on theory and Practice of software, ETAPS 2014, which took place in Grenoble, France, in April 2014. the 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. the following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.

关键词： Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters software Engineering computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

foundations of software science and computational structures 1

引用

丛书名： Lecture Notes in Computer science

1000年

作者： Luca Alfaro

ISBN: (数字)9783642005961

ISBN: (纸本)9783642005954

this book constitutes the refereed proceedings of the 12th international conference on foundations of software science and computational structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint conferences on theory and Practice of software. the 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. the topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.

关键词： Programming Languages, Compilers, Interpreters software Engineering/Programming and Operating Systems theory of computation Mathematical Logic and Formal Languages Logics and Meanings of Programs software Engineering

来源：评论

学校读者我要写书评

暂无评论

Automata, Languages and Programming 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540705833

ISBN: (纸本)9783540705826

the two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th international Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. the 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. the papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. the papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. the papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.

关键词： software Engineering/Programming and Operating Systems Programming Techniques theory of computation Discrete Mathematics in Computer science Numeric Computing Data structures

来源：评论

学校读者我要写书评

暂无评论

Algebraic Methodology and software Technology 1

引用

丛书名： Lecture Notes in Computer science

1000年

ISBN: (数字)9783540494102

ISBN: (纸本)9783540600435

this volume constitutes the proceedings of the 4th international conference on Algebraic Methodology and software Technology, held in Montreal, Canada in July 1995.;It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. the invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. the 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.

关键词： theory of computation software Engineering/Programming and Operating Systems Applications of Mathematics Logics and Meanings of Programs Mathematical Logic and Formal Languages software Engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：