Hakutulokset - intersection non program computational program https

Tarkoititko:
program computational » problem computational , programming computational , problems computational
computational program » computational problem , compositional program , computational problems
intersection non » intersections non , interaction non , intersecting non
program https » programs https , program has , program help
non program » ion program , sohn program , town program

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /

Julkaistu 2014

Sisällysluettelo: “... with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Julkaistu 2015

Sisällysluettelo: “... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”
Hae kokoteksti

Elektroninen E-kirja

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow...”
Hae kokoteksti

Elektroninen E-kirja

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
Hae kokoteksti

Elektroninen E-kirja

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality...”
Hae kokoteksti

Elektroninen E-kirja

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Hae kokoteksti

Elektroninen E-kirja

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
Hae kokoteksti

Elektroninen E-kirja

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
Hae kokoteksti

Elektroninen E-kirja

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
Hae kokoteksti

Elektroninen E-kirja

Introduction to Geometric Computing

Tekijä Ghali, Sherif., Ghali, Sherif.
Julkaistu 2008

Sisällysluettelo: “... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
Hae kokoteksti

Elektroninen E-kirja

Parsing Techniques A Practical Guide /

Tekijä Grune, Dick., Grune, Dick., Jacobs, Ceriel J.H.
Julkaistu 2008

Sisällysluettelo: “... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Julkaistu 2007

Sisällysluettelo: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Hae kokoteksti

Elektroninen E-kirja

Computational Geometry Algorithms and Applications /

Tekijä de Berg, Mark., de Berg, Mark., Cheong, Otfried., van Kreveld, Marc., Overmars, Mark.
Julkaistu 2008

Sisällysluettelo: “...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...”
Hae kokoteksti

Elektroninen E-kirja

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
Hae kokoteksti

Elektroninen E-kirja

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
Hae kokoteksti

Elektroninen E-kirja

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Hae kokoteksti

Elektroninen E-kirja