A pragmatic approach to software synthesis
- 期刊名称ACM SIGPLAN Notices
- 作者Freitag, Burkhard; Margaria, Tiziana; Steffen, Bernhard
- 卷第29卷
- 期第8期
- 印刷ISSN0362-1340
- 文件大小881.93KB
- 发表时间1994-08-01
- DOI10.1145/185087.185102
- 页码46-58
Book Review: Climate change 2001: synthesis report. Third assessment report of the Intergovernmental Panel on Climate Change (IPCC); Climate change 2001: the scientific basis; Climate change 2001: impacts, adaptation, and vulnerability; Climate change 2001: mitigationPerry, A. · The Holocene · 2003
Life in Europe Under Climate Change (Alcamo/Life in Europe Under Climate Change) || Climate and Climate ChangeAlcamo, Joseph; Olesen, Jørgen E. · 2012
Creating a Climate for Change (Communicating Climate Change and Facilitating Social Change) || Weather or climate change?Moser, Susanne C.; Dilling, Lisa · 2007
[Climate Change Management] Handbook of Climate Change Communication: Vol. 3 || Climate Change Communication and User Engagement: A Tool to Anticipate Climate ChangeLeal Filho, Walter; Manolas, Evangelos; Azul, Anabela Marisa; Azeiteiro, Ulisses M.; McGhie, Henry · 2018
[Climate Change Management] Climate Change Adaptation in Eastern Europe (Managing Risks and Building Resilience to Climate Change) || Climate Change and Protection Against FloodsLeal Filho, Walter; Trbic, Goran; Filipovic, Dejan · 2019
Creating a Climate for Change (Communicating Climate Change and Facilitating Social Change) || Dealing with climate change contrariansMoser, Susanne C.; Dilling, Lisa · 2007
Creating a Climate for Change (Communicating Climate Change and Facilitating Social Change) || Climate change: a moral issueMoser, Susanne C.; Dilling, Lisa · 2007
[Climate Change Management] Limits to Climate Change Adaptation || Adapting Agriculture to Climate Change: Suitability of Banana Crop Production to Future Climate Change Over UgandaLeal Filho, Walter; Nalau, Johanna · 2018
Attentive documentsBuscher, Georg; Dengel, Andreas; Biedert, Ralf; Elst, Ludger V. · ACM Transactions on Interactive Intelligent Systems · 2012
Role Transitions, Objects, and IdentityIra Silver · Symbolic Interaction · 1996
Post-PragmatismReview by: Norman K. Denzin · Symbolic Interaction · 1996
The Semiotic Selfby Norbert WileyReview by: Ralph H. Turner · Symbolic Interaction · 1996
A Note from the New EditorMichael G. Flaherty · Symbolic Interaction · 1996
Managing the Emotions of OthersPeggy A. Thoits · Symbolic Interaction · 1996
Telling the Truth after Postmodernism1Dorothy E. Smith · Symbolic Interaction · 1996
Gender and Temporality in Interpersonal SystemsMajia Holmer Nadesan · Symbolic Interaction · 1997