Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program communications » program communicating, programs communicating, proposal communications
functionality setting » functionality testing, functionality securing, functional setting
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
setting https » being https, writing https, feeding https
program communications » program communicating, programs communicating, proposal communications
functionality setting » functionality testing, functionality securing, functional setting
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
setting https » being https, writing https, feeding https
1
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
6
Table of Contents:
“... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Communication -- Function of the Amphibian Central Auditory System -- Plasticity in the Auditory System across...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- Modelling - Simulation of an Under Ground Wireless Communication Channel -- Review on Heart Sound Analysis...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... -- Formal Verification for Inter-Partitions Communication of RTOS supporting IMA; S.Park, G.Kwon -- 3D Face...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic...”View full text
Electronic
eBook
17
by Liu, Xiao., Liu, Xiao., Yuan, Dong., Zhang, Gaofeng., Li, Wenhao., Cao, Dahai., He, Qiang., Chen, Jinjun., Yang, Yun.
Published 2012
Table of Contents:
“... Workflow System Functionality -- Cloud Workflow System Quality of Service -- Case Study: SWINDEW-C Cloud...”Published 2012
View full text
Electronic
eBook
18
Subjects:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook