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 “ichiro hasuo”
Skip side bar filters

  • Safety Assurance under Uncertainties

    From Software to Cyber-Physical/Machine Learning Systems

    Edición de Ichiro Hasuo, Fuyuki Ishikawa ...
    Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by automated driving systems mandates environmental uncertainties to be addressed and the resulting hazards to ... Leer más

    $77.99 USD

  • Coalgebraic Methods in Computer Science

    13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

    Edición de Ichiro Hasuo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Graph Machine Learning

    Learn about the latest advancements in graph data to build robust machine learning models

    de Aldo Marzullo, Enrico Deusebio, Claudio Stamile ...
    Enhance your data science skills with this updated edition featuring new chapters on LLMs, temporal graphs, and updated examples with modern frameworks, including PyTorch Geometric and DGL Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesMaster new graph ML techniques through updated examples using PyTorch Geometric and Deep Graph Library (DGL)Explore GML ... Leer más

    $39.99 USD o gratis con Kobo Plus

  • Heuristic Search

    Theory and Applications

    de Stefan Edelkamp, Stefan Schroedl ...
    Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external ... Leer más

    $80.99 USD

  • Modeling and Reasoning with Bayesian Networks

    de Adnan Darwiche ...
    This book is a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of techniques for building Bayesian networks that model real-world situations, including techniques for synthesizing models from design, learning models from data, and debugging models using sensitivity analysis. It also treats exact and approximate ... Leer más

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

  • Artificial Intelligence

    A Textbook

    de Charu C. Aggarwal ...
    Series series Computer Science (R0)
    This textbook covers the broader field of artificial intelligence. The chapters for this textbook span within three categories:Deductive reasoning methods: These methods start with pre-defined hypotheses and reason with them in order to arrive at logically sound conclusions. The underlying methods include search and logic-based methods. These methods are discussed in Chapters 1through 5.Inductive ... Leer más

    $58.49 USD

  • 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

  • Real-Time Systems

    Design Principles for Distributed Embedded Applications

    de Hermann Kopetz ...
    Series series Computer Science (R0)
    "This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for ... Leer más

    $80.99 USD

  • Mastering Java Machine Learning

    A Java developer's guide to implementing machine learning and big data architectures

    de Krishna Choppella, Uday Kamath ...
    Become an advanced practitioner with this progressive set of master classes on application-oriented machine learningKey Features\[\*\] Comprehensive coverage of key topics in machine learning with an emphasis on both the theoretical and practical aspects\[\*\] More than 15 open source Java tools in a wide range of techniques, with code and practical usage.\[\*\] More than 10 real-world case ... Leer más

    $44.99 USD o gratis con Kobo Plus

  • Machine Learning for Text

    de Charu C. Aggarwal ...
    Series series Computer Science (R0)
    This second edition textbook covers a coherently organized framework for text analytics, which integrates material drawn from the intersecting topics of information retrieval, machine learning, and natural language processing. Particular importance is placed on deep learning methods. The chapters of this book span three broad categories:Basic algorithms: Chapters 1 through 7 discuss the classical ... Leer más

    $53.99 USD

  • Machine Learning for Text

    de Charu C. Aggarwal ...
    Series series Computer Science (R0)
    Text analytics is a field that lies on the interface of information retrieval,machine learning, and natural language processing, and this textbook carefully covers a coherently organized framework drawn from these intersecting topics. The chapters of this textbook is organized into three categories:- Basic algorithms: Chapters 1 through 7 discuss the classical algorithms for machine learning from ... Leer más

    $53.99 USD