1
Veröffentlicht 2010
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
2
von Jukna, Stasys., Jukna, Stasys.
Veröffentlicht 2012
Inhaltsangabe: ...Part I Basics -- Part II Communication Complexity -- Part III Circuit Complexity -- Part IV Bounded...
Volltext
Elektronisch E-Book
3
Schlagworte: ...Communications Engineering, Networks. https://scigraph.springernature.com/ontologies/product-market...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2013
Inhaltsangabe: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Volltext
Elektronisch E-Book
5
Schlagworte: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2014
Inhaltsangabe: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2015
Inhaltsangabe: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2015
Inhaltsangabe: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2008
Inhaltsangabe: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2006
Inhaltsangabe: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
Volltext
Elektronisch E-Book
15
von Zhang, Yue., Zhang, Yue.
Veröffentlicht 2015
Inhaltsangabe: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2013
Inhaltsangabe: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2006
Inhaltsangabe: ...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2010
Inhaltsangabe: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2008
Inhaltsangabe: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Volltext
Elektronisch E-Book