咨询与建议

限定检索结果

文献类型

  • 1,546 篇 会议
  • 49 篇 期刊文献
  • 11 册 图书

馆藏范围

  • 1,604 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,169 篇 工学
    • 865 篇 计算机科学与技术...
    • 554 篇 软件工程
    • 135 篇 电气工程
    • 122 篇 控制科学与工程
    • 91 篇 信息与通信工程
    • 91 篇 土木工程
    • 88 篇 机械工程
    • 76 篇 建筑学
    • 60 篇 安全科学与工程
    • 58 篇 材料科学与工程(可...
    • 40 篇 交通运输工程
    • 37 篇 动力工程及工程热...
    • 33 篇 化学工程与技术
    • 28 篇 生物工程
    • 27 篇 仪器科学与技术
    • 25 篇 力学(可授工学、理...
    • 22 篇 环境科学与工程(可...
  • 327 篇 理学
    • 225 篇 数学
    • 74 篇 统计学(可授理学、...
    • 68 篇 系统科学
    • 43 篇 物理学
    • 41 篇 生物学
    • 27 篇 化学
  • 215 篇 管理学
    • 154 篇 管理科学与工程(可...
    • 85 篇 图书情报与档案管...
    • 79 篇 工商管理
  • 30 篇 法学
    • 27 篇 社会学
  • 30 篇 医学
    • 23 篇 基础医学(可授医学...
    • 23 篇 临床医学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 17 篇 教育学
  • 15 篇 文学
  • 9 篇 农学
  • 6 篇 艺术学
  • 5 篇 军事学

主题

  • 68 篇 model checking
  • 43 篇 tools
  • 35 篇 algorithm design...
  • 28 篇 static analysis
  • 26 篇 data mining
  • 23 篇 stochastic syste...
  • 20 篇 real time system...
  • 20 篇 computational mo...
  • 20 篇 analytical model...
  • 17 篇 hybrid systems
  • 17 篇 real-time system...
  • 17 篇 machine learning
  • 17 篇 testing
  • 16 篇 software tools
  • 16 篇 optimization
  • 16 篇 computers
  • 16 篇 sentiment analys...
  • 16 篇 software
  • 16 篇 data models
  • 15 篇 task analysis

机构

  • 26 篇 rhein westfal th...
  • 13 篇 ludwig maximilia...
  • 8 篇 univ penn philad...
  • 7 篇 univ twente ensc...
  • 7 篇 univ twente form...
  • 7 篇 tech univ munich...
  • 6 篇 univ illinois ur...
  • 5 篇 saarland univ sa...
  • 5 篇 rhein westfal th...
  • 5 篇 chinese acad sci...
  • 5 篇 suny stony brook...
  • 5 篇 univ calif berke...
  • 5 篇 univ texas austi...
  • 4 篇 radboud univ nij...
  • 4 篇 verimag ctr equa...
  • 3 篇 vienna universit...
  • 3 篇 univ colorado bo...
  • 3 篇 tu wien austria
  • 3 篇 lviv polytechnic...
  • 3 篇 univ oxford dept...

作者

  • 22 篇 katoen joost-pie...
  • 14 篇 beyer dirk
  • 10 篇 junges sebastian
  • 9 篇 parker david
  • 8 篇 quatmann tim
  • 8 篇 hermanns holger
  • 7 篇 kwiatkowska mart...
  • 6 篇 van de pol jaco
  • 6 篇 yi w
  • 6 篇 hartmanns arnd
  • 5 篇 majumdar rupak
  • 5 篇 podelski andreas
  • 5 篇 bozga marius
  • 5 篇 alur rajeev
  • 5 篇 pettersson p
  • 5 篇 cimatti alessand...
  • 5 篇 norman gethin
  • 4 篇 behrmann gerd
  • 4 篇 latella diego
  • 4 篇 ruys theo c.

语言

  • 1,556 篇 英文
  • 20 篇 其他
  • 14 篇 德文
  • 8 篇 中文
  • 4 篇 葡萄牙文
  • 3 篇 俄文
  • 1 篇 捷克文
检索条件"任意字段=11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
1606 条 记 录,以下是1-10 订阅
排序:
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
30th International Conference on Tools and Algorithms for th...
收藏 引用
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
the proceedings contain 70 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: Z3-Noodler: An Automata-based String Solver;TaSSAT: ...
来源: 评论
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
30th International Conference on Tools and Algorithms for th...
收藏 引用
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
the proceedings contain 70 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: Z3-Noodler: An Automata-based String Solver;TaSSAT: ...
来源: 评论
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
30th International Conference on Tools and Algorithms for th...
收藏 引用
30th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2024, which was held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2024
the proceedings contain 70 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: Z3-Noodler: An Automata-based String Solver;TaSSAT: ...
来源: 评论
29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023
29th International Conference on Tools and Algorithms for th...
收藏 引用
29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023
the proceedings contain 77 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: OccRob: Efficient SMT-Based Occlusion Robustness Ver...
来源: 评论
29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023
29th International Conference on Tools and Algorithms for th...
收藏 引用
29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023
the proceedings contain 77 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: OccRob: Efficient SMT-Based Occlusion Robustness Ver...
来源: 评论
28th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2022 held as part of 25th European Joint conferences on theory and Practice of Software, ETAPS 2022
28th International Conference on Tools and Algorithms for th...
收藏 引用
28th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2022 held as part of 25th European Joint conferences on theory and Practice of Software, ETAPS 2022
the proceedings contain 67 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: A New Approach for Active Automata Learning Based on...
来源: 评论
28th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2022 held as part of 25th European Joint conferences on theory and Practice of Software, ETAPS 2022
28th International Conference on Tools and Algorithms for th...
收藏 引用
28th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2022 held as part of 25th European Joint conferences on theory and Practice of Software, ETAPS 2022
the proceedings contain 67 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: A New Approach for Active Automata Learning Based on...
来源: 评论
27th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2021 Held as Part of 24th European Joint conferences on theory and Practice of Software, ETAPS 2021
27th International Conference on Tools and Algorithms for th...
收藏 引用
27th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2021 Held as Part of 24th European Joint conferences on theory and Practice of Software, ETAPS 2021
the proceedings contain 56 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: An SMT-Based Approach for Verifying Binarized Neural...
来源: 评论
27th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2021 Held as Part of 24th European Joint conferences on theory and Practice of Software, ETAPS 2021
27th International Conference on Tools and Algorithms for th...
收藏 引用
27th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2021 Held as Part of 24th European Joint conferences on theory and Practice of Software, ETAPS 2021
the proceedings contain 56 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: An SMT-Based Approach for Verifying Binarized Neural...
来源: 评论
26th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2020, held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2020
26th International Conference on Tools and Algorithms for th...
收藏 引用
26th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2020, held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2020
the proceedings contain 60 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: Multi-agent safety verification using symmetry trans...
来源: 评论