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

Runtime Verification

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short paper…

lieferbar innerhalb 2-3 Wochen

Buch

Daniele Cuomo
Architectures and Circuits for Distributed Quantum Computing

This thesis treats networks providing quantum computation based on distributed paradigms. Compared to architectures relying on one processor, a network promises to be more scalable and less fault-prone. D…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in ICT Research in the Balkans

This book constitutes the refereed proceedings of the 10th Balkan Conference in Informatics on Advances in ICT Research in the Balkans, BCI 2024, held in Craiova, Romania, during September 4-6, 2024.The 2…

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 ab 31.7.2025.

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

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

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

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

Security and Privacy in Communication Networks

This two-volume LNICST 567-568 set constitutes the post-conference proceedings of the 19th International Conference on Security and Privacy in Communication Networks, SecureComm 2023, held in October 2023…

lieferbar innerhalb 2-3 Wochen

Buch

Patrick Diehl, Hartmut Kaiser, Steven R. Brandt
Parallel C++

This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language features in the C++ 17 and C++ 20 standards, covering both …

lieferbar innerhalb 2-3 Wochen

Buch

Security and Privacy in Communication Networks

This two-volume LNICST 567-568 set constitutes the post-conference proceedings of the 19th International Conference on Security and Privacy in Communication Networks, SecureComm 2023, held in October 2023…

lieferbar innerhalb 2-3 Wochen

Buch

Distributed Computer and Communication Networks

The proceedings constitute papers presented in the 26th International Conference, DCCN 2023, held in Moscow, Russia, during September 25¿29, 2023.The 8 full papers were carefully reviewed and selected fro…

lieferbar innerhalb 2-3 Wochen

Buch

Unmanned Aerial Vehicles Applications: Challenges and Trends

This is a book that covers different aspects of UAV technology, including design and development, applications, security and communication, and legal and regulatory challenges.The book is divided into 13 …

lieferbar innerhalb 2-3 Wochen

Buch

Building Cybersecurity Applications with Blockchain and Smart Contracts

This book offers an in-depth exploration of the application of blockchain and smart contract technologies in the field of cybersecurity. It begins by defining the fundamentals of cybersecurity in the cont…

lieferbar innerhalb 2-3 Wochen

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 …

Erscheint bald

Buch

Computer Science - CACIC 2023

This book constitutes the refereed proceedings of the 29th Argentine Congress of Computer Science on Computer Science - CACIC 2023, held in Luján, Argentina, during October 9¿12, 2023.The 27 full papers i…

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

Networked Systems

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers p…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Distributed Systems" - alle Bücher, DVDs, Blu-ray Discs und mehr