Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
program computers » program computer, programs computer, program komputer
function session » functions session, function section, function sensation
computers https » computing https, computers gtt, computers help
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
program computers » program computer, programs computer, program komputer
function session » functions session, function section, function sensation
computers https » computing https, computers gtt, computers help
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
1
Gepubliceerd in 2010
Onderwerpen:
“...Programming languages (Electronic computers)....”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2008
Inhoudsopgave:
“...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2008
Inhoudsopgave:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2007
Inhoudsopgave:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2010
Inhoudsopgave:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2010
Inhoudsopgave:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2005
Inhoudsopgave:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2006
Inhoudsopgave:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2008
Inhoudsopgave:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Volledige tekst
Elektronisch
E-boek
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2010
Inhoudsopgave:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2007
Inhoudsopgave:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2008
Inhoudsopgave:
“... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2006
Inhoudsopgave:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2006
Inhoudsopgave:
“... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”Volledige tekst
Elektronisch
E-boek
20
Inhoudsopgave:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek