Computer Science 2

This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. T……続きを見る

An introduction to a broad range of topics in deep learning, covering mathematical and conceptual background, deep learning techniques used in industry, and research perspectives. “Written by three ……続きを見る

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nan……続きを見る

This book explores the role of social media in the daily practice of Polish criminal justice and how social media is, in turn, reshaping this practice. Based on empirical research, it confronts comm……続きを見る

Recent discussions on big data surveillance and artificial intelligence in governance have opened up an opportunity to think about the role of technology in the production of the knowledge states us……続きを見る

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, ……続きを見る

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, ……続きを見る

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which to……続きを見る

Traditionally, Sociology has identified its subject matter as a distinct set – social phenomena – that can be taken as quite different and largely disconnected from potentially relevant disciplines ……続きを見る

This multidisciplinary, edited volume examines higher educations’ ICT integration in Africa, contributing a new and inclusive change readiness framework to better understand how to manage ICT or oth……続きを見る

Computation, modeling, and simulation practices are commonplace in the STEM workplace, yet formal training embedded in disciplinary practices is not as standard in the undergraduate classroom. Teach……続きを見る

Artificial intelligence (AI) permeates our lives in a growing number of ways. Relying solely on traditional, technology-driven approaches won't suffice to develop and deploy that technology in a way……続きを見る

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……続きを見る

Influence action through data! This is not a book. It is a one-of-a-kind immersive learning experience through which you can becomeーor teach others to beーa powerful data storyteller. Let’s practic……続きを見る

There is currently no comprehensive scientific study that addresses the problem of financing projects using Distributed Ledger (blockchain) Technology (DLT) that are not themselves embedded in the b……続きを見る

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Pr……続きを見る

In the first part of the i3-MARKET Book series we begin by discussing the principles of the modern data economy that makes readers more aware about the value of the data that is produced everyday by……続きを見る

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, ……続きを見る

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, ……続きを見る

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took pl……続きを見る

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which to……続きを見る

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, ……続きを見る

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, ……続きを見る

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relations……続きを見る

This open access book provides a unified overview of topological obstructions to the stability and stabilization of dynamical systems defined on manifolds and an overview that is self-contained and ……続きを見る

This open access book introduces the fundamentals of the space–time conservation element and solution element (CESE) method, which is a novel numerical approach for solving equations of physical con……続きを見る

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 sh……続きを見る

This open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research progr……続きを見る

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……続きを見る

Unlock the future of brain health with this indispensable guide, which offers a comprehensive exploration of how artificial intelligence and machine learning are revolutionizing the diagnosis, treat……続きを見る