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 “zhe hou”
Skip side bar filters

  • Fundamentals of Logic and Computation

    With Practical Automated Reasoning and Verification

    de Zhe Hou ...
    Series series Computer Science (R0)
    This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. ... Leer más

    $58.99 USD

  • Sports Analytics

    First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

    Edición de Jin Song Dong, Masoumeh Izadi, Zhe Hou ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024.The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from a total of 66 submissions.The vision of this new International Sports Analytics Conference and ... Leer más

    $143.99 USD

  • Automated Technology for Verification and Analysis

    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

    Edición de Zhe Hou, Vijay Ganesh ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present ... Leer más

    $76.49 USD

  • Formal Methods and Software Engineering

    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

    Edición de Shang-Wei Lin, Zhe Hou, Brendan Mahony ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... Leer más

    $49.49 USD

La gente que leyó estos también disfrutó

  • A Constraints-Led Approach to Baseball Coaching

    de Rob Gray, Randy Sullivan ...
    Series series Routledge Studies in Constraints-Based Methodologies in Sport
    A Constraints-Led Approach to Baseball Coaching presents a new approach to baseball coaching and practice. Applying a CLA to the player development process across the skill spectrum from the beginners to elite, this book uses practical examples to demonstrate the theoretical principles of the constraints-led coaching style embedded in research showing the numerous benefits of the approach.This ... Leer más

    $58.99 USD

  • Introduction to Information Retrieval

    de Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...
    Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Leer más

    $65.99 USD

  • Introduction to the Analysis of Algorithms, An

    de Robert Sedgewick, Philippe Flajolet ...
    Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, Second Edition, organizes and presents that knowledge, fully introducing primary techniques and results in the field.Robert Sedgewick and the late Philippe Flajolet ... Leer más

    $69.29 USD

  • Marketing Data Science

    Modeling Techniques in Predictive Analytics with R and Python

    de Thomas Miller ...
    Series series FT Press Analytics
    Now***,*** a leader of Northwestern University's prestigious analytics program presents a fully-integrated treatment of both the business and academic elements of marketing applications in predictive analytics. Writing for both managers and students, Thomas W. Miller explains essential concepts, principles, and theory in the context of real-world applications.Building on Miller's pioneering ... Leer más

    $69.29 USD

  • The Text Mining Handbook

    Advanced Approaches in Analyzing Unstructured Data

    de Ronen Feldman, James Sanger ...
    Text mining is a new and exciting area of computer science research that tries to solve the crisis of information overload by combining techniques from data mining, machine learning, natural language processing, information retrieval, and knowledge management. Similarly, link detection – a rapidly evolving approach to the analysis of text that shares and builds upon many of the key elements of ... Leer más

    $89.99 USD

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    de Michael Huth, Mark Ryan ...
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses ... Leer más

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

  • Basketball Data Science

    With Applications in R

    de Paola Zuccolotto, Marica Manisera ...
    Series series Chapman & Hall/CRC Data Science Series
    Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball. Whether assessing the spatial performance of an NBA player's shots or doing an analysis of the impact of high pressure game situations on the probability of scoring, this book discusses a variety of case studies ... Leer más

    $77.99 USD