咨询与建议

限定检索结果

文献类型

  • 107 篇 会议
  • 6 册 图书
  • 1 篇 期刊文献

馆藏范围

  • 114 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 82 篇 工学
    • 77 篇 计算机科学与技术...
    • 33 篇 软件工程
    • 8 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 3 篇 机械工程
    • 3 篇 电气工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 交通运输工程
    • 2 篇 光学工程
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 船舶与海洋工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 安全科学与工程
  • 21 篇 理学
    • 18 篇 数学
    • 5 篇 统计学(可授理学、...
    • 3 篇 物理学
    • 2 篇 生物学
    • 1 篇 系统科学
  • 13 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 11 篇 computer science
  • 7 篇 graph theory
  • 5 篇 automata theory
  • 5 篇 constraint theor...
  • 4 篇 software enginee...
  • 3 篇 interactive comp...
  • 3 篇 computer archite...
  • 3 篇 requirements eng...
  • 3 篇 data structures
  • 2 篇 computer simulat...
  • 2 篇 information syst...
  • 2 篇 theory of comput...
  • 2 篇 approximation al...
  • 2 篇 social robots
  • 2 篇 application soft...
  • 2 篇 systems engineer...
  • 2 篇 collaborative so...
  • 2 篇 medical services
  • 2 篇 computer graphic...
  • 2 篇 monitoring

机构

  • 2 篇 institute of com...
  • 2 篇 univ washington ...
  • 1 篇 university of ca...
  • 1 篇 univ coll cork i...
  • 1 篇 ist austria klos...
  • 1 篇 department of el...
  • 1 篇 cleveland state ...
  • 1 篇 school of comput...
  • 1 篇 department of el...
  • 1 篇 penn state univ ...
  • 1 篇 univ kassel fach...
  • 1 篇 univ wroclaw ins...
  • 1 篇 department of co...
  • 1 篇 school of applie...
  • 1 篇 katholieke univ ...
  • 1 篇 xidian univ inst...
  • 1 篇 univ grenoble 1 ...
  • 1 篇 engineering prof...
  • 1 篇 singapore univer...
  • 1 篇 univ durham sch ...

作者

  • 2 篇 žák stanislav
  • 2 篇 šíma jiří
  • 2 篇 otto friedrich
  • 2 篇 henzinger thomas...
  • 1 篇 lee dae sung
  • 1 篇 ratliff lillian
  • 1 篇 elie saad
  • 1 篇 moustafa a. fouz
  • 1 篇 cuong dinh v
  • 1 篇 lin xiaodong
  • 1 篇 yuming jiang
  • 1 篇 rasekh nima
  • 1 篇 renault guenael
  • 1 篇 giguette marguer...
  • 1 篇 qingjun xiao
  • 1 篇 t.w. griffin
  • 1 篇 wu dan
  • 1 篇 liang yung c.
  • 1 篇 pierce james
  • 1 篇 li ronghui

语言

  • 113 篇 英文
  • 1 篇 中文
检索条件"任意字段=33rd Conference on Current Trends in Theory and Practice of Computer Science"
114 条 记 录,以下是1-10 订阅
排序:
SOFSEM 2007: theory and practice of computer science - 33rd conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2007: Theory and Practice of Computer Science - 33rd ...
收藏 引用
33rd conference on current trends in theory and practice of computer science, SOFSEM 2007
The proceedings contain 78 papers. The topics discussed include: graphs from search engine queries;model-checking large finite-state systems and beyond;interaction and realizability;weighted nearest neighbor algorithm... 详细信息
来源: 评论
43rd conference on current trends in theory and practice of computer science, SOFSEM 2017
43rd Conference on Current Trends in Theory and Practice of ...
收藏 引用
43rd conference on current trends in theory and practice of computer science, SOFSEM 2017
The proceedings contain 40 papers. The special focus in this conference is on Foundations in computer science, Semantics, Specification, Compositionality, theory of Mobile, Distributed Systems, Automated System Analys...
来源: 评论
Insights from Univalent Foundations: A Case Study Using Double Categories  33
Insights from Univalent Foundations: A Case Study Using Doub...
收藏 引用
33rd EACSL Annual conference on computer science Logic, CSL 2025
作者: Rasekh, Nima van der Weide, Niels Ahrens, Benedikt North, Paige Randall Institute of Mathematics and Computer Science University of Greifswald Germany Institute for Computing and Information Sciences Radboud University Nijmegen Netherlands Delft University of Technology Netherlands University of Birmingham United Kingdom Department of Information and Computing Sciences Mathematical Institute Utrecht University Netherlands
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating not just objects, but also morphisms capturing interactions between objects. Of particular importance in some applic... 详细信息
来源: 评论
Improved undecidability results on the emptiness problem of probabilistic and quantum cut-point languages
Improved undecidability results on the emptiness problem of ...
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Hirvensalo, Mika Univ Turku Dept Math FIN-20014 Turku Finland
We give constructions of small probabilistic and MO-type quantum automata that have undecidable emptiness problem for the cut-point languages.
来源: 评论
Graphs from search engine queries
Graphs from search engine queries
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Baeza-Yates, Ricardo Yahoo Res Barcelona Spain
Server logs of search engines store traces of queries submitted by users, which include queries themselves along with Web pages selected in their answers. Here we describe several graph-based relations among queries a... 详细信息
来源: 评论
Restarting tree automata
Restarting tree automata
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Stamer, Heiko Otto, Friedrich Univ Kassel Fachbereich Math Informat D-34109 Kassel Germany
Restarting automata were introduced to model the linguistic concept of analysis by reduction. In recent years there was a growing effort to study classes of formal languages that are generated by different variants of... 详细信息
来源: 评论
A polynomial-time checkable sufficient condition for deadlock-freedom of component-based systems
A polynomial-time checkable sufficient condition for deadloc...
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Majster-Cederbaum, Mila Martens, Moritz Minnameier, Christoph Univ Mannheim Inst Informat Mannheim Germany
Interaction systems are a formal model for component-based systems. Combining components via connectors to form more complex systems may give rise to deadlock situations. Deciding the existence of deadlocks is NP-hard... 详细信息
来源: 评论
Operational semantics of framed temporal logic programs
Operational semantics of framed temporal logic programs
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Yang, Xiaoxiao Duan, Zhenhua Xidian Univ Inst Comp Theory & Technol Xian 710071 Peoples R China
This paper investigates the operational semantics of framed temporal logic programs. To this end, a framed temporal logic programming language called Framed Tempura is employed. The evaluation rules for both the arith... 详细信息
来源: 评论
Constraints for argument filterings
Constraints for argument filterings
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Zankl, Harald Hirokawa, Nao Middeldorp, Aart Univ Innsbruck Inst Comp Sci A-6020 Innsbruck Austria
The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and KBO, argument filterings play a key role. In this... 详细信息
来源: 评论
A short introduction to computational social choice
A short introduction to computational social choice
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Chevaleyre, Yann Endriss, Ulle Lang, Jerome Maudet, Nicolas Univ Paris LAMSADE F-75252 Paris France Univ Amsterdam ILLC NL-1012 WX Amsterdam Netherlands Univ Toulouse 3 IRIT F-31062 Toulouse France
Computational social choice is an interdisciplinary field of study at the interface of social choice theory and computer science, promoting an exchange of ideas in both directions. On the one hand, it is concerned wit... 详细信息
来源: 评论