RECENSIONI: Il Seicento fiorentino
- 期刊名称Forum Italicum: A Journal of Italian Studies
- 作者Cambon, G.
- 卷第10卷
- 期第3期
- 印刷ISSN0014-5858
- 文件大小354.12KB
- 发表时间1976-09-01
- DOI10.1177/001458587601000313
- 页码273-277
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - 10th IEEE High Assurance Systems Engineering Symposium - Title2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - 10th IEEE High Assurance Systems Engineering Symposium - TOC2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - 10th IEEE High Assurance Systems Engineering Symposium - Copyright2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - 10th IEEE High Assurance Systems Engineering Symposium - Cover2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - All-Optical Routing for High Assurance Computer SystemsOkorafor, Ekpe · 2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - High-Assurance Distributed, Adaptive Software for Dynamic SystemsRohloff, Kurt; Loyall, Joseph; Pal, Partha; Schantz, Richard · 2007
[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - High Assurance Code Generation for Cyber-Physical SystemsLow, Tze Meng; Franchetti, Franz · 2017
[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Combining testing and model checking for verification of high assurance systemsDesovski, D. · 2004
Graph theory and algorithmsFigueiredo, Celina M. H.; Szwarcfiter, Jayme L. · Journal of the Brazilian Computer Society · 2012
EditorialOliveira, Maria Cristina Ferreira · Journal of the Brazilian Computer Society · 2012
Classification of Text DocumentsLi, Y. H. · The Computer Journal · 1998
The calculation of Lame polynomialsWilkinson, J. H. · The Computer Journal · 1965
ALAM--Atlas Lisp Algebraic Manipulatord'Inverno, R. A. · The Computer Journal · 1969
The Mechanical Evaluation of ExpressionsLandin, P. J. · The Computer Journal · 1964
Two Dimensional Interpolation from Random DataMcLain, D. H. · The Computer Journal · 1976
Parameterized Complexity and Approximation AlgorithmsMarx, D. · The Computer Journal · 2007