Algorithms and data structures

This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.

Summarises ideas in Information Systems Development for graduate students and professionals.

The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.

Crypto-Finance, Law and Regulation investigates whether crypto-finance will cause a paradigm shift in regulation from a centralised model to a model based on distributed consensus.

Motivation for the book Database security has been gaining a great deal of importance as industry, military, and government organizations have increasingly adopted Internet-based techno- gies on a large-scale, because of convenience, ease of use, and the ability to take advantage of rapid advances in the commercial market.

This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard.

Information visualization is not only about creating graphical displays of complex and latent information structures; it contributes to a broader range of cognitive, social, and collaborative activities.

The 5-volume proceedings, LNAI 12457 until 12461 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2020, which was held during September 14-18, 2020.

The textbook presents basic concepts of signals and systems in a clear manner, based on the author's 15+ years of teaching the undergraduate course for engineering students.

This book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in Wuhan, China, in September 2016.

This volume contains a collection of studies in the areas of complexity theory and property testing.

This book constitutes the refereed proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2020, which was held during September 16-18, 2020.

This book constitutes the refereed conference proceedings of the 29th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2022, held in Paderborn, Germany, in June 2022.

30-Second Data Science covers 50 key elements in the field of data-gathering from basic to ethics, explained clearly and concisely.

This book constitutes the refereed proceedings of the 9th International Conference on on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2016, held in Zhangjiajie, China, in November 2016.

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23-26, 2023.

This new volume explores a variety of modern techniques that deal with estimated models and give resolutions to complex real-life issues.

A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.

Smart Spaces combines the study of working or living spaces with computing, information equipment, and multimodal sensing devices, and with natural and convenient interactive interfaces to support how people can easily obtain services from computer systems.

This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.

This book contains 25 short programs that will challenge your understanding of Go.

This book constitutes the proceedings of the 17th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2017, held in Helsinki, Finland, in August 2017.

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

A riveting account of espionage for the digital age, from one of America's leading intelligence expertsSpying has never been more ubiquitous-or less understood.

Machine learning is widely used for data analysis.

This book constitutes the refereed proceedings of the 10th Chinese Conference on Biometric Recognition, CCBR 2015, held in Tianjin, China, in November 2015.

This book constitutes the proceedings from the 38th Annual IFIP 11.

Visualization has become a valuable means for data exploration and analysis.

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science.

A friendly, fully-illustrated introduction to the most important computer programming algorithms.

Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band communication systems, as well as in ranging systems global positioning systems, circuit testing and stream ciphers.

This book - in conjunction with the double volume LNCS 9225-9226 - constitutes the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015.

This two-volume set (CCIS 1075 and CCIS 1076) constitutes the refereed proceedings of the Third International Conference on Advanced Informatics for Computing Research, ICAICR 2019, held in Shimla, India, in June 2019.

This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2017, CT-RSA 2017, held in San Francisco, CA, USA, in February 2017.

The aim of this book is to highlight the most promising lines of research, using new enabling technologies and methods based on AI/ML techniques to solve issues and challenges related to intelligent and computing systems.

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.

This book constitutes the refereed conference proceedings of the 8th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2014, held in Bangalore, India, in December 2014.

In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a classical com- puter.

This book constitutes the refereed proceedings of the 24th International Conference on Distributed Applications and Interoperable Systems, DAIS 2024, held in PhGroningen, The Netherlands, as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, during June 17-21, 2024.

This book is the first one that provides a solid bridge between algorithmic information theory and statistical mechanics.

A good title should be informative enough to illuminate a potential reader on the content of a book.

This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017; and First Workshop on Cloud Security Modeling, Monitoring and Management, CS3M 2017.

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP.

Tobias Miunske stellt einen neuartigen Bewegungsalgorithmus vor, der sich zur Laufzeit adaptiv an verschiedenartige fahrdynamische Szenarien anpasst.

This book is about Granular Computing (GC) - an emerging conceptual and of information processing.

This SpringerBrief presents the data- information-and-time (DIT) model that precisely clarifies the semantics behind the terms data, information and their relations to the passage of real time.