Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs communications » programs communicating, program communicating, problems communication
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
programs communications » programs communicating, program communicating, problems communication
communications https » communication https, communications _, communications a
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
1
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”Published 2011
View full text
Electronic
eBook
2
Table of Contents:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text
View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Requirements -- Cryptanalysis -- Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box...”View full text
Electronic
eBook
8
Table of Contents:
“... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Complexity and Cartesian Genetic Programming -- Design of Robust Communication Systems Using Genetic...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
16
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”View full text
Electronic
eBook
18
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
19
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
20
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook