Suggestion de sujets dans votre recherche.
Recherches alternatives:
programming security » programming secrets, programming secure, programming recursion
security programming » secure programming, recursive programming, security program
programming https » programming http, programming hands, programming hints
1
Image de couverture de livre
Publié 2008
Table des matières: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2010
Table des matières: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
3
Image de couverture de livre
Publié 2014
Table des matières: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
4
Image de couverture de livre
Publié 2008
Table des matières: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
5
Image de couverture de livre
par Simon, Axel., Simon, Axel.
Publié 2008
Sujets: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
6
Image de couverture de livre
Publié 2015
Table des matières: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
7
Image de couverture de livre
Publié 2013
Table des matières: “... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
8
Image de couverture de livre
Table des matières: “... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
9
Image de couverture de livre
Publié 2005
Table des matières: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
10
Image de couverture de livre
Publié 2008
Table des matières: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
11
Image de couverture de livre
Table des matières: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
12
Image de couverture de livre
Table des matières: “... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
13
Image de couverture de livre
Table des matières: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
14
Image de couverture de livre
Publié 2006
Table des matières: “... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
15
Image de couverture de livre
Publié 2005
Table des matières: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
16
Image de couverture de livre
Publié 2015
Table des matières: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
17
Image de couverture de livre
Publié 2014
Table des matières: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
18
Image de couverture de livre
Table des matières: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
19
Image de couverture de livre
Table des matières: “... Services -- Secure PHP Programming -- SQLite -- Building Web Sites for the World -- MVC and the Zend...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
20
Image de couverture de livre
Table des matières: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche