Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs implementation » program implementation, programme implementation, programming implementation
implementation https » instrumentation https, implementation _
paths programs » states programs, aids programs, paths problems
program paths » program path, program pages, program pathway
programs implementation » program implementation, programme implementation, programming implementation
implementation https » instrumentation https, implementation _
paths programs » states programs, aids programs, paths problems
program paths » program path, program pages, program pathway
1
Indholdsfortegnelse:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“... Theory -- The Simplex Method in Matrix Notation -- Sensitivity and Parametric Analyses -- Implementation...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“... on the perceptions of the program implementers -- 9 Subjective Outcome Evaluation of the Project P.A.T.H.S.:Secondary...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2013
Indholdsfortegnelse:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... Specification and Its Implementation -- A Higher-Order Iterative Path Ordering -- Variable Dependencies...”Få fuldtekst
Electronisk
eBog
10
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... in Ciliates -- On the State Complexity of Combined Operations -- Technical Contributions -- Path-Equivalent...”Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“....NET Graphics Programming -- Drawing Surfaces -- Pens and Brushes -- Text and Fonts -- Images...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“... Implementation Revisited -- Delayed PC -- Implementing the Delayed PC -- Pipeline Stages and Visible Registers...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2008
Indholdsfortegnelse:
“... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2006
Indholdsfortegnelse:
“... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“...Introduction -- Technical Factors -- Human Factors -- Implementation Factors -- Associated...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Få fuldtekst
Electronisk
eBog