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