Výsledky vyhledávání - programs session https functionality setting https

Alternativní vyhledávání:
functionality setting » functionality testing , functionality securing , functional setting
https functionality » its functionality , bags functionality , cross functionality
programs session » problems session
session https » sedation https , vision https , design https
setting https » being https , writing https , feeding https

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Vydáno 2008

Obsah: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
Získat plný text

Elektronický zdroj E-kniha

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Vydáno 2005

Obsah: “...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”
Získat plný text

Elektronický zdroj E-kniha

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Vydáno 2008

Obsah: “...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”
Získat plný text

Elektronický zdroj E-kniha

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Vydáno 2005

Obsah: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Získat plný text

Elektronický zdroj E-kniha

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Vydáno 2007

Obsah: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Paper Award -- Placing Regenerators in Optical Networks to Satisfy Multiple Sets of Requests -- Session...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... -- Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract) -- Session 6 -- On a...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Získat plný text

Elektronický zdroj E-kniha

The R Software Fundamentals of Programming and Statistical Analysis /

Autor Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Vydáno 2013

Obsah: “... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... Functions -- Simple Saturated Sets for Disjunction and Second-Order Existential Quantification...”
Získat plný text

Elektronický zdroj E-kniha

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”
Získat plný text

Elektronický zdroj E-kniha

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Vydáno 2008

Obsah: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Získat plný text

Elektronický zdroj E-kniha

Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014 /

Vydáno 2015

Obsah: “...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Vydáno 2008

Obsah: “... Consistency -- Implied Set Closure and Its Application to Memory Consistency Verification -- Effective Program...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Vydáno 2006

Obsah: “...-Order Logic with Automated Parser Generation -- Session 4. Higher-Order Logic -- Extracting Programs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Sparsification for Shortest Path Queries -- Unit-Time Predecessor Queries on Massive Data Sets -- Session 2B...”
Získat plný text

Elektronický zdroj E-kniha

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

Vydáno 2007

Obsah: “... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”
Získat plný text

Elektronický zdroj E-kniha

1
2
3
4
Další »
[4]

Upřesnit hledání