Vor Ort
Merkzettel Warenkorb
Produktbild: Intelligent Networked Things
Band 2138 - 56%

Intelligent Networked Things The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I

Aus der Reihe Communications in Computer and Information Science
56% sparen

64,99 € UVP 149,79 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.2024

Abbildungen

XV, 275 p. 139 illus., 103 illus. in color.

Herausgeber

Lin Zhang + weitere

Verlag

Springer Singapore

Seitenzahl

275

Maße (L/B/H)

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

Gewicht

446 g

Auflage

2024

Sprache

Englisch

ISBN

978-981-9739-50-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.2024

Abbildungen

XV, 275 p. 139 illus., 103 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

275

Maße (L/B/H)

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

Gewicht

446 g

Auflage

2024

Sprache

Englisch

ISBN

978-981-9739-50-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Intelligent Networked Things

  • .- Theories and Mathematical Methods for Intelligent Networked Things.



    .- A method based on the principle of polynomial least squares fitting to achieve high-precision temperature measurement and its practical application.



    .- Design of an Attitude Control System for Hypersonic Ballistic Missiles with Extendable Swinging Nozzle Control .



    .- Early fault diagnosis method for rolling bearing based on improved singular values decomposition.



    .- Dynamic Analysis of Dual Motor-Gear Electromechanical Coupling System.



    .- Formal Proof of Meta-Theorem in First-Order Logic in Coq.



    .- Formal Verification of Completeness Theorem in Grundlagen der Geometrie.



    .- Formalizing the Independence of Propositional Logic Axiom System in Coq.



    .- Spatiotemporal Information-based Authorization Method for UOF Documents.



    .- Formalizing the Equivalence of Formal systems in Propositional Logic in Coq.



    .- Formalization of the Filter Extension Principle (FEP) in Coq.



    .- Lagrange's Theorem in Group Theory: Formalization and Proof with Coq.



    .- Observer-Based Fault Diagnosis for Re-entrant Manufacturing Systems.



    .- Prescribed-time Leader-follower Bipartite Consensus for Nonlinear Multi-agent System.



    .- Off-Policy L2-gain Control for Discrete-Time Linear Systems With Dropout.



    .- Demand Response Analysis and its Application to Smart Grid: A Evolutionary Game Method.



    .- Promoting Cooperation in the Snowdrift Game : A Disconnection-Reconnection Reputation Memory Mechanism.



    .- Dynamic Output-Feedback Control for Multirate Positive Systems under Round-Robin Protocol.



    .- Analysis of Aggregation Behavior of Swarm Robotics Inspired by Temperature Source.




    .- Modeling and Simulation in Intelligent Networked Things.



    .- Research on simulation of heat conduction in the built-in SF6 Multiparameter Sensor.



    .- Modeling and Simulation Analysis of Alliance Anti-missile Operational Capability.



    .- Research on Integrated Modeling and Simulation Method of Missile Electrical System Based on X-Language.



    .- Research on the Conversion from SysML Models to X Language Models.



    .- Discrete Event Systems Specification for Same-span Interaction of Multi-agents in Slab Warehouse.



    .- FPGA-based Adaptive Modeling Method for Modular Robots.



    .- Digital Twin System for Robotic Multi-Layer and Multi-Pass Welding of Medium-Thick Plates in Unstructured Environment.