نتایج جستجو
Understanding Concurrent Systems
A.W. Roscoe, 2010
Attack-and-Defense Games for Control Systems: Analysis and Synthesis
Huanhuan Yuan, Yuan Yuan, Huapeng Dong, Yuanqing Xia, 2024
Attack-and-Defense Games for Control Systems: Analysis and Synthesis
Huanhuan Yuan, Yuan Yuan, Huapeng Dong, Yuanqing Xia, 2024
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Dynamical Systems on Homogeneous Spaces
Alexander N. Starkov, 2000
Quorum Systems with Applications to Storage and Consensus
Marko Vukoli´c, 2012
Modern Theories of Many-Particle Systems in Condensed Matter Physics
Subir Sachdev (auth.), Daniel C. Cabra, Andreas Honecker, Pierre Pujol (eds.), 2012
Discrete Dynamical Systems, Bifurcations and Chaos in Economics
Wei-Bin Zhang (Eds.), 2006
Antenna Systems for Modern Wireless Devices
Shiban K. Koul, S. Swapna, G. S. Karthikeya, 2024
Introduction to Modern Sleep Technology (Intelligent Systems, Control and Automation: Science and Engineering, 64)
Rayleigh Ping-Ying Chiang (editor), Shih-Chun Kang (editor), 2012
Environmental Microbiology of Aquatic and Waste Systems
Nduka Okafor (auth.), 2011
Modeling, Design, and Simulation of Systems with Uncertainties
Nedialko S. Nedialkov (auth.), Andreas Rauh, Ekaterina Auer (eds.), 2011
Distributed Adaptive Consensus Control of Uncertain Multi-agent Systems
Wei Wang, Jiang Long, Jiangshuai Huang, Changyun Wen, 2025
Blockchain for IoT Systems: Concept, Framework and Applications (Chapman & Hall/CRC Blockchain for Smart and Green Society)
V Sridhar (editor), Sita Rani (editor), Piyush Kumar Pareek (editor), Pankaj Bhambri (editor), Ahmed A Elngar (editor), 2024
Blockchain for IoT Systems: Concept, Framework and Applications (Chapman & Hall/CRC Blockchain for Smart and Green Society)
V Sridhar (editor), Sita Rani (editor), Piyush Kumar Pareek (editor), Pankaj Bhambri (editor), Ahmed A Elngar (editor), 2024
Nonnegative and Compartmental Dynamical Systems
Wassim M. Haddad, VijaySekhar Chellaboina, Qing Hui, 2010
Indigenous Food Systems: Concepts, Cases, and Conversations
Priscilla Settee (editor), Shailesh Shukla (editor), 2020
Reactive Systems: Modelling, Specification and Verification
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba, 2007
Photovoltaic Systems Technology
Mohammed Aslam Husain, Md Waseem Ahmad, Farhad Ilahi Bakhsh, P. Sanjeevikumar, Hasmat Malik, 2024
Power Electronic Converters and Systems: Converters and machine drives (Energy Engineering)
Marcelo Godoy Simões (editor), Tiago Davi Curi Busarello (editor), 2024
Tensor-Based Dynamical Systems. Theory and Applications
Can Chen, 2024
Power Electronic Converters and Systems: Applications (Energy Engineering)
Marcelo Godoy Simões (editor), Tiago Davi Curi Busarello (editor), 2024
