Computer Science 2

This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa an……続きを見る

This is an open access book. The covid-19 pandemic today forces humans to do almost all activities from home. Consequently, inventions in many fields of engineering technology are needed to facilita……続きを見る

A comprehensive and hands-on introduction to the core concepts, methods, and applications of agent-based modeling, including detailed NetLogo examples. The advent of widespread fast computing has en……続きを見る

CISSP® Study Guide, Fourth Edition provides the latest updates on CISSP® certification, the most prestigious, globally-recognized, vendor neutral exam for information security professionals. In this……続きを見る

From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferen……続きを見る

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

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full resear……続きを見る

This open access book demonstrates all the steps required to design heuristic algorithms for difficult optimization. The classic problem of the travelling salesman is used as a common thread to illu……続きを見る

Africa–Europe Cooperation and Digital Transformation explores the opportunities and challenges for cooperation between Africa and Europe in the digital sphere. Digitalisation and digital technologie……続きを見る

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of……続きを見る

This open access book presents the rise of technology-enabled methods and tools for objective, quantitative assessment of Quality of Life (QoL), while following the WHOQOL model. It is an in-depth r……続きを見る

This volume features an extensive account of both research and expository papers in a wide area of engineering and mathematics and its various applications. Topics treated within this book include o……続きを見る

This open access book focuses on processing, modeling, and visualization of anisotropy information, which are often addressed by employing sophisticated mathematical constructs such as tensors and o……続きを見る

This book explores the role of businesses in delivering positive societal and financial outcomes as they seek to bridge the gap between short-term organizational behaviors and long-range sustainabil……続きを見る

This open-access book addresses latest Sino-German results of the joint research efforts within Major Water Program of the Chinese Government supported by German research funding. The Major Water Pr……続きを見る

This open access book gives an overview of cutting-edge work on a new paradigm called the “sublinear computation paradigm,” which was proposed in the large multiyear academic research project “Found……続きを見る

This open access book systematically explores the statistical characteristics of cryptographic systems, the computational complexity theory of cryptographic algorithms and the mathematical principle……続きを見る

This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processin……続きを見る

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held ……続きを見る

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full pape……続きを見る

Buku ini ditulis hasil usaha bertahun-tahun untuk mendapatkan kaedah menjawab soalan yang boleh membantu mengelakkan kecuaian dan kekeliruan. Akan tetapi, untuk memahami keseluruhan buku ini tetap m……続きを見る

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. ……続きを見る

This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the t……続きを見る

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogica……続きを見る

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czec……続きを見る

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a c……続きを見る

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held……続きを見る

Plant dormancy involves synchronization of environmental cues with developmental processes to ensure plant survival; however, negative impacts of plant dormancy include pre-harvest sprouting, non-un……続きを見る

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

The Top 10 Must-Know Tips to Ace Software Engineer Technical Interviews!: Ease Your Anxiety and Easily Ace Your Interview With Exclusive Industry Secrets for a Stress-Free Experience Do you have an ……続きを見る