Description

Book Synopsis

.- Verification.
.- Reachability and Verification of Assertions for IoT Applications.
.- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis.
.- Distributed Systems.
.- Distributed computation of temporal twins in periodic undirected time-varying graphs.
.- Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
.- Secure Lineage Storage on Public and Private Blockchains.
.- Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization.
.- Pattern formation of mobile agents in dynamic grids.
.- An automaton model to succinctly represent suffix-based specifications of a concurrent system.
.- SmartShards: Churn-Tolerant Continuously Available Distributed Ledger.
.- On Restricting Separator Problems in the OBLOT Computational Landscape.
.- Machine Learning.
.- Going Forward-Forward in Distributed Learning.
.- An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity.
.- Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases.
.- Plant Diseases Detection with Retrieval-Augmented Generation.
.- Impact of Sparsification and Quantization on Energy Consumption in Federated Learning.
.- Vgg-ViT: A Framework for Deepfakes Images Detection.
.- Heterogeneous Graph Neural Network Based Arabic Coreference Resolution.

Networked Systems

    Product form

    £116.99

    Includes FREE delivery

    RRP £12,999.00 – you save £12,882.01 (99%)

    Order before 4pm today for delivery by Wed 1 Jul 2026.

    A Paperback by Salem Lahlou

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Networked Systems by Salem Lahlou

      Publisher: Springer
      Publication Date: 9/2/2025
      ISBN13: 9783032003461, 978-3032003461
      ISBN10: 3032003466
      Also in:
      Network hardware

      Description

      Book Synopsis

      .- Verification.
      .- Reachability and Verification of Assertions for IoT Applications.
      .- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis.
      .- Distributed Systems.
      .- Distributed computation of temporal twins in periodic undirected time-varying graphs.
      .- Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
      .- Secure Lineage Storage on Public and Private Blockchains.
      .- Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization.
      .- Pattern formation of mobile agents in dynamic grids.
      .- An automaton model to succinctly represent suffix-based specifications of a concurrent system.
      .- SmartShards: Churn-Tolerant Continuously Available Distributed Ledger.
      .- On Restricting Separator Problems in the OBLOT Computational Landscape.
      .- Machine Learning.
      .- Going Forward-Forward in Distributed Learning.
      .- An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity.
      .- Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases.
      .- Plant Diseases Detection with Retrieval-Augmented Generation.
      .- Impact of Sparsification and Quantization on Energy Consumption in Federated Learning.
      .- Vgg-ViT: A Framework for Deepfakes Images Detection.
      .- Heterogeneous Graph Neural Network Based Arabic Coreference Resolution.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account