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...
  • Self-Love for Women

    Overcoming Toxic Femininity and Suffering

    How does one arrive at the harbour of inner peace, security and happiness which they are looking for? Self-Love for Women identifies the biggest barrier that women must overcome in order to reach a state of true happiness: toxic femininity. It explains what self-love really is, how to achieve it, and how to use it to triumph over suffering in order to acquire self-validation, self-worth, self ... Read more

    $6.29 USD or Free with Kobo Plus

  • Advanced Computational Methods for Knowledge Engineering

    Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

    Series series Springer Nature Proceedings excluding Computer Science
    This proceedings consists of 20 papers which have been selected and invited from the submissions to the 4th International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2016) held on 2-3 May, 2016inLaxenburg, Austria. The conference is organized into 5 sessions: Advanced Optimization Methods and Their Applications, Models for ICT applications,Topics on discrete ... Read more

    $143.09 USD

People who read these also enjoyed

  • 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

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes 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.The total of ... Read more

    Free

  • Computer Aided Verification

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

    Edited by Sharon Shoham, Yakir Vizel ...
    Series Book 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 ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

    Free

  • Advances in Intelligent Data Analysis XVII

    17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers ... Read more

    $49.49 USD

  • Advances in Artificial Intelligence: From Theory to Practice

    30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 ... Read more

    $49.49 USD

  • 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

  • Data Management Technologies and Applications

    4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Data Technologies and Applications, DATA 2015, held in Colmar, France, in July 2015.The 9 revised full papers were carefully reviewed and selected from 70 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledge and ... Read more

    $49.49 USD

  • Advances in Artificial Intelligence

    29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, held in Victoria, BC, Canada, in May/June 2016. The 12 full papers and 27 short papers presented were carefully reviewed and selected from 97 submissions. The focus of the conference was on the following subjects:actions and behaviours, audio and visual recognition, natural ... Read more

    $49.49 USD

  • Advances in Intelligent Data Analysis XIV

    14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the 14th International Conference on Intelligent Data Analysis, which was held in October 2015 in Saint Étienne. France. The 29 revised full papers were carefully reviewed and selected from 65 submissions. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The symposium aims to ... Read more

    $49.49 USD