Computer Science 2

You’ll find inside: * A structured collection of architectural patterns featuring hundreds of hand-crafted diagrams. * Technology-agnostic knowledge distilled from a multitude of sources. * Deconstr……続きを見る

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39……続きを見る

This open access book 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.The pri……続きを見る

Expert guidance on the art and science of driving secure behaviors Transformational Security Awareness empowers security leaders with the information and resources they need to assemble and deliver ……続きを見る

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

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

Stephen Wolfram is the creator of Mathematica and Wolfram|Alpha and the author of A New Kind of Science and An Elementary Introduction to the Wolfram Language. In this short ebook, Dr. Wolfram dives……続きを見る

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

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

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

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

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

You know how to write Python. Now master the computer science that makes it work. If you’ve been programming for a while, you may have found yourself wondering about the deeper principles behind the……続きを見る

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

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

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