Foreslåede emner i din søgning.
Søg alternativer:
functionality securing » functionality setting, functionality using, functionality testing
parallel quantitative » parallel qualitative, parallel quantification, appraisal quantitative
program functionality » protein functionality, programs functional, supra functionality
quantitative program » quantitative programmed, quantitative problem, quantitative problems
securing https » security https, security http, securing rtp
1
Omslagsbillede
Udgivet 2012
Indholdsfortegnelse: “... Constraints for Automotive Embedded Systems -- Introduction to DESEC4LCCI 2012 -- Quantitative Security...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
4
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
5
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Optimization for the Se-ries-Parallel Redundancy Allocation Problem -- Impact of the length of optical flow...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning