Søgeresultater - intersection communication program functionality using https

Søg alternativer:
intersection communication » interaction communication , interaction communications , interconnection communication
communication program » communication programs , communicative program , communication programmed
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
using https » using http , nursing https , aging https

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

Udgivet 2006

Indholdsfortegnelse: “...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
Få fuldtekst

Electronisk eBog

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Invited Talk 1 -- Recursive Towers of Function Fields over Finite Fields -- Efficient Finite Field...”
Få fuldtekst

Electronisk eBog

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
Få fuldtekst

Electronisk eBog

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...”
Få fuldtekst

Electronisk eBog

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Udgivet 2014

Indholdsfortegnelse: “... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...”
Få fuldtekst

Electronisk eBog

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Udgivet 2008

Indholdsfortegnelse: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Få fuldtekst

Electronisk eBog

Intelligent Technologies and Engineering Systems

Udgivet 2013

Indholdsfortegnelse: “... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Element Model for Epidermal Wound Healing -- Predicting Binding Sites of Hepatitis C Virus Complexes Using...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Power Analysis of Single-Rail Storage Elements as Used in MDPL -- A Timing Attack against Patterson...”
Få fuldtekst

Electronisk eBog

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
Få fuldtekst

Electronisk eBog

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Communication Networks -- Information Distance from a Question to an Answer -- A New Field Splitting Algorithm...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...”
Få fuldtekst

Electronisk eBog

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Proble...

Udgivet 2006

Indholdsfortegnelse: “... of Preemption in Scheduling -- An Improved Analysis for a Greedy Remote-Clique Algorithm Using Factor-Revealing...”
Få fuldtekst

Electronisk eBog

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study...”
Få fuldtekst

Electronisk eBog

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Udgivet 2006

Indholdsfortegnelse: “... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”
Få fuldtekst

Electronisk eBog

Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
Få fuldtekst

Electronisk eBog

The SimCalc Vision and Contributions Democratizing Access to Important Mathematics /

Udgivet 2013

Indholdsfortegnelse: “...), 99-111): Luis Moreno-Armella & Stephen Hegedus: Intersecting Representation and Communication...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning