Filtrera

Ämne
  • (3)
  • (1)
  • (1)

Jinyun Xue - Böcker

Visar alla böcker av Jinyun Xue. Handla med fri frakt och snabb leverans!

  1. Structured Object-Oriented Formal Language and Method

    av Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2021-06-04
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volum...

    Läs mer »

  2. Formal Aspects of Component Software

    av Jos Luiz Fiadeiro, Zhiming Liu, Jinyun Xue

    Häftad, Engelska, 2014-07-30
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Aspects of Component Software

    This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully...

    Läs mer »

  3. Frontiers in Algorithmics

    av Xiaotie Deng, John E Hopcroft, Jinyun Xue

    Häftad, Engelska, 2009-06-08
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Frontiers in Algorithmics

    This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks ...

    Läs mer »