咨询与建议

限定检索结果

文献类型

  • 216 篇 会议
  • 19 册 图书
  • 7 篇 期刊文献

馆藏范围

  • 241 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 150 篇 工学
    • 139 篇 计算机科学与技术...
    • 59 篇 软件工程
    • 17 篇 信息与通信工程
    • 15 篇 电气工程
    • 8 篇 控制科学与工程
    • 4 篇 化学工程与技术
    • 3 篇 建筑学
    • 3 篇 土木工程
    • 3 篇 生物工程
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 测绘科学与技术
    • 2 篇 轻工技术与工程
    • 2 篇 生物医学工程(可授...
  • 66 篇 理学
    • 51 篇 数学
    • 9 篇 物理学
    • 6 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 5 篇 系统科学
    • 4 篇 化学
  • 18 篇 管理学
    • 12 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 6 篇 教育学
    • 6 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
    • 2 篇 药学(可授医学、理...
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 13 篇 graph theory
  • 11 篇 artificial intel...
  • 9 篇 discrete mathema...
  • 8 篇 automata theory
  • 7 篇 theory of comput...
  • 7 篇 software enginee...
  • 6 篇 complexity theor...
  • 5 篇 computer communi...
  • 5 篇 algorithm analys...
  • 5 篇 information stor...
  • 4 篇 software enginee...
  • 4 篇 database managem...
  • 4 篇 computers
  • 4 篇 game theory
  • 4 篇 data structures
  • 4 篇 information retr...
  • 3 篇 computer science
  • 3 篇 turing machines
  • 3 篇 information syst...
  • 3 篇 switches

机构

  • 3 篇 charles universi...
  • 3 篇 university of be...
  • 3 篇 department of in...
  • 2 篇 department of co...
  • 2 篇 school of electr...
  • 2 篇 dept. of compute...
  • 2 篇 warsaw universit...
  • 2 篇 univ utrecht utr...
  • 2 篇 department of ep...
  • 2 篇 department of me...
  • 2 篇 software enginee...
  • 2 篇 school of mathem...
  • 2 篇 school of automa...
  • 2 篇 university of li...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 school of eecs o...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 1 篇 university of ca...

作者

  • 3 篇 mária bieliková
  • 3 篇 van leeuwen jan
  • 3 篇 inenaga shunsuke
  • 3 篇 šíma jiří
  • 3 篇 saurabh saket
  • 2 篇 peleg david
  • 2 篇 bieliková mária
  • 2 篇 žák stanislav
  • 2 篇 ono hirotaka
  • 2 篇 leszek pacholski
  • 2 篇 freivalds rūsiņš
  • 2 篇 paulusma daniel
  • 2 篇 albers susanne
  • 2 篇 kiya hironori
  • 2 篇 rossmanith peter
  • 2 篇 pokorný jaroslav
  • 2 篇 iliopoulos costa...
  • 2 篇 hanaka tesshu
  • 2 篇 jeffery keith g.
  • 2 篇 otto friedrich

语言

  • 238 篇 英文
  • 4 篇 中文
检索条件"任意字段=34th Conference on Current Trends in Theory and Practice of Computer Science"
242 条 记 录,以下是1-10 订阅
排序:
SOFSEM 2008: theory and practice of computer science - 34th conference on current trends in theory and practice of computer science Proceedings
SOFSEM 2008: Theory and Practice of Computer Science - 34th ...
收藏 引用
SOFSEM 2008 - 34th conference on current trends in theory and practice of computer science
the proceedings contain 66 papers. the topics discussed include: quantum random walks-new method for designing quantum algorithms;social information access: the other side of the social web;designing adaptive web appl... 详细信息
来源: 评论
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
50th International Conference on Current Trends in Theory an...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
the proceedings contain 50 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Parameterized Complexity of Feedback Vertex Set with...
来源: 评论
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
50th International Conference on Current Trends in Theory an...
收藏 引用
50th International conference on current trends in theory and practice of computer science, SOFSEM 2025
the proceedings contain 50 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Parameterized Complexity of Feedback Vertex Set with...
来源: 评论
SOFSEM 2013: theory and practice of computer science - 39th International conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2013: Theory and Practice of Computer Science - 39th ...
收藏 引用
39th International conference on current trends in theory and practice of computer science, SOFSEM 2013
the proceedings contain 42 papers. the topics discussed include: theory of multi core hypervisor verification;software components in computer assisted living?;engineering algorithms for large data sets;core stability ...
来源: 评论
49th International conference on current trends in theory and practice of computer science, SOFSEM 2024
49th International Conference on Current Trends in Theory an...
收藏 引用
49th International conference on current trends in theory and practice of computer science, SOFSEM 2024
the proceedings contain 34 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Algorithms and Turing Kernels for Detecting and Countin...
来源: 评论
SOFSEM 2012: theory and practice of computer science - 38th conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2012: Theory and Practice of Computer Science - 38th ...
收藏 引用
38th conference on current trends in theory and practice of computer science, SOFSEM 2012
the proceedings contain 53 papers. the topics discussed include: the legacy of turing in numerical analysis;turing machines for dummies: why representations do matter;what is an algorithm?;strong bridges and strong ar...
来源: 评论
SOFSEM 2014: theory and practice of computer science - 40th International conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2014: Theory and Practice of Computer Science - 40th ...
收藏 引用
40th International conference on current trends in theory and practice of computer science, SOFSEM 2014
the proceedings contain 45 papers. the topics discussed include: open services for software process compliance engineering;towards a higher-dimensional string theory for the modeling of computerized systems;advice com...
来源: 评论
SOFSEM 2010: theory and practice of computer science - 36th conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2010: Theory and Practice of Computer Science - 36th ...
收藏 引用
36th conference on current trends in theory and practice of computer science, SOFSEM 2010
the proceedings contain 64 papers. the topics discussed include: forcing monotonicity in parameterized verification: from multisets to words;essential performance drivers in native XML DBMSs;continuous processing of p...
来源: 评论
SOFSEM 2011: theory and practice of computer science - 37th conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2011: Theory and Practice of Computer Science - 37th ...
收藏 引用
37th International conference on current trends in theory and practice of computer science, SOFSEM 2011
the proceedings contain 45 papers. the topics discussed include: integrity and consistency for untrusted services;a structured codesign approach to many-core architectures for embedded systems;efficient algorithms for...
来源: 评论
48th International conference on current trends in theory and practice of computer science, SOFSEM 2023
48th International Conference on Current Trends in Theory an...
收藏 引用
48th International conference on current trends in theory and practice of computer science, SOFSEM 2023
the proceedings contain 26 papers. the special focus in this conference is on current trends in theory and practice of computer science. the topics include: Learning through Imitation by Using Formal Verification...
来源: 评论