Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications Singapore, 13th May 2014 Preface

被引：0

|

作者：

Lin, Shang-Wei

Petrucci, Laure

机构：

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 156期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页数：2

相关论文

共 50 条

[1] Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Preface
Cerone, Antonio
Curzon, Paul
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 208 : 1 - 3
[2] Proceedings Third International Workshop on Engineering Safety and Security Systems Singapore, Singapore, 13 May 2014 Preface
Pang, Jun
Liu, Yang
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (150):
[3] Proceedings Third International Workshop on Linearity Vienna, Austria, 13th July, 2014 Preface
不详
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (176):
[4] PROCEEDINGS - 2ND WORKSHOP ON DERMATOPHARMACOLOGY - PREFACE
不详
JOURNAL OF INVESTIGATIVE DERMATOLOGY, 1976, 67 (05) : 619 - 619
[5] 2nd workshop on formal methods for blockchains
Bernardo, Bruno
Marmsoler, Diego
OpenAccess Series in Informatics, 2020, 84
[6] Proceedings Tenth International Workshop on Developments in Computational Models Vienna, Austria, 13th July 2014 Preface
Dal Lago, Ugo
Harmer, Russ
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (179):
[7] Preface to the Proceedings of the 13th International Workshop on Matrices and Statistics, Bedlewo 2004
Elsner, Ludwig
Markiewicz, Augustyn
Szulc, Tomasz
LINEAR ALGEBRA AND ITS APPLICATIONS, 2006, 417 (01) : 1 - 2
[8] The proceedings of the 2nd Stueckelberg workshop on relativistic field - Preface
Cianfrani, F.
Montani, G.
Ruffini, R.
INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2008, 23 (08): : III - IV
[9] PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON SEISMIC ANISOTROPY - PREFACE
BOOTH, DC
CRAMPIN, S
CHESNOKOV, EM
GEOPHYSICAL JOURNAL OF THE ROYAL ASTRONOMICAL SOCIETY, 1987, 91 (02): : 261 - 263
[10] PROCEEDINGS OF THE 2ND SOIL RESIDUE ANALYSIS WORKSHOP - PREFACE
TARRADELLAS, J
INTERNATIONAL JOURNAL OF ENVIRONMENTAL ANALYTICAL CHEMISTRY, 1992, 46 (1-3) : U3 - U3

← 1 2 3 4 5 →