Intelligent Networked Things: The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I: Communications in Computer and Information Science, cartea 2138
Editat de Lin Zhang, Wensheng Yu, Quan Wang, Yuanjun Laili, Yongkui Liuen Limba Engleză Paperback – 10 iul 2024
The 51 full papers presented were carefully reviewed and selected from 151 submissions. The conference papers are organized in topical sections on:
Part I - Theories and Mathematical Methods for Intelligent Networked Things; Modeling and Simulation in Intelligent Networked Things.
Part II - Artificial Intelligence for Intelligent Networked Things; Optimization and Decision in Intelligent Networked Things.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 949.27 lei 3-5 săpt. | |
| Springer Nature Singapore – 10 iul 2024 | 949.27 lei 3-5 săpt. | |
| Paperback (1) | 894.26 lei 3-5 săpt. | |
| Springer Nature Singapore – 10 iul 2024 | 894.26 lei 3-5 săpt. |
Din seria Communications in Computer and Information Science
- 20%
Preț: 423.24 lei - 20%
Preț: 460.23 lei - 20%
Preț: 579.53 lei - 20%
Preț: 457.99 lei - 20%
Preț: 313.10 lei - 20%
Preț: 643.20 lei - 20%
Preț: 312.30 lei - 20%
Preț: 324.99 lei - 20%
Preț: 630.84 lei - 20%
Preț: 634.45 lei - 20%
Preț: 321.17 lei - 20%
Preț: 324.68 lei - 20%
Preț: 631.00 lei - 20%
Preț: 631.31 lei - 20%
Preț: 633.83 lei -
Preț: 377.68 lei - 20%
Preț: 388.03 lei - 20%
Preț: 317.05 lei -
Preț: 371.37 lei - 20%
Preț: 323.23 lei - 20%
Preț: 423.43 lei - 20%
Preț: 321.81 lei - 20%
Preț: 319.13 lei - 20%
Preț: 630.51 lei - 20%
Preț: 325.61 lei - 20%
Preț: 321.17 lei - 20%
Preț: 321.81 lei - 20%
Preț: 325.79 lei - 20%
Preț: 640.83 lei - 20%
Preț: 323.23 lei - 20%
Preț: 325.79 lei - 20%
Preț: 317.68 lei - 20%
Preț: 635.26 lei - 15%
Preț: 623.39 lei - 20%
Preț: 628.32 lei - 20%
Preț: 319.42 lei - 20%
Preț: 324.99 lei - 20%
Preț: 1014.25 lei - 20%
Preț: 804.07 lei - 20%
Preț: 529.17 lei - 20%
Preț: 631.31 lei - 20%
Preț: 1183.08 lei - 20%
Preț: 494.64 lei - 20%
Preț: 387.99 lei - 20%
Preț: 318.67 lei - 20%
Preț: 388.88 lei - 20%
Preț: 323.23 lei - 20%
Preț: 458.42 lei - 20%
Preț: 530.03 lei - 20%
Preț: 632.09 lei
Preț: 894.26 lei
Preț vechi: 1117.83 lei
-20%
Puncte Express: 1341
Preț estimativ în valută:
158.26€ • 184.96$ • 137.40£
158.26€ • 184.96$ • 137.40£
Carte disponibilă
Livrare economică 30 ianuarie-13 februarie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789819739509
ISBN-10: 9819739500
Pagini: 271
Ilustrații: XV, 275 p. 139 illus., 103 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.43 kg
Ediția:2024
Editura: Springer Nature Singapore
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Singapore, Singapore
ISBN-10: 9819739500
Pagini: 271
Ilustrații: XV, 275 p. 139 illus., 103 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.43 kg
Ediția:2024
Editura: Springer Nature Singapore
Colecția Springer
Seria Communications in Computer and Information Science
Locul publicării:Singapore, Singapore
Cuprins
.- 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.
.- 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.