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
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
View Other Search Results
Yazar
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
Format:
Electronic Resources
Alıntı:
manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
Yazar
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
Networks -- KaSa: A Static Analyzer for Kappa -- On Robustness Computation and Optimization in BIOCHAM-4
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Positions on Each Issue -- Complete solution of an optimization problem in tropical semifield
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. .
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
verification, specialization, testing and certification, composition, program/model manipulation, optimization
Yazar
Huisman, Marieke. editor.
Format:
Electronic Resources
Alıntı:
Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
-- Adjudication of Coreference Annotations via Answer Set Optimization. .
Yazar
Weil, Pascal. editor.
Format:
Electronic Resources
Alıntı:
not limited to: algorithms and data structures; combinatorial optimization; constraint solving
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Verification -- Congruence Closure with Free Variables -- On Optimization Modulo Theories, MaxSMT and Sorting
Arama Sonuçlarını Sınırlandır
Daraltılmış: