Search Results - intersections computing programming program function https

Search alternatives:
intersections computing » interaction computing , interneurons computing , intersections rotating
computing programming » computer programming , computers programming
programming program » programming programmed , programming problem , programming problems
program function » programme function , programs functional , program foundation
function https » functions https , fiction https

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
View full text

Electronic eBook

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
View full text

Electronic eBook

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Published 2007

Table of Contents: “... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
View full text

Electronic eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
View full text

Electronic eBook

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS...

Published 2007

Table of Contents: “... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”
View full text

Electronic eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
View full text

Electronic eBook

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
View full text

Electronic eBook

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

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

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

Published 2005

Table of Contents: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
View full text

Electronic eBook

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
View full text

Electronic eBook

Narrow Search