Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. Howe……続きを見る
A firewall is as good as its policies and the security of its VPN connections. The latest generation of firewalls offers a dizzying array of powerful options; they key to success is to write concise……続きを見る
When it's all said and done, penetration testing remains the most effective way to identify security vulnerabilities in computer networks. Conducting Network Penetration and Espionage in a Global En……続きを見る
The main goal of the book is a coherent treatment of the theory of propagation in materials of nonlinearly elastic waves of displacements, which corresponds to one modern line of development of the ……続きを見る
This book focuses on the analysis and treatment of osteoporotic bone based on drug administration, tracking fatigue behavior and taking into consideration the mechanical interaction of implants with……続きを見る
With the rise of systems biology as an approach in biochemistry research, using high throughput techniques such as mass spectrometry to generate metabolic profiles of cancer metabolism is becoming i……続きを見る
This book is a practical review which focuses on computational analysis and on in silico approaches towards the systematic discovery of various key functional gene expression elements in microalgae ……続きを見る
This book offers an introduction to the basics of MATLAB programming to scientists and engineers. The author leads with engaging examples to build a working knowledge, specifically geared to those w……続きを見る
Develop faster with DevOps
DevOps embraces a culture of unifying the creation and distribution of technology in a way that allows for faster release cycles and more resource-efficient product updati……続きを見る
This book describes how to architect and design Internet of Things (loT) solutions that provide end-to-end security and privacy at scale. It is unique in its detailed coverage of threat analysis, pr……続きを見る
This book provides a step-by-step guide on how to use various publicly available remotely sensed time series data sources for environmental monitoring and assessment. Readers will learn how to extra……続きを見る
著者:Noemi Kurt
出版社: Springer Berlin Heidelberg
発売日: 2020年02月07日
Dieses Lehrbuch führt in 16 einheitlich gegliederten Kapiteln in die Wahrscheinlichkeitstheorie und Statistik ein. Dabei sind die Lernziele und benötigten Vorkenntnisse jeweils angegeben und erleich……続きを見る
Cyber security is a key issue affecting the confidence of Internet users and the sustainability of businesses. It is also a national issue with regards to economic development and resilience. As a c……続きを見る
The large and complex challenges the world is facing, the growing prevalence of huge data sets, and the new and developing ways for addressing them (artificial intelligence, data science, machine le……続きを見る
This book examines the use of big data in regenerative urban environment and how data helps in functional planning and design solutions.
This book is one of the first endeavors to present the data-d……続きを見る
The Dynamic Student Development Metatheodel(DSDM) is a meta-theory based on empirically based inferences drawn from a national survey entitled the University Learning Outcomes Assessment (UniLOA). T……続きを見る
著者:Boyd White, Amélie Lemieux
出版社: Peter Lang Inc., International Academic Publishers
発売日: 2022年09月27日
Mapping Holistic Learning: An Introductory Guide to Aesthetigrams introduces the concept of aesthetigrams. These are participant-produced visual maps of aesthetic engagement. The map-making strategy……続きを見る
African Proverbs as Epistemologies of Decolonization calls for a rethinking of education by engaging African proverbs as valuable and salient epistemologies for contemporary times. The book addresse……続きを見る
This SpringerBrief provides the first systematic review of the existing works of cohesive subgraph search (CSS) over large heterogeneous information networks (HINs). It also covers the research brea……続きを見る
This book introduces differential geometry and cutting-edge findings from the discipline by incorporating both classical approaches and modern discrete differential geometry across all facets and ap……続きを見る
Transform your data into insights with must-know techniques and mathematical concepts to unravel the secrets hidden within your dataKey FeaturesLearn practical data science combined with data theory……続きを見る
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……続きを見る
著者:Mario Alemi
出版社: Springer International Publishing
発売日: 2022年04月23日
This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have……続きを見る
著者:Emilia Mendes
出版社: Springer Berlin Heidelberg
発売日: 2015年12月29日
The main goal of this book is to help organizations improve their effort estimates and effort estimation processes by providing a step-by-step methodology that takes them through the creation and va……続きを見る
Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft a……続きを見る
Fully updated to the latest CSS modules, make the journey to CSS mastery as simple and painless as possible. This book dives into advanced aspects of CSS-based design, such as responsive design, mod……続きを見る
This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server. It provides ……続きを見る
Programmable Logic Devices (PLDs) have become the key implementation medium for the vast majority of digital circuits designed today. While the highest-volume devices are still built with full-fabri……続きを見る
著者:George Mias
出版社: Springer International Publishing
発売日: 2018年04月20日
This book offers a comprehensive introduction to using Mathematica and the Wolfram Language for Bioinformatics. The chapters build gradually from basic concepts and the introduction of the Wolfram L……続きを見る
The purpose of this handbook is to allow users to learn and master the mathematics software package MATLAB®, as well as to serve as a quick reference to some of the most used instructions in the pac……続きを見る