1
Argitaratua 2005
Aurkibidea: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2015
Aurkibidea: ... in a Decision Making Problem by Preference Relation -- RBHR: Region-Based Hybrid Routing Protocol...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2006
Aurkibidea: ... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2006
Aurkibidea: ... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2015
Aurkibidea: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2014
Aurkibidea: ... Criterion for the Fast Detection of Functional Modules in Protein Interaction Networks....
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2015
Aurkibidea: ... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2014
Aurkibidea: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2014
Aurkibidea: ... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2013
Aurkibidea: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2008
Aurkibidea: ... Streams -- The Effects of Local Randomness in the Adversarial Queueing Model -- Parallel Imaging Problem...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2008
Aurkibidea: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2011
Aurkibidea: ... Recognition System -- Study on Architecture and Performances of Dual Track SAW Device -- Adaptive Function...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2015
Aurkibidea: ... -- Design of Electronic Control Board to Obtain the Photovoltaic Module Power Voltage Curve as Temperature...
Testu osoa
Baliabide elektronikoa eBook
19
Aurkibidea: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2006
Aurkibidea: ... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...
Testu osoa
Baliabide elektronikoa eBook