Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programs processing » programs proceedings, programs processes, products processing
program processing » program proceedings, program process, programs proceedings
properties array » properties air, properties akira, properties a.a
https » http
programs processing » programs proceedings, programs processes, products processing
program processing » program proceedings, program process, programs proceedings
properties array » properties air, properties akira, properties a.a
https » http
1
Pubblicazione 2014
Sommario:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”Testo
Elettronico
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Pubblicazione 2010
Sommario:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Testo
Elettronico
eBook
5
Pubblicazione 2015
Sommario:
“... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”Testo
Elettronico
eBook
6
Pubblicazione 2013
Sommario:
“... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...”Testo
Elettronico
eBook
7
Soggetti:
“...Signal, Image and Speech Processing. https://scigraph.springernature.com/ontologies/product-market...”
Testo
Testo
Elettronico
eBook
8
Pubblicazione 2005
Sommario:
“... -- COATINGS PRINCIPLES -- CLASSICAL PROPERTIES OF CONTINUOUSWAVE OPTICAL PARAMETRIC OSCILLATORS...”Testo
Elettronico
eBook
9
Soggetti:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testo
Testo
Elettronico
eBook
10
Pubblicazione 2005
Sommario:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”Testo
Elettronico
eBook
11
Pubblicazione 2010
Sommario:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”Testo
Elettronico
eBook
13
Pubblicazione 2013
Sommario:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”Testo
Elettronico
eBook
14
Pubblicazione 2015
Sommario:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Testo
Elettronico
eBook
15
Pubblicazione 2014
Sommario:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Testo
Elettronico
eBook
16
Pubblicazione 2010
Sommario:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”Testo
Elettronico
eBook
17
Pubblicazione 2007
Sommario:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Testo
Elettronico
eBook
18
Pubblicazione 2012
Sommario:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”Testo
Elettronico
eBook
19
Pubblicazione 2015
Sommario:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”Testo
Elettronico
eBook
20
Pubblicazione 2007
Sommario:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]