海岛小侦探 潜水者、旧货商和偷鹦鹉的人
- 作者（德）克劳斯·布利泽纳（Klaus Bliesener）著；王德峰译
- 出版社北京：中华书局
- 标注页数94 页
- 文件页数98 页
- 文件大小17.51 MB
- 出版时间2003
- ISBN7101039510
[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - Towards a Dynamic and Reconfigurable Multicore Heterogeneous SystemSouza, Jeckson Dellagostin; Carro, Luigi; Rutzig, Mateus Beck; Beck, Antonio Carlos Schneider · 2014
[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - Early Estimation of NFRs for Embedded System Using Design MetricsVieira, Andrws; Faustini, Pedro; Carro, Luigi; Cota, Erika · 2014
[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - Potential of Using a Reconfigurable System on a Superscalar Core for ILP ImprovementsBrandalero, Marcelo; Beck, Antonio Carlos S. · 2014
[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - Designing Self-Adaptive Embedded Real-Time Software -- Towards System Engineering of Self-AdaptationRammig, Franz J.; Grosbrink, Stefan; Stahl, Katharina; Zhao, Yuhong · 2014
[IEEE 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Natal, Brazil (2019.11.19-2019.11.22)] 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Applying Integrated Formal Methods on CPS DesignMisson, Henrique Amaral; Goncalves, Fernando Silvano; Becker, Leandro Buss · 2019
[IEEE 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Curitiba, PR, Brazil (2017.11.6-2017.11.10)] 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Formal Verification of AADL Models Using UPPAALGoncalves, Fernando Silvano; Pereira, David; Tovar, Eduardo; Becker, Leandro Buss · 2017
[IEEE 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Foz do Iguacu, Brazil (2015.11.3-2015.11.6)] 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Preparing Cyber-physical Systems Functional Models for ImplementationGoncalves, Fernando Silvano; Becker, Leandro Buss · 2015
[IEEE 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Berlin, Germany (2016.9.6-2016.9.9)] 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Model driven engineering approach to design sensing and actuation subsystemsGoncalves, Fernando Silvano; Becker, Leandro Buss · 2016