1
Cyhoeddwyd 2015
Tabl Cynhwysion: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2011
...Nonprofit and Civil Society Studies, An International Multidisciplinary Series,...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2008
Tabl Cynhwysion: ... in Professional Networks -- A Learning Community for Teacher Induction -- Creating an International Learning...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion: ... in coupled cantilever array, by Masayuki Kimura and Takashi Hikihara -- 2. Dynamic control and ground-based...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Analysis of a Hybrid Steam Biomass Gasification-Based Tri-Generation System -- Exergoeconomic Analysis of a...
Cael y testun llawn
Electronig eLyfr