Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration certification » integration verification, integration identification, integrating verification
certification program » verification program, certification process, certification exam
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
integration certification » integration verification, integration identification, integrating verification
certification program » verification program, certification process, certification exam
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
1
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...) Routing Metric for Mobile Ad Hoc Networks -- Constructing Minimum Relay Connected Sensor Cover...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Direct Chosen-Ciphertext Secure Hierarchical ID-Based Encryption Schemes -- Certificate-Based Signature...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“..., Privacy and Trust -- Core Structure Elements Architectures to Facilitate Construction and Secure...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Algorithm on Load Balancing for Web Server Cluster -- Nature of Chinese Thesaurus Automatic Construction...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Processing Collective Knowledge – Conflict Resolution and Integration Aspects -- How to Store...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Operations by Integration in Real-Time Collaborative CAD Systems -- Trust Extension Device: Providing...”View full text
Electronic
eBook