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 “taylor t johnson”
Skip side bar filters

  • AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    Edición de Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling ...
    Series series Springer Nature Proceedings Computer Science
    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI ... Leer más

    $116.99 USD

La gente que leyó esto 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

  • 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

    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

  • Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

    Edición de Arie Gurfinkel, Vijay Ganesh ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. ... Leer más

    Gratis

  • Data Mining

    Concepts and Techniques

    de Jiawei Han, Jian Pei, Hanghang Tong ...
    Series series The Morgan Kaufmann Series in Data Management Systems
    Data Mining: Concepts and Techniques, Fourth Edition introduces concepts, principles, and methods for mining patterns, knowledge, and models from various kinds of data for diverse applications. Specifically, it delves into the processes for uncovering patterns and knowledge from massive collections of data, known as knowledge discovery from data, or KDD. It focuses on the feasibility, usefulness, ... Leer más

    $63.99 USD

  • 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

  • Introduction To Machine Learning In Quantitative Finance, An

    de Hao Ni, Xin Dong, Jinsong Zheng, Guangxi Yu ...
    Series series Advanced Textbooks In Mathematics
    In today's world, we are increasingly exposed to the words 'machine learning' (ML), a term which sounds like a panacea designed to cure all problems ranging from image recognition to machine language translation. Over the past few years, ML has gradually permeated the financial sector, reshaping the landscape of quantitative finance as we know it.An Introduction to Machine Learning in Quantitative ... Leer más

    $34.99 USD

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Edición de Isil Dillig, Serdar Tasiran ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Adaptive Machine Learning Algorithms with Python

    Solve Data Analytics and Machine Learning Problems on Edge Devices

    de Chanchal Chatterjee ...
    Series series Professional and Applied Computing (R0)
    Learn to use adaptive algorithms to solve real-world streaming data problems. This book covers a multitude of data processing challenges, ranging from the simple to the complex. At each step, you will gain insight into real-world use cases, find solutions, explore code used to solve these problems, and create new algorithms for your own use.Authors Chanchal Chatterjee and Vwani P. Roychowdhury ... Leer más

    $40.49 USD

  • Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

    Edición de Constantin Enea, Akash Lal ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Leer más

    Gratis

  • Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

    Edición de Sharon Shoham, Yakir Vizel ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Leer más

    Gratis