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 “mengjun hu”
Skip side bar filters

People who read these also enjoyed

  • 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

    Edited by Hana Chockler, Georg Weissenbacher ...
    Series Book 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 ... Read more

    Free

  • Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques

    5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part II

    Edited by Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.The total of 126 papers presented in the proceedings was carefully reviewed and selected from 416 submissions. They deal with big data, neural networks, image processing, computer vision, pattern ... Read more

    $49.49 USD

  • Integrated Pest Management

    Current Concepts and Ecological Perspective

    Edited by Dharam P. Abrol ...
    Integrated Pest Management: Current Concepts and Ecological Perspective presents an overview of alternative measures to traditional pest management practices using biological control and biotechnology. The removal of some highly effective broad-spectrum chemicals, caused by concerns over environmental health and public safety, has resulted in the development of alternative, reduced risk crop ... Read more

    $89.09 USD

  • Formal Methods

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

    Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Book 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 ... Read more

    Free

  • Knowledge Science, Engineering and Management

    11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part I

    Edited by Weiru Liu, Fausto Giunchiglia, Bo Yang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This two volume set of LNAI 11061 and LNAI 11062 constitutes the refereed proceedings of the 11th International Conference on Knowledge Science, Engineering and Management, KSEM 2018, held in Changchun, China, in August 2018.The 62 revised full papers and 26 short papers presented were carefully reviewed and selected from 262 submissions. The papers of the first volume are organized in the ... Read more

    $49.99 USD

  • Chemical Ecology of Insects

    Applications and Associations with Plants and Microbes

    Edited by Jun Tabata ...
    Insects have evolved very unique and interesting tactics using chemical signals to survive. Chemical ecology illustrates the working of the biological network by means of chemical analyses. Recent advances in analytical technology have opened the way to a better understanding of the more complicated and abyssal interactions of insects with other organisms including plants and microbes. This book ... Read more

    $67.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Edited by Bernd Finkbeiner, Laura Kovács ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions ... Read more

    Free

  • Advanced Data Mining and Applications

    12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings

    Edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Advanced Data Mining and Applications, ADMA 2016, held in Gold Coast, Australia, in December 2016.The 70 papers presented in this volume were carefully reviewed and selected from 105 submissions. The selected papers covered a wide variety of important topics in the area of data mining, including parallel and distributed ... Read more

    $89.99 USD

  • Phylogeny and Evolution of the Angiosperms

    by Douglas Soltis, Pamela Soltis, Peter Endress, Mark Chase, Steven Manchester, Walter Judd, Lucas Majure, Evgeny Mavrodiev ...
    Although they are relative latecomers on the evolutionary scene, having emerged only 135?170 million years ago, angiosperms—or flowering plants—are the most diverse and species-rich group of seed-producing land plants, comprising more than 15,000 genera and over 350,000 species. Not only are they a model group for studying the patterns and processes of evolutionary diversification, they also play ... Read more

    $17.29 USD or Free with Kobo Plus