Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computational » problem computational, programming computational, problems computational
computational program » computational problem, compositional program, computational problems
intersecting non » intersections non, intersection non, intersecting when
program https » programs https, program has, program help
non program » ion program, sohn program, town program
program computational » problem computational, programming computational, problems computational
computational program » computational problem, compositional program, computational problems
intersecting non » intersections non, intersection non, intersecting when
program https » programs https, program has, program help
non program » ion program, sohn program, town program
1
Published 2015
Table of Contents:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”View full text
Electronic
eBook
11
Table of Contents:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
14
by de Berg, Mark., de Berg, Mark., Cheong, Otfried., van Kreveld, Marc., Overmars, Mark.
Published 2008
Table of Contents:
“...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...”Published 2008
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... and the Cover Time of Random Intersection Graphs -- Uncover Low Degree Vertices and Minimise the Mess...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...”View full text
Electronic
eBook