Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
View Other Search Results
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Arama Sonuçlarını Sınırlandır
Daraltılmış: