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