Søgeresultater - program certification https functionality setting https

Søg alternativer:
program certification » program verification , programs verification , produce certification
functionality setting » functionality testing , functionality securing , functional setting
certification https » certification paths , certification step , certification gets
https functionality » its functionality , bags functionality , cross functionality
setting https » being https , writing https , feeding https

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Få fuldtekst

Electronisk eBog

SAP ERP Financial Accounting and Controlling Configuration and Use Management /

af Okungbowa, Andrew., Okungbowa, Andrew.
Udgivet 2015

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... with Higher-Order Modal Fixpoint Logic -- Sensitivity, Block Sensitivity, and Certificate Complexity of Unate...”
Få fuldtekst

Electronisk eBog

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Udgivet 2010

Indholdsfortegnelse: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “... Programs -- Evaluation of Software Understandability Using Rough Sets -- HCDLST: An Indexing Technique...”
Få fuldtekst

Electronisk eBog

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...”
Få fuldtekst

Electronisk eBog

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Udgivet 2008

Indholdsfortegnelse: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Få fuldtekst

Electronisk eBog

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Cryptanalysis of MAG -- On Exact Algebraic [Non-]Immunity of S-Boxes Based on Power Functions -- Network...”
Få fuldtekst

Electronisk eBog

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Cryptographic Applications -- Do Broken Hash Functions Affect the Security of Time-Stamping Schemes? -- A Handy...”
Få fuldtekst

Electronisk eBog

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Function with Reduced Hardware Requirements -- Collision Attacks and Fault Analysis -- Collision Attacks...”
Få fuldtekst

Electronisk eBog

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Learning with Penalty Setting Profiles for Automatic Thai Unknown Word Recognition -- AONT Encryption Based...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Udgivet 2015

Indholdsfortegnelse: “... Selection Based on Set Theory for Web Intrusion Detection System -- 8. FLC Based Adaptive Neuro Fuzzy...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning