Computers - Computer Science

The bestselling introduction to practical Python programming for total beginners is now in its 3rd edition, revised to include the latest Python features, even better explanations, and new chapters about databases and sound files. If you've ever spent hours renaming files or updating hundreds...

Spline functions entered Approximation Theory as solutions of natural extremal problems. A typical example is the problem of drawing a function curve through given n + k points that has a minimal norm of its k-th derivative. Isolated facts about the functions, now called...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows...

This is a companion exercise and solution book to A Classical Introduction to Cryptography: Applications for Communications Security (0-387-25464-1). Coverage includes symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Readers should be comfortable with basic facts of discrete probability theory,...

Once an organisation adopts cloud computing, it quickly becomes apparent that the traditional approaches to IT Service Management processes will need to undergo drastic changes to integrate and run Bi-Modal IT Service Operations. This book is an alleyway to managing enterprise could services with...

The history of the first programmable electronic computer, from its conception, construction, and use to its afterlife as a part of computing folklore.Conceived in 1943, completed in 1945, and decommissioned in 1955, ENIAC (the Electronic Numerical Integrator and Computer) was the first general-purpose programmable...

Learn about different storage technologies, including OpenSearch, Redshift, Kinesis, and S3, through the eyes of cute woodland creatures.A young fox family copes with the increasing pickiness of their kits' eating habits. In the process, they discover a clever approach to searching for food.Using an...

This book introduces a variety of intelligence phenomena starting from the birth of the universe, including intelligence in physics, intelligence in chemistry, intelligence in biology, intelligence in humans and intelligence in machines. It uncovers the mystery of intelligence to the world and explores the...

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA). Covering a wide range of topics at levels of sophistication varying from elementary (matrix algebra) to esoteric (Grothendieck spectral sequence), it offers a mirror of data science aimed at a general...

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order...

Provides a historiography of the field of algorithmic artIncludes interviews with five artists and the role of computer programming and coding in their art practice Discusses how the changes in technology have influenced the creation of digital artAuthor: Francesca FrancoISBN-10: 3319611666ISBN-13: 9783319611662Publisher: SpringerLanguage: EnglishPublished:...

An original mechanical formulation to treat nonlinear orthotropic behavior of composite materials is presented in this book. It also examines different formulations that allow us to evaluate the behavior of composite materials through the composition of its components, obtaining a new composite material. Also...

Simulating the behavior of a human heart, predicting tomorrow's weather, optimizing the aerodynamics of a sailboat, finding the ideal cooking time for a hamburger: to solve these problems, cardiologists, meteorologists, sportsmen, and engineers can count on math help. This book will lead you to...

This practical new book offers the distributed-computing fundamental knowledge for individuals to connect with one another in a more secure and efficient way than with traditional blockchains. These new forms of secure, scalable blockchains promise to replace centralized institutions to connect individuals without the...

Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into...

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. In this year's edition, the topics covered...

Educational Data Mining (EDM) is one of the emerging fields in the pedagogy and andragogy paradigm, it concerns the techniques which research data coming from the educational domain. EDM is a promising discipline which has an imperative impact on predicting students? academic performance. It...

Every computing or information student ends up with a huge mountain to climb - that final-year research project. Now, there's no need to worry, because with this book guardian angels are at hand in the form of four brilliant academics who guide students through...

A Brief Introduction to Modern Cryptography.- Reconfigurable Hardware Technology.- Mathematical Background.- Prime Finite Field Arithmetic.- Binary Finite Field Arithmetic.- Reconfigurable Hardware Implementation of Hash Functions.- General Guidelines for Implementing Block Ciphers in FPGAs.- Architectural Designs For the Advanced Encryption Standard.- Elliptic Curve Cryptography.Author: Francisco...

In recent years, the control of Connected and Automated Vehicles (CAVs) has attracted strong attention for various automotive applications. One of the important features demanded of CAVs is collision avoidance, whether it is a stationary or a moving obstacle. Due to complex traffic conditions...

Begin your programming journey with C++, starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++23 standard. All you need are Beginning C++23 and any recent C++ compiler...

Explore the complex world of digital solutions architecture and its pivotal role in the modern, technology-driven organization. The book provides a detailed roadmap, charting the intricate processes that solutions architects undertake to transform high-level business propositions into practical, actionable digital solutions. Offering a number...

Supercomputing is a technology for high-performance computing that makes use of supercomputers. These computers are made up of interconnects, input-output systems, memory and processor cores. They have more than one CPU which consists of circuits for deciphering program instructions and executing the arithmetic and...

This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading...

Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single computer. In this book Robin Milner introduces a new way of modelling communication that reflects its position. He treats computers and their...

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language...

Kickstart your emotion analysis journey with this step-by-step guide to data science success Key Features: Discover the inner workings of the end-to-end emotional analysis workflow Explore the use of various ML models to derive meaningful insights from data Hone your craft by building and...

An embedded system is a microprocessor-based computer hardware system with software. These systems are designed to perform different types of functions either as an independent system or as a part of a large system. An integrated circuit (IC) is an essential part of the...

Introduction.- Statistics: The Backgrounds & The Basis.- Attacker & Defender Model: The Dynamics of the Immune System.- Mathematical Modeling of Metastatic Cancer.- Mathematical/Computational Modeling of Advanced Immunotherapy.- Mathematical Modeling & Computational Studies On The War Against Breast Cancer.- Gene Therapy.- The Smartest Fighters.- Nutritional...

This book constitutes the proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2021, which was held in T?ingen, Germany, during September 14-17, 2021.The 23 full papers and 5 short papers presented in these proceedings were carefully reviewed and selected...

Circuit Simulation.- A new efficient numerical integration scheme for highly oscillatory electric circuits.- Numerische Lung von hierarchisch strukturierten Systemen von Algebro-Differentialgleichungen.- Partitioning and multirate strategies in latent electric circuits.- Circuit simulation - an application for parallel ODE solvers?.- Numerical stability criteria for differential-algebraic systems.-...

Scheduling Models.- Algorithms and Complexity.- Resource-Constrained Project Scheduling.- Complex Job-Shop Scheduling.Author: Peter Brucker, Sigrid KnustISBN-10: 3642239285ISBN-13: 9783642239281Publisher: SpringerLanguage: EnglishPublished: 09/29/2011Pages: 342Format: HardcoverWeight: 1.47lbsSize: 9.21h x 6.14w x 0.81d

Database technology and entity-relationship (ER) modeling have meanwhile reached the level of an established technology. This book presents the achievements of research in this field in a comprehensive survey. It deals with the entity-relationship model and its extensions with regard to an integrated development...

Data structures are the means by which software programs store and retrieve data. This monograph focuses on key-value data structures, which are widely used for data-intensive applications thanks to the versatility of the key-value data model. Key-value data structures constitute the core of any...

The use of computers to design two-dimensional or three-dimensional models of physical objects is known as computer-aided design. Computer-aided design (CAD) systems and software are used to prepare drawings and specifications in architecture, electronics and automotive engineering. Mathematical models and numerical functions are crucial...

Lynne Bowker and Jairo Buitrago Ciro introduce the concept of machine translation literacy, a new kind of literacy for scholars and librarians in the digital age. This book is a must-read for researchers and information professionals eager to maximize the global reach and impact...

A comprehensive introduction to Support Vector Machines and related kernel methods.In the 1990s, a new type of learning algorithm was developed, based on results from statistical learning theory: the Support Vector Machine (SVM). This gave rise to a new class of theoretically elegant learning...

Building Your Next Big Thing with Google Cloud Platform shows you how to take advantage of the Google Cloud Platform technologies to build all kinds of cloud-hosted software and services for both public and private consumption. Whether you need a simple virtual server to...

A guide to advanced features of MPI, reflecting the latest version of the MPI standard, that takes an example-driven, tutorial approach. This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parallel computers....

Make data-driven, informed decisions and enhance your statistical expertise in Python by turning raw data into meaningful insightsPurchase of the print or Kindle book includes a free PDF eBookKey Features: Gain expertise in identifying and modeling patterns that generate success Explore the concepts with...

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.Category theory is a branch of pure mathematics that is becoming an increasingly important tool in...

A sociotechnical investigation of ubiquitous computing as a research enterprise and as a lived reality.Ubiquitous computing (or ubicomp) is the label for a "third wave" of computing technologies. Following the eras of the mainframe computer and the desktop PC, ubicomp is characterized by small...

AI Knowledge Transfer from the University to Society: Applications in High-Impact Sectors brings together examples from the "Innovative Ecosystem with Artificial Intelligence for Andalusia 2025" project at the University of Seville, a series of sub-projects composed of research groups and different institutions or companies...

Robotics for Pandemics explores various applications of robots for current global issues such as pandemics and how robotic solutions could combat the virus. Key Features Proposes to employ robots to improve the treatment of patients and leverage the load of the medical system Demonstrates...

Deep Learning in Practice helps you learn how to develop and optimize a model for your projects using Deep Learning (DL) methods and architectures. Key features: Demonstrates a quick review on Python, NumPy, and TensorFlow fundamentals. Explains and provides examples of deploying TensorFlow and...

Taxonomy of Threats to Ubiquitous Computing.- Cyber Crime and Their Restriction through Laws and Techniques for Protecting Security Issues and Privacy Threats.- Data Acquisition and Knowledge Management in IoT: Security Issues, Challenges and Road Map ahead.- Dynamic Access control Solution for Cross-tenancy in a...