Merkzettel Warenkorb
Produktbild: Networked Systems
Band 15736

Networked Systems 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings

Aus der Reihe Lecture Notes in Computer Science

147,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.10.2025

Abbildungen

X, 111 illus., 54 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Salem Lahlou + weitere

Verlag

Springer

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

435 g

Sprache

Englisch

ISBN

978-3-032-00346-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.10.2025

Abbildungen

X, 111 illus., 54 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

435 g

Sprache

Englisch

ISBN

978-3-032-00346-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Networked Systems

  • .- 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.