Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs detecting » programs testing, problems detecting, programs getting
detecting https » directing https, detecting hot, directing http
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs detecting » programs testing, problems detecting, programs getting
detecting https » directing https, detecting hot, directing http
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Udgivet 2013
Indholdsfortegnelse:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2015
Indholdsfortegnelse:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2015
Indholdsfortegnelse:
“... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2012
Indholdsfortegnelse:
“... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“... -- Code Mutation in Verification and Automatic Code Correction -- Efficient Detection of Errors in Java...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2012
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Clustering Coefficients of Small-World Networks -- Detecting Invisible Relevant Persons in a Homogeneous...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“... Streaming Delivery over P2P Networks -- On the Role of Information Compaction to Intrusion Detection -- A...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2013
Indholdsfortegnelse:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2007
Indholdsfortegnelse:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”Få fuldtekst
Electronisk
eBog