תוצאות חיפוש - programming composing https functionality setting https

אפשרויות חיפוש:
programming composing » programming comparing , programming composite , programming computing
functionality setting » functionality testing , functionality securing , functional setting
https functionality » its functionality , bags functionality , cross functionality
composing https » computing https , composing photos
setting https » being https , writing https , feeding https

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

יצא לאור 2008

תוכן הענינים: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “...: Improving Classification of Protein Families with a Minimal Set of Global Features -- Fault Tolerance...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

יצא לאור 2010

תוכן הענינים: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

The Design of Cloud Workflow Systems

מאת Liu, Xiao., Liu, Xiao., Yuan, Dong., Zhang, Gaofeng., Li, Wenhao., Cao, Dahai., He, Qiang., Chen, Jinjun., Yang, Yun.
יצא לאור 2012

תוכן הענינים: “... Workflow System Functionality -- Cloud Workflow System Quality of Service -- Case Study: SWINDEW-C Cloud...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Topics in Nonparametric Statistics Proceedings of the First Conference of the International Society for Nonparametric Statistics /

יצא לאור 2014

תוכן הענינים: “... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

יצא לאור 2007

תוכן הענינים: “... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2014

תוכן הענינים: “... Programs -- Evaluation of Software Understandability Using Rough Sets -- HCDLST: An Indexing Technique...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007 /

יצא לאור 2007

תוכן הענינים: “... -- A Prototype Wafer Processing TCAD Tool Composed of BMD Simulation Module, Metal Gettering...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Scalable Uncertainty Management First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... Logic Programs Under Vagueness for the Semantic Web -- A Fuzzy Set-Based Approach to Temporal Databases...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedin...

יצא לאור 2005

תוכן הענינים: “...Cryptanalysis I -- Cryptanalysis of the Hash Functions MD4 and RIPEMD -- How to Break MD5 and Other...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

יצא לאור 2005

תוכן הענינים: “... and Composability of the One Time Pad -- Lower Bounds on the OBDD Size of Graphs of Some Popular Functions -- XML...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... for Implementing a SLMR Trading Strategy -- A Formalism for Causal Explanations with an Answer Set Programming...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Coordination Control of Distributed Systems

יצא לאור 2015

תוכן הענינים: “... and Extremum Problems -- Information Nonanticipative Rate Distortion Function and its Applications...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Logic: A Hardware Based Technique for Filtering Access to Branch Logic -- Exploiting Intra-function...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013, Proceeding...

יצא לאור 2013

תוכן הענינים: “... Functions -- How to Garble RAM Programs?....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II /

יצא לאור 2010

תוכן הענינים: “... Learning -- Soft Set Approach for Selecting Decision Attribute in Data Clustering -- Comparison of BEKK...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש