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 - 12 of 12 results for “kun he”
Skip side bar filters

  • Theoretical Computer Science

    38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers

    Edited by Kun He, Cheng Zhong, Zhiping Cai, Yitong Yin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020.The 13 full papers presented were carefully reviewed and selected from 28 submissions. They present recent research in the areas of algorithms and complexity, matrix computation; deep learning; network communication and ... Read more

    $49.49 USD

  • Theoretical Computer Science

    37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

    Edited by Xiaoming Sun, Kun He, Xiaoyun Chen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held in Lanzhou, China, in August 2019.The 11 full papers presented were carefully reviewed and selected from 28 submissions. They present relevant trends of current research in the area of algorithms and complexity, data science and machine learning theory, and ... Read more

    $49.49 USD

  • Theoretical Computer Science

    36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

    Edited by Lian Li, Pinyan Lu, Kun He ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and ... Read more

    $49.49 USD

  • Theoretical Computer Science

    35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

    Edited by Kun He, Lian Li, Dingzhu Du, En Zhu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and ... Read more

    $49.49 USD

People who read these also enjoyed

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

    Edited by Sergei Artemov, Anil Nerode ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

    $49.49 USD

  • Developments in Language Theory

    20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

    Edited by Srečko Brlek, Christophe Reutenauer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... Read more

    $49.49 USD

  • Formal Aspects of Component Software

    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

    Edited by José Proença, Markus Lumpe ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... Read more

    $49.49 USD

  • Reachability Problems

    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

    Edited by Igor Potapov, Jiří Srba, Kim Guldstrand Larsen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of reachability for infinite state ... Read more

    $49.49 USD

  • Implementation and Application of Automata

    22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

    Edited by Arnaud Carayol, Cyril Nicaud ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; ... Read more

    $49.99 USD

  • Descriptional Complexity of Formal Systems

    17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

    Edited by Jeffrey Shallit, Alexander Okhotin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is ... Read more

    $49.99 USD

  • Logics in Computer Science

    A Study on Extensions of Temporal and Strategic Logics

    by Fabio Mogavero ...
    Series series Mathematics and Statistics (R0)
    In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with ... Read more

    $49.49 USD

  • Unconventional Computation and Natural Computation

    15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

    Edited by Martyn Amos, Anne Condon ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation and Natural Computation, UCNC 2016, held in Manchester, UK, in July 2016.The 15 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 30 submissions. The papers cover a wide range of topics including molecular, cellular, quantum, optical ... Read more

    $49.99 USD