Rezultaty - interval computing proceedings programs constructs https

Inne możliwości wyszukiwania:
proceedings programs » proceedings program , processing programs , procedures programs
programs constructs » programs constructive , programs constraints , programming constructs
interval computing » intervals comparing , internet computing , interval counting
constructs https » construction https , constructs loops , constructs arti

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Wydane 2013

Spis treści: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Wydane 2005

Spis treści: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Wydane 2007

Spis treści: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Wydane 2010

Spis treści: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Kinematics Proceedings of the 6th International Workshop on Computational Kinematics (CK2013) /

Wydane 2014

Spis treści: “... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Wydane 2014

Spis treści: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Wydane 2007

Spis treści: “... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Wydane 2008

Spis treści: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Wydane 2015

Spis treści: “... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty