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 条

[41] Special issue: Fifth International Workshop on Oxide Electronics
Kawasaki, M
Eom, CB
Hosono, H
Ramesh, R
Triscone, JM
Venkatesan, T
Xiang, XD
JOURNAL OF ELECTROCERAMICS, 2000, 4 (2-3) : 263 - 263
[42] Fourth international workshop on computational phantoms: special issue
Xu, X. George
Kuster, Niels
PHYSICS IN MEDICINE AND BIOLOGY, 2014, 59 (18): : 5207 - 5208
[43] Special Issue: International Workshop on Runtime Verification 2007
Sokolsky, Oleg
Tasiran, Serdar
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 649 - 650
[44] Special Issue: International Workshop in Applied Probability 2008
Glaz, Joseph
METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2010, 12 (04) : 553 - 553
[45] Special issue: International Workshop on Quantum Kinetic Theory
Gardner, CL
VLSI DESIGN, 1999, 9 (04) : I - I
[46] SPECIAL ISSUE: 9TH INTERNATIONAL SYMPOSIUM ON AGGLOMERATION AND 4TH INTERNATIONAL GRANULATION WORKSHOP, 2009 Foreword
Palzer, Stefan
Salman, Agba D.
Hounslow, Michael
POWDER TECHNOLOGY, 2011, 206 (1-2) : 1 - 1
[47] Special Issue: Future generation information technology FOREWORD
Chang, Ruay-Shiung
Wu, Chung-Hsien
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2011, 34 (02) : 169 - 169
[48] Foreword to a Special Issue on the International Workshop on Climate and Oceanic FisheriesRarotonga, Cook Islands, 3–5 October 2011
Michel Jarraud
Climatic Change, 2013, 119 : 1 - 2
[49] Foreword for the special issue on the ninth international workshop on low energy electron microscopy and photoemission electron microscopy Preface
Schneider, Claus M.
Meyer-zu-Heringdorf, Frank
Kuch, Wolfgang
ULTRAMICROSCOPY, 2015, 159 : V - VI
[50] Special issue - Third International Sulfation Workshop - Drymen, Scotland, 22-25 September 1996 - Foreword
Coughtrie, MWH
Glatt, M
Runge-Morris, MA
CHEMICO-BIOLOGICAL INTERACTIONS, 1998, 109 (1-3) : 1 - 1

← 1 2 3 4 5 →