Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 5 of 5 results for “cong tian”
Skip side bar filters

  • Computing and Combinatorics

    25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

    Edited by Ding-Zhu Du, Zhenhua Duan, Cong Tian ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi’an, China, in July 2019.The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, ... Read more

    $49.49 USD

  • Structured Object-Oriented Formal Language and Method

    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

    Edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and ... Read more

    $49.49 USD

  • Structured Object-Oriented Formal Language and Method

    9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

    Edited by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and ... Read more

    $49.49 USD

  • Structured Object-Oriented Formal Language and Method

    8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

    Edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language andMethod, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming ... Read more

    $49.49 USD

  • Structured Object-Oriented Formal Language and Method

    6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

    Edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; ... Read more

    $49.49 USD