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...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “feifei ma”
Skip side bar filters

  • Automatic Generation of Combinatorial Test Data

    de Jian Zhang, Zhiqiang Zhang, Feifei Ma ...
    Series series Computer Science (R0)
    This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test ... Leer más

    $49.99 USD

  • Expanding Navigation Application and Empowering the Future of Humanity

    Edición de Shijun Chen, Siwen Dong, Weihua Guo, Yan Wang, Feifei Zhang, Yang Liu, Yuxiang Wang, Erdan Ma ...
    The 2024 IAIN World Congress, held from October 28th – 30th, at the Beijing International Convention Center, brought together over 350 participants and 31 delegates from all over the world to discuss cutting-edge advancements in navigation and maritime technology.Organized by the International Association of Institutes of Navigation (IAIN) and hosted by the China Institute of Navigation (CIN), the ... Leer más

    Gratis

La gente que leyó estos también disfrutó

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

    Edición de André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

    Gratis

  • Proceedings of the 2023 International Conference on Wireless Communications, Networking and Applications

    Edición de Patrick Siarry, M. A. Jabbar, Simon King Sing Cheung, Xiaolong Li ...
    Series series Springer Nature Proceedings excluding Computer Science
    This open access book includes original, peer-reviewed research papers from the 2023 International Conference on Wireless Communications, Networking and Applications (WCNA 2023), held in Shenzhen, Guangdong, China, from December 29 to 31, 2023. The topics covered include but are not limited to: Wireless Communications; Devices, Tools, and Techniques for WSN and Other Wireless Networks; Wireless ... Leer más

    Gratis

  • Computer Aided Verification

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

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 1 - 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

  • Disaster Intelligent Perception and Emergency Command of Power Grid

    de Zhen Yu, Jie Feng, Shiyang Tang, Zeyu Liu, Yiran Yan, Na Luo ...
    This open access book addresses the current technical problems of low efficiency of emergency site information collection, lack of flexibility of emergency information interaction, lack of fusion analysis technology and disaster loss prediction model, and low intelligence of emergency auxiliary decision making. The content contains research on multiple information collection technology of power ... Leer más

    Gratis

  • Computer Aided Verification

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

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 1 - 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

  • GeoAI for Earth Observation Imagery

    Fundamentals and Practical Applications

    Edición de Dalton Lunga, Ronny Hänsch ...
    GeoAI for Earth Observation Imagery: Fundamentals and Practical Applications comprehensively covers methodologies of AI and Machine Learning applications of image processing for Earth Observation (EO) Imagery. As traditional image processing methods face challenges with handling vast volumes of EO imagery, leading to efficiencies and limitations when extracting meaningful insights, AI-driven ... Leer más

    $157.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edición de Tomáš Vojnar, Lijun Zhang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Leer más

    Gratis

  • Activities in Navigation

    Marine Navigation and Safety of Sea Transportation

    Edición de Adam Weintrit ...
    The monograph Marine Navigation and Safety of Sea Transportation, Information, Communication and Environment, is addressed to scientists and professionals in order to share their experience, expert knowledge and research results, concerning all aspects of navigation and sea transportation.The focus of monograph is high-quality, scholarly research that addresses development, application and ... Leer más

    $67.99 USD

  • Sparse Coding And Its Applications In Computer Vision

    de Zhaowen Wang, Jianchao Yang, Haichao Zhang, Zhangyang Wang, Thomas S Huang, Ding Liu, Yingzhen Yang ...
    This book provides a broader introduction to the theories and applications of sparse coding techniques in computer vision research. It introduces sparse coding in the context of representation learning, illustrates the fundamental concepts, and summarizes the most active research directions. A variety of applications of sparse coding are discussed, ranging from low-level image processing tasks ... Leer más

    $36.99 USD

  • Marine Navigation

    Proceedings of the 12th International Conference on Marine Navigation and Safety of Sea Transportation (TransNav 2017), June 21-23, 2017, Gdynia, Poland

    Edición de Adam Weintrit ...
    The 12th International Conference on Marine Navigation and Safety of Sea Transportation (TransNav 2017) will take place on June 21-23 in Gdynia, Poland. Main themes of this conference include: electronic navigation, route planning, mathematical models, methods and algorithms, ships manoeuvring, navigational risks, Global Navigation Satellite Systems (GNSS), Automatic Identification System (AIS), ... Leer más

    $70.99 USD