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