Yazar
Mureşan, Marian. author.
Format:
Electronic Resources
Alıntı:
-- Optimization of Trajectories -- Miscellany -- References -- Index.
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Positions on Each Issue -- Complete solution of an optimization problem in tropical semifield
View Other Search Results
Yazar
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
Format:
Electronic Resources
Alıntı:
-- Preferences and Query Optimization -- Data Integration and RDF Matching -- Security and Privacy -- Web Search
Yazar
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
Format:
Electronic Resources
Alıntı:
-- Preferences and Query Optimization -- Data Integration and RDF Matching -- Security and Privacy -- Web Search
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ış: