Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « kun he »
Skip side bar filters

  • Theoretical Computer Science

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

    Modifié par Kun He, Cheng Zhong, Zhiping Cai, Yitong Yin ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Theoretical Computer Science

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

    Modifié par Xiaoming Sun, Kun He, Xiaoyun Chen ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Theoretical Computer Science

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

    Modifié par Lian Li, Pinyan Lu, Kun He ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Theoretical Computer Science

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

    Modifié par Kun He, Lian Li, Dingzhu Du, En Zhu ...
    Collections 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 ... En savoir plus

    $64.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Logical Foundations of Computer Science

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

    Modifié par Sergei Artemov, Anil Nerode ...
    Collections 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, ... En savoir plus

    $64.99 CAD

  • Developments in Language Theory

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

    Modifié par Srečko Brlek, Christophe Reutenauer ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Formal Aspects of Component Software

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

    Modifié par José Proença, Markus Lumpe ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Reachability Problems

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

    Modifié par Igor Potapov, Jiří Srba, Kim Guldstrand Larsen ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Implementation and Application of Automata

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

    Modifié par Arnaud Carayol, Cyril Nicaud ...
    Collections 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; ... En savoir plus

    $64.99 CAD

  • Descriptional Complexity of Formal Systems

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

    Modifié par Jeffrey Shallit, Alexander Okhotin ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Logics in Computer Science

    A Study on Extensions of Temporal and Strategic Logics

    par Fabio Mogavero ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Unconventional Computation and Natural Computation

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

    Modifié par Martyn Amos, Anne Condon ...
    Collections 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 ... En savoir plus

    $64.99 CAD