Canlyniadau Chwilio - program globalization https functionality testing https

Chwilio eraill:
program globalization » problems globalization , program visualization , from globalization
functionality testing » functionality setting , functional testing , functionality using
https functionality » its functionality , bags functionality , cross functionality
testing https » teaching https , being https , writing https

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
Cael y testun llawn

Electronig eLyfr

An Introduction to Meshfree Methods and Their Programming

gan Liu, G.R., Liu, G.R., Gu, Y.T.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Cael y testun llawn

Electronig eLyfr

Statistical Models for Test Equating, Scaling, and Linking

Cyhoeddwyd 2011

Tabl Cynhwysion: “... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...”
Cael y testun llawn

Electronig eLyfr

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
Cael y testun llawn

Electronig eLyfr

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... in Mechatronics-Driven Companies – A Comparative Case Study -- An Industrial Case Study on Test Cases...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Cael y testun llawn

Electronig eLyfr

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”
Cael y testun llawn

Electronig eLyfr

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
Cael y testun llawn

Electronig eLyfr

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Test Set-up using Virtualization and Simulation -- Automated Graphical user Interface Regression...”
Cael y testun llawn

Electronig eLyfr

Managing in Recovering Markets

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Chapter 1. A Dynamic Conditional Correlation analysis based approach to test Financial Contagion...”
Cael y testun llawn

Electronig eLyfr

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”
Cael y testun llawn

Electronig eLyfr

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Cael y testun llawn

Electronig eLyfr

Advanced Statistical Methods for the Analysis of Large Data-Sets

Cyhoeddwyd 2012

Tabl Cynhwysion: “... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”
Cael y testun llawn

Electronig eLyfr

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
Nesaf »
[4]

Manylu'r Chwiliad