Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
problems processing » probes processing, problems proceedings, problems process
processing problems » programming problems
integer processing » integrated processing, water processing, filter processing
processing array » processing areas, processing assay, processing warren
https » http
problems processing » probes processing, problems proceedings, problems process
processing problems » programming problems
integer processing » integrated processing, water processing, filter processing
processing array » processing areas, processing assay, processing warren
https » http
1
Argitaratua 2005
Aurkibidea:
“... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“...Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2014
Aurkibidea:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2014
Aurkibidea:
“... -- Correlation of Arrays -- Inflation of Perfect Arrays Over the Basic Quaternions of Size mn ¼ ðq þ 1Þ=2...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“...-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2015
Aurkibidea:
“... -- Biosequence Time-frequency Processing: Pathogen Detection and Identification -- Wavelet-Shearlet Edge...”Testu osoa
Baliabide elektronikoa
eBook