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 条

[21] Foreword to the Special Issue of the Workshop on Exascale MPI (ExaMPI 2017)
Skjellum, Anthony
Bangalore, Purushotham V.
Grant, Ryan E.
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (03):
[22] Foreword to the Special Issue on the Fifth Genomic Standards Consortium Workshop
Field, Dawn
Sansone, Susanna-Assunta
Garrity, George M.
OMICS-A JOURNAL OF INTEGRATIVE BIOLOGY, 2008, 12 (02) : 99 - 99
[23] Special Issue: 3rd International Workshop on Granulation: Granulation Across the Length Scales - Foreword
Salman, Agba D.
Hounslow, Michael
POWDER TECHNOLOGY, 2009, 189 (02) : 137 - 137
[24] Foreword for the special issue on the Tenth International Workshop on Low Energy Electron Microscopy and Photoemission Electron Microscopy
Schmid, Andreas
Scholl, Andreas
ULTRAMICROSCOPY, 2017, 183 : 1 - 1
[25] Special issue - Proceedings of the 12th International Workshop on RIF Superconductivity (SRF 2005) - Foreword
Padamsee, Hasan
PHYSICA C-SUPERCONDUCTIVITY AND ITS APPLICATIONS, 2006, 441 (1-2): : VII - VII
[26] Foreword for the special issue on the Eighth International Workshop on Low Energy Electron Microscopy and Photoemission Electron Microscopy
Altman, Michael
Hibino, Hiroki
Jesson, David
ULTRAMICROSCOPY, 2013, 130 : 1 - 1
[27] Foreword to the Special Issue on Shape Modeling International 2017
Attene, Marco
Lefebvre, Sylvain
Panozzo, Daniele
COMPUTERS & GRAPHICS-UK, 2017, 66 : 1 - 3
[28] Special issue on International Conferences on Power and Energy - Foreword
Sato, M
Sugiyama, KI
JSME INTERNATIONAL JOURNAL SERIES B-FLUIDS AND THERMAL ENGINEERING, 2006, 49 (02) : 185 - 185
[29] Foreword to Special Issue on the Third World and International Law
Gathii, James Thuo
INTERNATIONAL COMMUNITY LAW REVIEW, 2007, 9 (04) : 331 - 332
[30] Special Issue: SHAPE MODELING INTERNATIONAL 2015 Foreword
Patane, Giuseppe
Vandeborre, Jean-Philippe
Veltkamp, Remco
COMPUTERS & GRAPHICS-UK, 2015, 51 : A1 - A2

← 1 2 3 4 5 →