74,43€(IVA inc.)
Electronic design automation: synthesis, verification, and test
- Wang, Laung-Terng
- 978-0-12-374364-0
- 2009-03-09
66,56€(IVA inc.)
Enhancing learning through technology: International Conference, ICT 2011, Hong Kong, July 11-13, 2011. Proceedings
- Kwan, Reggie
- 978-3-642-22382-2
- 2011-06-27
135,19€(IVA inc.)
Filtering and Control for Classes of Two-Dimensional Systems
- Wu, Ligang
- 978-3-319-38619-5
- 2016-10-21
135,19€(IVA inc.)
Filtering and Control for Classes of Two-Dimensional Systems
- Wu, Ligang
- 978-3-319-13697-4
- 2015-04-14
119,59€(IVA inc.)
Filtering and Control of Wireless Networked Systems
- Zhang, Dan
- 978-3-319-53122-9
- 2017-04-11
119,59€(IVA inc.)
Finite Frequency Analysis and Synthesis for Singularly Perturbed Systems
- Cai, Chenxiao
- 978-3-319-45404-7
- 2016-10-30
56,16€(IVA inc.)
119,59€(IVA inc.)
Formal Verification of Simulink/Stateflow Diagrams
- Zhan, Naijun
- 978-3-319-83638-6
- 2018-06-29
119,59€(IVA inc.)
Formal Verification of Simulink/Stateflow Diagrams
- Zhan, Naijun
- 978-3-319-47014-6
- 2016-12-14