1
出版 2013
書本目錄: ... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...
獲取全文
電子 電子書
3
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
獲取全文
電子 電子書
4
書本目錄: ... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...
獲取全文
電子 電子書
6
書本目錄: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
獲取全文
電子 電子書
7
Lee, James., Lee, James.
出版 2010
書本目錄: ... -- Subroutines/Functions -- Regular Expressions -- Files and Data -- String Processing -- Interfacing...
獲取全文
電子 電子書
8
書本目錄: ...Introducing Perl -- Basic Concepts -- Scalars: Integers, Floating-Point Numbers, and Strings...
獲取全文
電子 電子書
9
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
獲取全文
電子 電子書
10
出版 2014
書本目錄: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
獲取全文
電子 電子書
11
出版 2005
書本目錄: ... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...
獲取全文
電子 電子書
13
出版 2013
書本目錄: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
獲取全文
電子 電子書
14
出版 2005
書本目錄: ... and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for Two...
獲取全文
電子 電子書
15
出版 2006
書本目錄: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
獲取全文
電子 電子書
16
出版 2011
主題: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
獲取全文
電子 電子書
17
Spear, Chris., Spear, Chris.
出版 2008
書本目錄: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
獲取全文
電子 電子書
18
出版 2013
書本目錄: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
獲取全文
電子 電子書