Home Advanced Search

Advanced Search - Page 1

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
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
  • PDF
  • English
  • Year: 2017
  • Author: Naijun Zhan, Shuling Wang, Hengjun Zhao (auth.)
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
Modelling of the Microfiltration Process
  • PDF
  • English
  • Year: 2023
  • Author: Zhan Wang
Modelling of the Microfiltration Process
  • EPUB
  • English
  • Year: 2023
  • Author: Zhan Wang
Digital fingerprinting
  • PDF
  • English
  • Year: 2016
  • Author: Wang, Cliff
Understanding Programming Languages
  • PDF
  • English
  • Year: 2020
  • Author: Cliff B. Jones
Understanding Programming Languages
  • PDF
  • English
  • Year: 2021
  • Author: Cliff B. Jones
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
PDE Control of String-Actuated Motion
  • PDF
  • English
  • Year: 2022
  • Author: Ji Wang, Miroslav Krstić
search