Harmony: The art of reconciliation (Invited talk)

被引：0
|
作者：
Pierce, BC [1 ]
机构：
[1] Univ Penn, Philadelphia, PA 19104 USA
来源：
TRUSTWORTHY GLOBAL COMPUTING | 2005年 / 3705卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Reconciliation and harmony: The philosophical art of tragic drama
    Kimmel, L
    LIFE - THE PLAY OF LIFE ON THE STAGE OF THE WORLD IN FINE ARTS, STAGE-PLAY, AND LITERATURE, 2001, 73 : 189 - 200
  • [2] Kernelization (Invited Talk)
    Fomin, Fedor V.
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 107 - 108
  • [3] Invited talk: Active networks
    Tennenhouse, D
    PROCEEDINGS OF THE SECOND SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '96), 1996, : 89 - 89
  • [4] Climbing Algorithms (Invited Talk)
    Levin, Leonid A.
    STOC '21: PROCEEDINGS OF THE 53RD ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2021, : 2 - 3
  • [5] Semantic Search (Invited talk)
    Baeza-Yates, Ricardo
    2017 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2017, : 3570 - 3570
  • [6] Recursion and probability (Invited talk)
    Yannakakis, Mihalis
    Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 13 - 13
  • [7] Patterns of metaphor use in reconciliation talk
    Cameron, Lynne J.
    DISCOURSE & SOCIETY, 2007, 18 (02) : 197 - 222
  • [8] The seL4 Verification: The Art and Craft of Proof and the Reality of Commercial Support (Invited Talk)
    Andronick, June
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 1 - 1
  • [9] Science and art in harmony
    不详
    JOURNAL OF ENVIRONMENTAL MONITORING, 2007, 9 (10): : T77 - T77
  • [10] Science and art in harmony
    Aucouturier, Marc
    Darque-Ceretti, Evelyne
    JOURNAL OF MATERIALS CHEMISTRY, 2007, 17 (38) : T77 - T77
12345