1
Cyhoeddwyd 2010
Tabl Cynhwysion: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Cael y testun llawn
Electronig eLyfr
2
gan Freeman, Adam., Freeman, Adam.
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Cael y testun llawn
Electronig eLyfr
6
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
7
gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Cael y testun llawn
Electronig eLyfr
8
gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Cael y testun llawn
Electronig eLyfr
10
Tabl Cynhwysion: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2014
Tabl Cynhwysion: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
Cael y testun llawn
Electronig eLyfr
16
Tabl Cynhwysion: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2012
Tabl Cynhwysion: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2011
Tabl Cynhwysion: ... Algorithms -- 4 Parallel Sorting – The Need for Speed -- 5 Topological Sorting – How Should I Begin...
Cael y testun llawn
Electronig eLyfr