1
Subjects: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
2
by Holt, Alan., Holt, Alan.
Published 2008
Table of Contents: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
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
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- Complexity and Cartesian Genetic Programming -- Design of Robust Communication Systems Using Genetic...
View full text
Electronic eBook
10
by Zhang, Yue., Zhang, Yue.
Published 2015
Table of Contents: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
View full text
Electronic eBook
11
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
12
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
17
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
18
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 2014
Table of Contents: ... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
View full text
Electronic eBook