Canlyniadau Chwilio - structure computing programming recursion based tools*

Chwilio eraill:
programming recursion » programming decision , programming session , programming decisions
computing programming » computer programming , computers programming
structure computing » structural computing , structures competing , structure compiling
recursion based » recursion case , reception based , recursion focused
based tools » based tool , basic tools

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Cael y testun llawn

Electronig eLyfr

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Cael y testun llawn

Electronig eLyfr

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Computing Transfer Score in Example-Based Machine Translation -- Systematic Processing of Long Sentences...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Cael y testun llawn

Electronig eLyfr

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....”
Cael y testun llawn

Electronig eLyfr

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem...”
Cael y testun llawn

Electronig eLyfr

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”
Cael y testun llawn

Electronig eLyfr

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”
Cael y testun llawn

Electronig eLyfr

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”
Cael y testun llawn

Electronig eLyfr

Future Generation Information Technology Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”
Cael y testun llawn

Electronig eLyfr

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad