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 “ayoub nouri”
Skip side bar filters

  • Verification and Evaluation of Computer and Communication Systems

    15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers

    Edición de Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually.The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring ... Leer más

    $53.99 USD

La gente que leyó esto también disfrutó

  • 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

  • Knowledge Graphs and Big Data Processing

    Edición de Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger ...
    Series series Computer Science (R0)
    This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Edición de Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen ...
    Series Libro 3 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of 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. It's a special volume on ... Leer más

    Gratis

  • State of the Art Applications of Social Network Analysis

    Edición de Fazli Can, Tansel Özyer, Faruk Polat ...
    Series series Computer Science (R0)
    Social network analysis increasingly bridges the discovery of patterns in diverse areas of study as more data becomes available and complex. Yet the construction of huge networks from large data often requires entirely different approaches for analysis including; graph theory, statistics, machine learning and data mining. This work covers frontier studies on social network analysis and mining from ... Leer más

    $49.49 USD

  • ICT Systems Security and Privacy Protection

    31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings

    Edición de Jaap-Henk Hoepman, Stefan Katzenbeisser ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 31st IFIP TC 11 International Conference on ICT Systems Security and Privacy Protection, SEC 2016, held in Ghent, Belgium, in May/June 2016. The 27 revised full papers presented were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on cryptographic protocols, human aspects of security, cyber ... Leer más

    $49.99 USD

  • Innovations for Community Services

    17th International Conference, I4CS 2017, Darmstadt, Germany, June 26-28, 2017, Proceedings

    Edición de Gerald Eichler, Christian Erfurth, Günter Fahrnberger ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Innovations for Community Services, I4CS 2017, held in Darmstadt, Germany, in June 2017.The 12 revised full papers presented together with two short papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on Social Networks; Cooperative Networks; Optimization ... Leer más

    $49.99 USD

  • Data Mining In Time Series And Streaming Databases

    de Mark Last, Horst Bunke, Abraham Kandel ...
    Series Libro 83 - Series In Machine Perception And Artificial Intelligence
    This compendium is a completely revised version of an earlier book, Data Mining in Time Series Databases, by the same editors. It provides a unique collection of new articles written by leading experts that account for the latest developments in the field of time series and data stream mining.The emerging topics covered by the book include weightless neural modeling for mining data streams, using ... Leer más

    $62.99 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

  • Mathematical Programming Solver Based on Local Search

    de Thierry Benoist, Julien Darlay, Bertrand Estellon, Romain Megel, Frédéric Gardi ...
    This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today's end-users demand interactivity with decision support systems. For optimization software, this means obtaining good ... Leer más

    $142.00 USD

  • Big Data Analytics and Knowledge Discovery

    18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

    Edición de Sanjay Madria, Takahiro Hara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Leer más

    $49.99 USD

  • Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

    Edición de Anna-Lena Lamprecht ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Leer más

    $49.99 USD