1
Julkaistu 2005
Sisällysluettelo: ..., and Compactness for Shape Optimization -- Interior and Boundary Stabilization of Navier-Stokes Equations -- Matrix...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Theorems of Infinite Dimensional Stochastic Functional Differential Equations -- An Optimal Control Problem...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... Krause: Parallel-in-Space-and-Time Simulation of the Three-Dimensional, Unsteady Navier-Stokes Equations...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2008
Sisällysluettelo: ... Aspects and Challenges -- Optimizing Winning Strategies in Regular Infinite Games -- Foundations...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ... with Constant Geometric Dilation -- Session 3B -- Admissibility in Infinite Games -- Pure Stationary Optimal...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... and Traffic Problems -- 1: Tools and Theory -- Occurrence of Gliders in an Infinite Class of Life-Like...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2015
Sisällysluettelo: ... -- On Automation of CTL* Verification for Infinite-State Systems -- Algorithms for Model Checking HyperLTL...
Hae kokoteksti
Elektroninen E-kirja