1
Được phát hành 2005
Mục lục: ...String Processing and Information Retrieval 2005 -- Enhanced Byte Codes with Restricted Prefix...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...
lấy văn bản
Điện tử eBook
3
Bằng Sutherland, Bruce., Sutherland, Bruce.
Được phát hành 2015
Những chủ đề: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
4
Bằng Kozen, Dexter C., Kozen, Dexter C.
Được phát hành 2006
Mục lục: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
lấy văn bản
Điện tử eBook
5
Được phát hành 2015
Mục lục: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
lấy văn bản
Điện tử eBook
6
Được phát hành 2015
Mục lục: ... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...
lấy văn bản
Điện tử eBook
7
Được phát hành 2006
Mục lục: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
lấy văn bản
Điện tử eBook
9
Được phát hành 2008
Mục lục: ... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ... -- String Matching with Mismatches by Real-Valued FFT -- Encryption Methods for Restricted Data Limited...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
lấy văn bản
Điện tử eBook
12
Được phát hành 2013
Mục lục: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
lấy văn bản
Điện tử eBook
13
Được phát hành 2014
Mục lục: ... -- On Parallel Lines in Noisy Forms -- Metrics and Dissimilarities -- Metric Learning in Dissimilarity Space...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ... of Soft Constraint Problems -- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise...
lấy văn bản
Điện tử eBook
16
Được phát hành 2013
Mục lục: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
lấy văn bản
Điện tử eBook
17
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2011
Mục lục: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
lấy văn bản
Điện tử eBook
18
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2012
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
19
Bằng Langtangen, Hans Petter., Langtangen, Hans Petter.
Được phát hành 2014
Mục lục: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
lấy văn bản
Điện tử eBook
20
Được phát hành 2006
Mục lục: ...Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic...
lấy văn bản
Điện tử eBook