Yazar
Dhaenens, Clarisse. editor.
Format:
Electronic Resources
Alıntı:
Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January
Yazar
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
Format:
Electronic Resources
Alıntı:
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod
View Other Search Results
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
program verification, bug detection, compiler optimization, program understanding, and software
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V.
Yazar
Enea, Constantin. editor.
Format:
Electronic Resources
Alıntı:
proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization
Yazar
Podelski, Andreas. editor.
Format:
Electronic Resources
Alıntı:
topics in abstract domains: program verication, bug detection, compiler optimization, program
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
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
Format:
Electronic Resources
Alıntı:
Functional programming -- Constraint programming and business rules -- Prolog and optimization
Yazar
Fomin, Fedor V. editor.
Format:
Electronic Resources
Alıntı:
of topics such as algorithms and data structures; combinatorial optimization; constraint solving