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