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
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
security -- Optimization -- Static analysis -- Automated Verication -- Program debugging and slicing
Yazar
Rueher, Michel. editor.
Format:
Electronic Resources
Alıntı:
sustainability track; CP and biology track; music track; preference, social choice, and optimization track
Yazar
Kulikov, Alexander S. editor.
Format:
Electronic Resources
Alıntı:
, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving
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
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Provers -- A Formally Verified Generic Branching Algorithm for Global Optimization.
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Validation -- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .
Arama Sonuçlarını Sınırlandır
Daraltılmış: