1
Argitaratua 2006
Aurkibidea: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2005
Aurkibidea: ...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2010
Aurkibidea: ... of Multiple Spike Trains -- Higher-Order Correlations and Cumulants -- Population-based approaches...
Testu osoa
Baliabide elektronikoa eBook
4
nork Bronstein, Manuel., Bronstein, Manuel.
Argitaratua 2005
Aurkibidea: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2010
Aurkibidea: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2015
Aurkibidea: ... Resonance Signal for General Gradient Waveforms: Multiple Correlation Function Framework, Path Integrals...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2014
Aurkibidea: ... Model Order Reduction for the Nonlinear Dynamics of Jointed Structures by the use of Trial Vector...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2013
Aurkibidea: ...Improving Conservation for First-Order System Least Squares Finite-Element Methods, James Adler...
Testu osoa
Baliabide elektronikoa eBook
9
Aurkibidea: ...1 General Formulation of Spectral Approximation -- 2 Tau and Galerkin Methods for Fourth Order GEPs...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2015
Aurkibidea: ...-free Graphs -- Higher-Order Triangular-Distance Delaunay Graphs: Graph-Theoretical Properties...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2008
Aurkibidea: ... -- Estimating The Size Of Peer-To-Peer Networks Using Lambert's W Function -- Comparative Evaluation...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2008
Aurkibidea: ...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2005
Aurkibidea: ... for On-line Production Order Disposal Problem -- Automatic Timetabling Using Artificial Immune System...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2010
Aurkibidea: ... Warehouse Design -- & : A Methodology for Effectively and Efficiently Designing Parallel Relational Data...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2006
Aurkibidea: ... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2010
Aurkibidea: ... -- Structure Is Informative: On Mining Structured Information Networks -- Intelligent Interaction with the Real...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... Terrains with Higher-Order Delaunay Triangulations -- I/O-Efficient Construction of Constrained Delaunay...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2008
Aurkibidea: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Testu osoa
Baliabide elektronikoa eBook