40 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
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling.
View Other Search Results
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
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
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
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Rueher, Michel. editor.
Format:
Electronic Resources
Alıntı:
sustainability track; CP and biology track; music track; preference, social choice, and optimization track
Yazar
Lipták, Zsuzsanna. editor.
Format:
Electronic Resources
Alıntı:
.-Combinatorial optimization -- Complexity theory -- Computational biology.-Compression and information retrieval
Yazar
Peters, James F. editor.
Format:
Electronic Resources
Alıntı:
Optimization of c-Decision Rules Relative to Length, Coverage and Number of Misclassifications -- Toward
40 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: