Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
REAL-TIME STABILITY ASSESSMENT IN MODERN POWER SYSTEM CONTROL CENTERS
Savu C.Savulescu2009 年出版425 页ISBN：
HVDC and FACTS Controllers Applications of Static Converters in Power Systems
Vijay K.Sood2004 年出版295 页ISBN：
Optical Modulation: Advanced Techniques and Applications in Transmission Systems and Networks
Le Nguyen Binh2017 年出版656 页ISBN：1498745239
Formal techniques in real-time and fault-tolerant systems
(Jan); Vytopil;J.1993 年出版208 页ISBN：0792393325
INTERPRETING STATE CONSTITUTIONS A JURISPRUDENCE OF FUNCTION IN A FEDERAL SYSTEM
JAMES A.GARDNER2005 年出版311 页ISBN：0226283372
Technological innovations in adaptive and dependable systems : advancing models and concepts
Vincenzo De Florio2012 年出版399 页ISBN：1466602554
Epigenetic regulation in the nervous system : basic mechanisms and clinical impact
J. David Sweatt2013 年出版362 页ISBN：0123914941
System and Process in Southeast Asia:The Evolution of a Region
Donald G.McCloud2222 年出版315 页ISBN：0861875060
