Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
functional structures » functional structure, functional structural, functional status
program security » program series, process security, program section
https functional » cots functional, cuts functional, dots functional
functional structures » functional structure, functional structural, functional status
program security » program series, process security, program section
https functional » cots functional, cuts functional, dots functional
1
Publié 2008
Table des matières:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“... -- Invited Talk I -- Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk...”Accéder au texte intégral
Électronique
eBook
3
Sujets:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... Communications -- Viruses and Malware -- Designing a Secure Programming Language -- Forensics and Legal Issues...”Accéder au texte intégral
Électronique
eBook
5
Publié 2007
Table des matières:
“... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...”Accéder au texte intégral
Électronique
eBook
8
Publié 2012
Table des matières:
“... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”Accéder au texte intégral
Électronique
eBook
9
Publié 2008
Table des matières:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Accéder au texte intégral
Électronique
eBook
10
Publié 2006
Table des matières:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Accéder au texte intégral
Électronique
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publié 2007
Table des matières:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Accéder au texte intégral
Électronique
eBook
14
Publié 2012
Table des matières:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Accéder au texte intégral
Électronique
eBook
15
Publié 2014
Table des matières:
“... & Microcontrollers Security -- An Introduction to the Trusted Platform Module and Mobile Trusted Module -- Hardware...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Accéder au texte intégral
Électronique
eBook
17
Publié 2007
Table des matières:
“...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”Accéder au texte intégral
Électronique
eBook
18
Publié 2007
Table des matières:
“... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”Accéder au texte intégral
Électronique
eBook
19
Publié 2010
Table des matières:
“... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”Accéder au texte intégral
Électronique
eBook
20
Publié 2012
Table des matières:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Accéder au texte intégral
Électronique
eBook