Distributed Systems – Bücher, DVDs, Blu-ray Discs und mehr, Seite 3

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

ICT Systems Security and Privacy Protection

The two-volume set IFIP AICT 745 + 746 constitutes the refereed proceedings of the 40th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2025, held in Maribor, Slovenia, d…

lieferbar innerhalb 2-3 Wochen

Buch

Roberto Gorrieri
Syntax and Semantics of Petri Nets

Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential syste…

lieferbar innerhalb 2-3 Wochen

Buch

ICT Systems Security and Privacy Protection

The two-volume set IFIP AICT 745 + 746 constitutes the refereed proceedings of the 40th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2025, held in Maribor, Slovenia, d…

lieferbar innerhalb 2-3 Wochen

Buch

Raymond Devillers, Eike Best
Petri Net Primer

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.Although the dynamic properties of such systems …

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Pekka Enberg
Latency

Practical techniques for delivering low latency software.From first principles to production-ready code, Latency teaches you how to make your software faster at every layer of the stack. You'll learn what…

lieferbar ab 25.11.2025.

Buch

Concurrent Programming, Open Systems and Formal Methods

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar innerhalb 2-3 Wochen

Buch

Components Operationally: Reversibility and System Engineering

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

sofort lieferbar

Buch

Pedro Atã, João Queiroz
Mind as an External Sign: A Semiotic Externalist Philosophy of Cognitive Science

Synthese Library - Band 531

This book applies notions from C.S. Peirce's philosophy, such as semiosis, mind, diagrammatic reasoning, abduction, and habits, to contemporary problems in distributed cognitive science. These problems in…

lieferbar ab 2.1.2026.

Buch

Pawel Tokaj, Jia Yu, Mo Sarwat
Cloud Native Geospatial Analytics with Apache Sedona

Navigating the complexities of large-scale spatial data can be daunting. In order to unleash the power of massive and complex datasets, you'll need a cutting-edge tool like Apache Sedona. This innovative …

lieferbar ab 20.1.2026.

Buch

Hui Li, Hanxu Hou, Hong Tan
Distributed Storage in Practice

A complete and up-to-date overview of popular and practical erasure codes in distributed storageIn Distributed Storage in Practice, a team of distinguished researchers delivers a comprehensive discussion …

lieferbar ab 11.12.2025.

Buch

Zhiyong Chen
Nonlinear Networked Systems and Control

Introduction.- Fundamentals of Nonlinear Networked Systems.- Part I: Homogeneous Systems and Homogenization.- Consensus of Linear Homogeneous Systems.- Consensus of Nonlinear Homogeneous Systems.- Homogen…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Science - CACIC 2024

This book constitutes the refereed proceedings of the 30th Argentine Congress of Computer Science on Computer Science - CACIC 2024, held in La Plata, Argentina, during October 7--10, 2024.The 29 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

K. Erciyes
Guide to Distributed Algorithms

The study of distributed algorithms provides the needed background in many real-life applications, such as: distributed real-time systems, wireless sensor networks, mobile ad hoc networks and distributed …

lieferbar innerhalb 2-3 Wochen

Buch