Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “chuchu fan”
Skip side bar filters

  • Formal Methods for Safe Autonomy

    Data-driven Verification, Synthesis, and Applications

    de Chuchu Fan ...
    Series series ACM Books
    There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems. This book introduces new verification and synthesis algorithms to provide certifiable trusts for real-world autonomous systems. On the theoretical front, the techniques are armed with soundness, precision, and relative completeness guarantees. On the experimental side, this book ... Leer más

    $39.99 USD

  • Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

    Edición de Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Leer más

    $53.99 USD

La gente que leyó estos también disfrutó

  • The Science of Deep Learning

    de Iddo Drori ...
    The Science of Deep Learning emerged from courses taught by the author that have provided thousands of students with training and experience for their academic studies, and prepared them for careers in deep learning, machine learning, and artificial intelligence in top companies in industry and academia. The book begins by covering the foundations of deep learning, followed by key deep learning ... Leer más

    $54.99 USD

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Leer más

    Gratis

  • Fuzzy Neural Networks for Real Time Control Applications

    Concepts, Modeling and Algorithms for Fast Learning

    de Erdal Kayacan, Mojtaba Ahmadieh Khanesar ...
    AN INDISPENSABLE RESOURCE FOR ALL THOSE WHO DESIGN AND IMPLEMENT TYPE-1 AND TYPE-2 FUZZY NEURAL NETWORKS IN REAL TIME SYSTEMS Delve into the type-2 fuzzy logic systems and become engrossed in the parameter update algorithms for type-1 and type-2 fuzzy neural networks and their stability analysis with this book! Not only does this book stand apart from others in its focus but also in its ... Leer más

    $89.99 USD

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Leer más

    Gratis

  • Gmdh-methodology And Implementation In Matlab

    de Godfrey C Onwubolu ...
    Group method of data handling (GMDH) is a typical inductive modeling method built on the principles of self-organization. Since its introduction, inductive modelling has been developed to support complex systems in prediction, clusterization, system identification, as well as data mining and knowledge extraction technologies in social science, science, engineering, and medicine.This is the first ... Leer más

    $38.99 USD

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Statistical Analysis of Network Data with R

    de Eric D. Kolaczyk, Gábor Csárdi ...
    Series series Mathematics and Statistics (R0)
    Networks have permeated everyday life through everyday realities like the Internet, social networks, and viral marketing. As such, network analysis is an important growth area in the quantitative sciences, with roots in social network analysis going back to the 1930s and graph theory going back centuries. Measurement and analysis are integral components of network research. As a result, ... Leer más

    $71.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

    Edición de Dirk Beyer, Marieke Huisman ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Leer más

    Gratis

  • Analysis and Synthesis of Fault-Tolerant Control Systems

    de Magdi S. Mahmoud, Yuanqing Xia ...
    In recent years, control systems have become more sophisticated in order to meet increased performance and safety requirements for modern technological systems. Engineers are becoming more aware that conventional feedback control design for a complex system may result in unsatisfactory performance, or even instability, in the event of malfunctions in actuators, sensors or other system components. ... Leer más

    $121.00 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

    Edición de Dirk Beyer, Marieke Huisman ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Leer más

    Gratis