Arama Sonuçları - processing tutorial program functionality securing https

Şunu mu demek istediniz:
functionality securing » functionality setting , functionality using , functionality testing
program functionality » protein functionality , programs functional , supra functionality
processing tutorial » processing tutorials , processes tutorial , processing materials
tutorial program » tutorial programs
securing https » security https , security http , securing rtp

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Tam Metin Erişim

Elektronik Ekitap

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Tam Metin Erişim

Elektronik Ekitap

Information Security and Cryptology - ICISC 2009 12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Cryptanalysis of SOSEMANUK -- Security Management and Efficient Implementation -- Serial Model for Attack Tree...”
Tam Metin Erişim

Elektronik Ekitap

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... from the Baltic Perspective -- Experiences in Applying Agile Software Development in F-Secure -- People...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Renegotiating Mechanism for Guaranteed End-to-End QoS over DiffServ Networks -- Secure and Efficient ID-Based...”
Tam Metin Erişim

Elektronik Ekitap

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”
Tam Metin Erişim

Elektronik Ekitap

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Quantification for Concurrent Shape Analysis -- Session 11: Tools – Security and Program Analysis -- The Scyther...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Tam Metin Erişim

Elektronik Ekitap

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Baskı/Yayın Bilgisi 2013

İçindekiler: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Tam Metin Erişim

Elektronik Ekitap

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Relation, Definability, and Approximations -- Discernibility Functions and Minimal Rules in Non...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt