Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program computation » program computational, program compilation, programs competition
computation https » computing https
function session » functions session, function section, function sensation
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
program computation » program computational, program compilation, programs competition
computation https » computing https
function session » functions session, function section, function sensation
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Udgivet 2010
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”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 2010
Indholdsfortegnelse:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2006
Indholdsfortegnelse:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Få fuldtekst
Electronisk
eBog
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2006
Indholdsfortegnelse:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”Få fuldtekst
Electronisk
eBog
20
Indholdsfortegnelse:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog