1
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Få fuldtekst
Electronisk eBog