Rezultaty - parallel function modulo functionality setting https

Inne możliwości wyszukiwania:
functionality setting » functionality testing , functionality securing , functional setting
modulo functionality » morpho functionality , multi functionality , double functionality
parallel function » parallel functional , parallel auction , parallel union
function modulo » function moduli , function model , function models
setting https » being https , writing https , feeding https

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Wydane 2006

Spis treści: “... Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Wydane 2013

Spis treści: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Wydane 2013

Spis treści: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Wydane 2014

Spis treści: “... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Wydane 2015

Spis treści: “... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Wydane 2010

Spis treści: “... Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Wydane 2008

Spis treści: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty