Wyniki wyszukiwania dla: Michael Jackson
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 115-131
Lecture Notes in Computer Science > Dependable and Historic Computing > Part C: Contributed Papers > 273-282
Lecture Notes in Computer Science > ≪UML≫ 2002 — The Unified Modeling Language > Invited Talk 1 > 1-1
Lecture Notes in Computer Science > Advances in Software Engineering > Foundations and Methodology > 1-38
The Future of Software Engineering > 100-114
Reflections on the Work of C.A.R. Hoare > 143-165
Journal of Medical Imaging and Radiation Oncology > 60 > 1 > 129 - 137
Acta Paediatrica > 105 > 2 > e85 - e88
Journal of Pest Science > 2016 > 89 > 2 > 479-488
Psicologia: Reflexão e Crítica > 2016 > 29 > 1 > 1-6
The International Journal of Advanced Manufacturing Technology > 2016 > 82 > 1-4 > 315-326
Journal of Clinical Immunology > 2016 > 36 > 2 > 117-122
IEEE Transactions on Nuclear Science > 2015 > 62 > 6-1 > 3027 - 3033