1
Aiheet: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ...-Cycles -- Computations and Relational Bundles -- An Axiomatization of Arrays for Kleene Algebra...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ... on Multiplexer Module Array -- Estimating Array Connectivity and Applying Multi-output Node Structure...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2006
Sisällysluettelo: ... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2014
Sisällysluettelo: ... Complexity Test for Binary Sequences -- Neural Method for Site-Specific Yield Prediction -- Computational...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... Hand Posture Recognition Method -- 15 Efficient Approach One-Versus-All Binary Tree For Multiclass SVM...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2015
Sisällysluettelo: ... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2010
Sisällysluettelo: ... Inaccuracy -- Practical Methods for Convex Multi-view Reconstruction -- Building Rome on a Cloudless Day...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2013
Sisällysluettelo: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2015
Sisällysluettelo: ... Method Research Based on Genetic Algorithm and Binary Particle Swarm Optimization Algorithm -- Comparison...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2014
Sisällysluettelo: ... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... Methods for Implicit Large-Eddy Simulation -- Large-Eddy Simulation of Tundish Flow -- Large Eddy...
Hae kokoteksti
Elektroninen E-kirja