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