63 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
program verification, bug detection, compiler optimization, program understanding, and software
Yazar
Usman, Muhammad. author.
Format:
Electronic Resources
Alıntı:
multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization
View Other Search Results
Yazar
Mureşan, Marian. author.
Format:
Electronic Resources
Alıntı:
-- Optimization of Trajectories -- Miscellany -- References -- Index.
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling.
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.
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Martínez-Villaseñor, Lourdes. editor.
Format:
Electronic Resources
Alıntı:
learning; optimization and planning; fuzzy systems, reasoning and intelligent applications; and vision and
Yazar
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
Format:
Electronic Resources
Alıntı:
Functional programming -- Constraint programming and business rules -- Prolog and optimization
Yazar
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
Format:
Electronic Resources
Alıntı:
topics: physical-chemical phenomena; biological systems; economy and society; complexity; optimization.
Yazar
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing
Yazar
Sengupta, Anirban. editor.
Format:
Electronic Resources
Alıntı:
mixed signal design; computing architecture and security; hardware design and optimization; low power
63 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: