ei ole lubatud
ei ole lubatud
Digitaalõiguste kaitse (DRM)
Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).
Vajalik tarkvara
Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)
PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )
Seda e-raamatut ei saa lugeda Amazon Kindle's.
.- 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.