1
Udgivet 2010
Indholdsfortegnelse: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Få fuldtekst
Electronisk eBog
6
Fag: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni...
Få fuldtekst
Electronisk eBog
9
af Burgin, Mark., Burgin, Mark.
Udgivet 2005
Indholdsfortegnelse: ...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
Få fuldtekst
Electronisk eBog
11
Udgivet 2015
Indholdsfortegnelse: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ... Subsets -- Fast Skew Partition Recognition -- Some Results on Fractional Graph Theory -- Seven Types...
Få fuldtekst
Electronisk eBog
14
Udgivet 2006
Indholdsfortegnelse: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ... -- Computing Matrix Representations of Filiform Lie Algebras -- Type Specialization in Aldor -- An Algebraic...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ...-Reduced SHA-512 -- Collision Attack on 4-Branch, Type-2 GFN Based Hash Functions Using Sliced Biclique...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Well-Mixed Function with Circuit Complexity 5n ±o(n): Tightness of the Lachish-Raz-Type Bounds -- A...
Få fuldtekst
Electronisk eBog
19
Udgivet 2015
Indholdsfortegnelse: ... Matching Approaches -- IsoLate: A Type System for Self-recursion -- The Problem of PL Concurrency Semantics...
Få fuldtekst
Electronisk eBog
20
Udgivet 2014
Indholdsfortegnelse: ... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...
Få fuldtekst
Electronisk eBog