Skip to main content

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...
  • Verification and Evaluation of Computer and Communication Systems

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

    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 ... Read more

    $53.99 USD

People who read this also enjoyed

  • Cyber Security, Cyber Crime and Cyber Forensics: Applications and Perspectives

    Recent developments in cyber security, crime, and forensics have attracted researcher and practitioner interests from technological, organizational and policy-making perspectives. Technological advances address challenges in information sharing, surveillance and analysis, but organizational advances are needed to foster collaboration between federal, state and local agencies as well as the private ... Read more

    $152.99 USD

    PRE-ORDER

  • The Text Mining Handbook

    Advanced Approaches in Analyzing Unstructured Data

    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 ... Read more

    $89.39 USD

  • Knowledge Graphs and Big Data Processing

    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 ... Read more

    Free

  • 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

    Series Book 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 ... Read more

    Free

  • State of the Art Applications of Social Network Analysis

    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 ... Read more

    $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

    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 ... Read more

    $49.49 USD

  • Innovations for Community Services

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

    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 ... Read more

    $49.49 USD

  • Data Mining In Time Series And Streaming Databases

    Series Book 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 ... Read more

    $62.99 USD

  • Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence

    Big data is a well-trafficked subject in recent IT discourse and does not lack for current research. In fact, there is such a surfeit of material related to big data—and so much of it of questionably reliability, thanks to the high-gloss efforts of savvy tech-marketing gurus—that it can, at times, be difficult for a serious academician to navigate. The Handbook of Research on Trends and Future ... Read more

    $242.99 USD

    PRE-ORDER

  • Computer Aided Verification

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

    Edited by Constantin Enea, Akash Lal ...
    Series Book 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 ... Read more

    Free

  • Mathematical Programming Solver Based on Local Search

    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 ... Read more

    $142.00 USD