Home Advanced Search

Advanced Search - Page 1

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
  • PDF
  • English
  • Year: 2017
  • Author: Naijun Zhan, Shuling Wang, Hengjun Zhao (auth.)
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
  • PDF
  • English
  • Year: 2018
  • Author: Cliff Jones, Ji Wang, Naijun Zhan
Modelling of the Microfiltration Process
  • EPUB
  • English
  • Year: 2023
  • Author: Zhan Wang
Modelling of the Microfiltration Process
Modelling of the Microfiltration Process
  • PDF
  • English
  • Year: 2023
  • Author: Zhan Wang
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Hyperspectral Image Processing
Hyperspectral Image Processing
  • PDF
  • English
  • Year: 2016
  • Author: Liguo Wang, Chunhui Zhao (auth.)
Selenium WebDriver Recipes in C#
Selenium WebDriver Recipes in C#
  • PDF
  • English
  • Year: 2015
  • Author: Zhimin Zhan (auth.)
Branching Random Walks: École d'Été de Probabilités de Saint-Flour XLII – 2012
Branching Random Walks: École d'Été de Probabilités de Saint-Flour XLII – 2012
  • PDF
  • English
  • Year: 2015
  • Author: Zhan Shi (auth.)
Exchanges and Mutual Learning Among Asian Civilizations (Research Series on the Chinese Dream and China’s Development Path)
Exchanges and Mutual Learning Among Asian Civilizations (Research Series on the Chinese Dream and China’s Development Path)
  • PDF
  • English
  • Author: Linggui Wang, Jianglin Zhao
Molecular Mechanisms of Neurotransmitter Release (Advances in Neurobiology, 33)
Molecular Mechanisms of Neurotransmitter Release (Advances in Neurobiology, 33)
  • EPUB
  • English
  • Year: 2023
  • Author: Zhao-Wen Wang (editor)
search