Special Issue on International Workshop on Invariant Generation Foreword

被引：0

作者：

Bjorner, Nikolaj ^{[1
]}

Kovacs, Laura ^{[1
]}

机构：

[1] Vienna Univ Technol, Fac Informat, Vienna, Austria

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 2012年 / 47卷 / 12期

关键词：

D O I：

10.1016/j.jsc.2011.12.047

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

下载

页码：1413 / 1415

页数：3

共 50 条

[1] Foreword for the Special Issue——International Workshop on Metamaterials and Negative Refraction
Prof. HE Sailing
Royal Institute of Technology
Journal of Zhejiang University-Science A(Applied Physics & Engineering), 2006, (01) : 113 - 113
[2] Special issue: Foreword-7th International Granulation Workshop
Saleh, Khashayar
Hassanpour, Ali
Ghadiri, Mojtaba
Selman, Agba
CHEMICAL ENGINEERING RESEARCH & DESIGN, 2016, 110 : 1 - 1
[3] The Ambleside Workshop and the special issue - Foreword
不详
ENVIRONMENTAL VALUES, 2000, 9 (04) : 409 - 410
[4] Special issue: Reproduction workshop - Foreword
不详
REPRODUCTION NUTRITION DEVELOPMENT, 2005, 45 (02): : 194 - 194
[5] Special issue: International Workshop on Experimental Techniques in the Analysis of Composite Structures - Foreword
Sellers, JJ
COMPOSITE STRUCTURES, 1998, 42 (04) : 297 - 297
[6] Special issue - 2nd International Workshop on Complexity in Automated Deduction - Foreword
Gottlob, G
Hermann, M
Rusinowitch, M
THEORY OF COMPUTING SYSTEMS, 2004, 37 (06) : 639 - 640
[7] Special issue: International Workshop on the Mobility of Iodine, Technetium, Selenium and Uranium in the Biosphere - Foreword
LeClerc-Cessac, E
JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, 2003, 70 (1-2) : 1 - 1
[8] Special Issue: 7th International Workshop on Precipitation in Urban Areas Foreword
Burlando, Paolo
ATMOSPHERIC RESEARCH, 2009, 92 (03) : 281 - 282
[9] Foreword to the Special Issue of the workshop on the seventh international workshop on programming models and applications for multicores and manycores (PMAM 2016)
Balaji, Pavan
Leung, Kai-Cheung
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (15):
[10] Special issue on 2005 Silicon Nanoelectronics Workshop - Foreword
Tabe, Michiharu
Park, Byung-Gook
IEEE TRANSACTIONS ON NANOTECHNOLOGY, 2006, 5 (03) : 155 - 156

← 1 2 3 4 5 →