Canlyniadau Chwilio - programs internal https functionality using https

Chwilio eraill:
https functionality » its functionality , bags functionality , cross functionality
functionality using » functionality business , functionality design , functioning using
programs internal » programming internal , programs interfaces , programs interests
internal https » internet https , internet http , internal attacks
using https » using http , nursing https , aging https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Cael y testun llawn

Electronig eLyfr

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Cael y testun llawn

Electronig eLyfr

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Cyhoeddwyd 2007

Tabl Cynhwysion: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Cyhoeddwyd 2012

Tabl Cynhwysion: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010...

Cyhoeddwyd 2011

Pynciau: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

A Beginner's Guide to Scala, Object Orientation and Functional Programming

gan Hunt, John., Hunt, John.
Cyhoeddwyd 2014

Tabl Cynhwysion: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Cael y testun llawn

Electronig eLyfr

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Cael y testun llawn

Electronig eLyfr

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”
Cael y testun llawn

Electronig eLyfr

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
6
7
8
9
10
11
Nesaf »
[38]

Manylu'r Chwiliad