ISoLA 2006 preface

被引：0
|
作者：
机构：
来源：
Proc. - ISoLA: Int. Symp. Leveraging Appl. Form. Methods, Verif. Validation | 2007年 / xi期
关键词：
D O I：
10.1109/ISoLA.2006.4
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [1] To Francesco dell'Isola Preface
    Bersani, Alberto M.
    Cazzani, Antonio
    Eremeyev, Victor A.
    Giorgio, Ivan
    Spagnuolo, Mario
    MATHEMATICS AND MECHANICS OF SOLIDS, 2022, 27 (10) : 1871 - 1875
  • [2] International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004) - Preface
    Margaria, Tiziana
    Steffen, Bernhard
    THEORETICAL COMPUTER SCIENCE, 2008, 404 (03) : 185 - 185
  • [3] Preface for CoSS 2006
    University of Cincinnati, United States
    不详
    Lect. Notes Comput. Sci., 2006, (171):
  • [4] Preface for QoIS 2006
    Cherfi, Samira Si-Said
    Poels, Geert
    Advances in Conceptual Modeling - Theory and Practice, Proceedings, 2006, 4231 : 323 - 323
  • [5] Preface for CoMoGIS 2006
    Vangenot, Christelle
    Claramunt, Christophe
    Advances in Conceptual Modeling - Theory and Practice, Proceedings, 2006, 4231 : 73 - 73
  • [6] Preface for SemWAT 2006
    Han, Hyoil
    Elmasri, Ramez
    Advances in Conceptual Modeling - Theory and Practice, Proceedings, 2006, 4231 : 393 - 393
  • [7] Preface for OIS 2006
    University of Innsbruck, Austria
    不详
    不详
    Lect. Notes Comput. Sci., 2006, (269-270):
  • [8] Preface for CoSS 2006
    Chiang, Roger
    Misic, Vojislav B.
    Advances in Conceptual Modeling - Theory and Practice, Proceedings, 2006, 4231 : 171 - 171
  • [9] Preface for ECDM 2006
    Grandi, Fabio
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4231 LNCS
  • [10] Preface on CTW 2006
    Ulrich Faigle
    Rainer Schrader
    Rüdiger Schultz
    Mathematical Methods of Operations Research, 2009, 69 : 203 - 204
12345