咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 211 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 146 篇 工学
    • 138 篇 计算机科学与技术...
    • 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 篇 univ bologna dip...
  • 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...

作者

  • 3 篇 zavattaro g
  • 3 篇 uustalu tarmo
  • 3 篇 chistikov dmitry
  • 3 篇 o'hearn p
  • 2 篇 ulidowski irek
  • 2 篇 rabinovich alexa...
  • 2 篇 james worrell
  • 2 篇 busi n
  • 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 篇 pfenning frank
  • 2 篇 boneva i
  • 2 篇 plump detlef
  • 2 篇 mogens nielsen

语言

  • 204 篇 英文
  • 5 篇 其他
  • 4 篇 中文
检索条件"任意字段=4th International Conference on Foundations of Software Science and Computation Structures"
213 条 记 录,以下是51-60 订阅
排序:
3-Dimensional Characteristic of Electric Field and Potential Induced by Internal Charging Effects in Typical PCB  11th
收藏 引用
11th international Space conference on Protection of Materials and structures from Space Environment (ICPMSE)
作者: Tang, Xiao-Jin Yi, Zhong Zhang, Chao Liu, Ye-Nan Wang, Zhi-Hao Meng, Li-Fei Huang, Jian-Guo Beijing Inst Spacecraft Environm Engn Beijing Peoples R China Sci & Technol Reliabil & Environm Engn Lab Beijing Peoples R China
To assess satellite internal charging effects more accurately, a 3-D computation method is developed to study the internal charging problems with realistic geometry and grounding configuration. the method includes two... 详细信息
来源: 评论
foundations of software science and computation structures : Second international conference, Fossacs '99 Held as Part of the Joint European conferences on theory and Practice of software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings
收藏 引用
2016年
作者: wolfgang thomas
foundations of software science and computation structures : Second international conference, Fossacs '99 Held as Part of the Joint European conferences on theory and Practice of software, Etaps '99, Amsterdam... 详细信息
来源: 评论
7th international conference on Mathematical Aspects of Computer and Information sciences, MACIS 2017
7th International Conference on Mathematical Aspects of Comp...
收藏 引用
7th international conference on Mathematical Aspects of Computer and Information sciences, MACIS 2017
the proceedings contain 36 papers. the special focus in this conference is on Mathematical Aspects of Computer and Information sciences. the topics include: Integrating algebraic and SAT solvers;isabelle formalization...
来源: 评论
A theory of Slicing for Probabilistic Control Flow Graphs  19th
A Theory of Slicing for Probabilistic Control Flow Graphs
收藏 引用
19th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Amtoft, Torben Banerjee, Anindya Kansas State Univ Manhattan KS 66506 USA IMDEA Software Inst Madrid Spain
We present a theory for slicing probabilistic imperative programs-containing random assignment and "observe" statements-represented as control flow graphs whose nodes transform probability distributions. We ... 详细信息
来源: 评论
Development of advanced experimental technology on reproducing floor response of high-rise buildings subjected to ground motions  7
Development of advanced experimental technology on reproduci...
收藏 引用
7th international conference on Advances in Experimental Structural Engineering, AESE 2017
作者: Chen, Pei-Ching Lai, Chin-Ta Tsai, Keh-Chyuan National Taiwan University of Science and Technology Taiwan No.43 Keelung Rd. Sec.4 Da'an Dist. Taipei10607 Taiwan National Center for Research on Earthquake Engineering Taiwan No. 200 Sec. 3 HsinHai Rd. Da'an Dist. Taipei10667 Taiwan National Taiwan University Taiwan No. 1 Sec. 4 Roosevelt Rd. Da'an Dist. Taipei10617 Taiwan
the responses of high-rise buildings are mostly dominated by the first few vibration modes;therefore, the corresponding floor responses at high levels have long predominant periods. Damages of nonstructural components... 详细信息
来源: 评论
Shortest Paths in One-Counter Systems  19th
Shortest Paths in One-Counter Systems
收藏 引用
19th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Chistikov, Dmitry Czerwinski, Wojciech Hofman, Piotr Pilipczuk, Michal Wehar, Michael Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany Max Planck Inst Software Syst MPI SWS Saarbrucken Germany Univ Warsaw Inst Informat Warsaw Poland ENS Cachan LSV Paris France CNRS Paris France Univ Buffalo Dept Comp Sci & Engn Buffalo NY USA
We show that any one-counter automaton with n states, if its language is non-empty, accepts some word of length at most O(n(2)). this closes the gap between the previously known upper bound of O(n(3)) and lower bound ... 详细信息
来源: 评论
On Freeze LTL with Ordered Attributes  19th
On Freeze LTL with Ordered Attributes
收藏 引用
19th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Decker, Normann thoma, Daniel Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany
this paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a (multi-attributed) data word each position carries a letter from a finite alphabet and assigns a data value to a fixed, fini... 详细信息
来源: 评论
Synchronizing Automata over Nested Words  19th
Synchronizing Automata over Nested Words
收藏 引用
19th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Chistikov, Dmitry Martyugin, Pavel Shirmohammadi, Mahsa Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany Max Planck Inst Software Syst MPI SWS Saarbrucken Germany Ural Fed Univ Inst Math & Comp Sci Ekaterinburg Russia Univ Oxford Oxford England
We extend the concept of a synchronizing word from deterministic finite-state automata (DFA) to nested word automata (NWA): A well-matched nested word is called synchronizing if it resets the control state of any conf... 详细信息
来源: 评论
Measuring Code Behavioral Similarity for Programming and software Engineering Education  16
Measuring Code Behavioral Similarity for Programming and Sof...
收藏 引用
38th IEEE/ACM international conference on software Engineering Companion (ICSE)
作者: Li, Sihan Xiao, Xusheng Bassett, Blake Xie, Tao Tillmann, Nikolai Univ Illinois Champaign IL 61820 USA NEC Labs Amer Princeton NJ USA Microsoft Res One Microsoft Way Redmond WA USA
In recent years, online programming and software engineering education via information technology has gained a lot of popularity. Typically, popular courses often have hundreds or thousands of students but only a few ... 详细信息
来源: 评论
foundations of software science and computation structures - 16th international conference, FOSSACS 2013, Held as Part of the European Joint conferences on theory and Practice of software, ETAPS 2013, Proceedings
Foundations of Software Science and Computation Structures -...
收藏 引用
16th international conference on foundations of software science and computation structures, FOSSACS 2013, Held as Part of the European Joint conferences on theory and Practice of software, ETAPS 2013
the proceedings contain 28 papers. the topics discussed include: pattern graphs and rule-based models: the semantics of kappa;history-register automata;fatal attractors in parity games;bounded context-switching and re...
来源: 评论