Arama Sonuçları - program foundation https function security https

1

Foundation Drupal 7 Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites /

Yazar: Townsend, RJ., Townsend, RJ.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... to Drupal Functionality....”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Tam Metin Erişim

Elektronik Ekitap

3

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

4

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...”
Tam Metin Erişim

Elektronik Ekitap

5

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional...”
Tam Metin Erişim

Elektronik Ekitap

6

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...”
Tam Metin Erişim

Elektronik Ekitap

7

Information Security 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computing -- Traitor Tracing with Optimal Transmission Rate -- Symmetric-Key Cryptography -- The Security...”
Tam Metin Erişim

Elektronik Ekitap

8

Requirements Engineering: Foundation for Software Quality 16th International Working Conference...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Requirements: A Case Study -- Security Requirements -- On the Role of Ambiguity in RE -- Towards a Framework...”
Tam Metin Erişim

Elektronik Ekitap

9

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Tam Metin Erişim

Elektronik Ekitap

10

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
Tam Metin Erişim

Elektronik Ekitap

11

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack...”
Tam Metin Erişim

Elektronik Ekitap

12

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

13

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Free Grammars Using an Incremental SAT Solver -- Track C: Security and Cryptography Foundations -- Weak...”
Tam Metin Erişim

Elektronik Ekitap

14

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

15

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”
Tam Metin Erişim

Elektronik Ekitap

16

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”
Tam Metin Erişim

Elektronik Ekitap

17

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Tam Metin Erişim

Elektronik Ekitap

18

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

19

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

20

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt