Søgeresultater - integer processing programs functionality testing https

Søg alternativer:
programs functionality » program functionality , programs functional , properties functionality
functionality testing » functionality setting , functional testing , functionality using
processing programs » processing programmed , processing problems , processing products
integer processing » integrated processing , water processing , filter processing
testing https » teaching https , being https , writing https

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

Udgivet 2007

Indholdsfortegnelse: “... Algorithms for 2-Stage Stochastic Scheduling Problems -- Session 5 -- On Integer Programming and the Branch...”
Få fuldtekst

Electronisk eBog

Difference Equations From Rabbits to Chaos /

af Cull, Paul., Cull, Paul., Flahive, Mary., Robson, Robby.
Udgivet 2005

Indholdsfortegnelse: “... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2013

Indholdsfortegnelse: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
Få fuldtekst

Electronisk eBog

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Complexity -- The MSO Theory of Connectedly Communicating Processes -- Reachability of Hennessy-Milner...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”
Få fuldtekst

Electronisk eBog

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Proble...

Udgivet 2006

Indholdsfortegnelse: “... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...”
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: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Få fuldtekst

Electronisk eBog

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Udgivet 2008

Indholdsfortegnelse: “... Integer Programming Problem....”
Få fuldtekst

Electronisk eBog

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Udgivet 2007

Indholdsfortegnelse: “... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”
Få fuldtekst

Electronisk eBog

Integrated Uncertainty Management and Applications

Udgivet 2010

Indholdsfortegnelse: “... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”
Få fuldtekst

Electronisk eBog

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Udgivet 2007

Indholdsfortegnelse: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Få fuldtekst

Electronisk eBog

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... of Privacy-Protected Deleted Data -- Detecting Encryption Functions via Process Emulation and IL-Based...”
Få fuldtekst

Electronisk eBog

Selected Areas in Cryptography 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... on the Signed Sliding Window Integer Recoding and a Left-to-Right Analogue -- Fast Irreducibility Testing...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning