Skip to contents

  1. Liu, Shaoying [Editor]; Maibaum, Tom [Other]; Araki, Keijiro [Other] ; International Conference on Formal Engineering Methods 10 2008 Kitakyūshū

    Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Published in: Lecture notes in computer science ; 5256

  7. Hinchey, Michael Gerard [Other]; Liu, Shaoying [Other] ; IEEE International Conference on Formal Engineering Methods (2nd :1998 :Brisbane, Qld.), IEEE Computer Society

    Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif: IEEE Computer Society Press, 2011 ; [S.l.]: HathiTrust Digital Library

  8. Liu, Shaoying [Editor]; Duan, Zhenhua [Editor]; Liu, Ai [Editor]

    Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2023. ; Cham: Imprint: Springer, 2023.

    Published in: Lecture Notes in Computer Science ; 13854

  11. Xue, Jinyun [Editor]; Nagoya, Fumiko [Editor]; Liu, Shaoying [Editor]; Duan, Zhenhua [Editor]

    Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers - [1st ed. 2021.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Theoretical Computer Science and General Issues ; 12723

  12. Miao, Huaikou [Editor]; Tian, Cong [Editor]; Liu, Shaoying [Editor]; Duan, Zhenhua [Editor]

    Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers - [1st ed. 2020.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Published in: Theoretical Computer Science and General Issues ; 12028 - Springer eBook Collection

  13. Duan, Zhenhua [Editor]; Liu, Shaoying [Editor]; Tian, Cong [Editor]; Nagoya, Fumiko [Editor]

    Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2019

    Published in: Theoretical Computer Science and General Issues ; 11392 - Springer eBooks ; Computer Science

  16. McDermid, John [Other]; Hinchey, Michael Gerard [Other]; Liu, Shaoying [Other] ; IEEE International Conference on Formal Engineering Methods (3rd :2000 :York, England), IEEE Computer Society

    ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif: IEEE Computer Society, 2000

  17. Wang, Shaoying [Author]; Liu, Jiping [Author]; Li, Xinyu [Author]; Ye, Yufang [Author]; Greatbatch, Richard J. [Author]; Chen, Zhuoqi [Author]; Cheng, Xiaoyan [Author]

    New insight into the influence of the greenland high on summer arctic sea ice

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bristol: IOP Publishing, 06 July 2022

    Published in: Environmental Research Letters ; 17 (2022), 074033

  18. Hutchison, David [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Araki, Keijiro [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Liu, Shaoying [Other]; Maibaum, Tom [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]

    Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5256