Søgeresultater - parallel functionality setting functionality testing https

Søg alternativer:
parallel functionality » parallel functional , oracle functionality , carbonyl functionality
functionality setting » functionality securing , functional setting , functionality printing
setting functionality » defining functionality , sampling functionality , adding functionality
functionality testing » functional testing , functionality using , functionality test
testing https » teaching https , being https , writing https

Functional Genomics

Udgivet 2003

Indholdsfortegnelse: “... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”
Få fuldtekst

Electronisk eBog

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Udgivet 2007

Indholdsfortegnelse: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Få fuldtekst

Electronisk eBog

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Between Knowledges -- On Three Closely Related Rough Inclusion Functions -- Rough Set Theory from a Math...”
Få fuldtekst

Electronisk eBog

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Få fuldtekst

Electronisk eBog

Fundamentals of Switching Theory and Logic Design A Hands on Approach /

af Astola, Jaakko., Astola, Jaakko., Stankovic, Radomir S.
Udgivet 2006

Indholdsfortegnelse: “...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...”
Få fuldtekst

Electronisk eBog

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Udgivet 2014

Indholdsfortegnelse: “... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”
Få fuldtekst

Electronisk eBog

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Udgivet 2015

Indholdsfortegnelse: “...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...”
Få fuldtekst

Electronisk eBog

Evolutionary Algorithms for Solving Multi-Objective Problems

af Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Udgivet 2007

Indholdsfortegnelse: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Få fuldtekst

Electronisk eBog

Theory of Computation

af Kozen, Dexter C., Kozen, Dexter C.
Udgivet 2006

Indholdsfortegnelse: “... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
Få fuldtekst

Electronisk eBog

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Udgivet 2005

Indholdsfortegnelse: “...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”
Få fuldtekst

Electronisk eBog

Design of Embedded Control Systems

Udgivet 2005

Indholdsfortegnelse: “... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”
Få fuldtekst

Electronisk eBog

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Få fuldtekst

Electronisk eBog

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Udgivet 2008

Indholdsfortegnelse: “... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”
Få fuldtekst

Electronisk eBog

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets...”
Få fuldtekst

Electronisk eBog

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Få fuldtekst

Electronisk eBog

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Udgivet 2010

Indholdsfortegnelse: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “... Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning