Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming computing » programming comparing, programming composing, programming computer
function session » functions session, function section, function sensation
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
programming computing » programming comparing, programming composing, programming computer
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
Publicado 2010
Subjects:
“...Programming languages (Electronic computers)....”Ligazón do recurso
Electrónico
eBook
2
Publicado 2008
Table of Contents:
“...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Ligazón do recurso
Electrónico
eBook
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2008
Table of Contents:
“... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2006
Table of Contents:
“... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Ligazón do recurso
Electrónico
eBook