1
Argitaratua 2010
Aurkibidea: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2014
Aurkibidea: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2012
Aurkibidea: ...On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations -- An Algebraic...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ... Processors -- Parallel Memory Architecture for TTA Processor -- A Linear Complexity Algorithm...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2006
Aurkibidea: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2013
Aurkibidea: ... Recognition Based on Linear Discriminant Analysis -- Association Measures and Aggregation Functions -- JT2FIS...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2013
Aurkibidea: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
Testu osoa
Baliabide elektronikoa eBook