SciDok - Der Wissenschaftsserver der Universität des Saarlandes Statistik anzeigen

Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 15221 bis 15240 von 19084
ErscheinungsjahrTitelVerfasserInOpenAccess
2008Formal specification of a simple operating systemBogan, Sebastian
2008Path-line oriented visualization of dynamical flow fieldsShi, Kuangyu
2008Estimation of a regression function by maxima of minima of linear functionsClausen, Conny
2008Compiler verification in the context of pervasive system verificationLeinenbach, Dirk Carsten
2008Computational epigenetics : bioinformatic methods for epigenome prediction, DNA methylation mapping and cancer epigeneticsBock, Christoph
2008Interactive volume ray tracingMarmitt, Gerd
2008Real root isolation for exact and approximate polynomials using descartes' rule of signsEigenwillig, Arno
2008Approximate information filtering in structured peer-to-peer networksZimmer, Christian
2008Efficient main memory-based XML stream processingScherzinger, Stefanie
2008Traversing large graphs in realistic settingsAjwani, Deepak
2008Changes and bugs mining and predicting development activitiesZimmermann, Thomas
2008Development of computational methods for metabolic network analysis based on metabolomics dataTalwar, Priti
2008Integrodifferential equations for multiscale wavelet shrinkage : the discrete caseDidas, Stephan; Steidl, Gabriele; Weickert, Joachim
2008A variational approach to the registration of tensor-valued imagesBarbieri, Sebastiano; Welk, Martin; Weickert, Joachim
2008On finite element methods for 3D time–dependent convection–diffusion–reaction equations with small diffusionJohn, Volker; Schmeyer, Ellen
2008Stochastische Modellierung der durch Taxien beeinflussten Zellmigration und Simulation der extrazellulären MatrixGroh, Andreas
2008Advanced methods for relightable scene representations in image spaceFuchs, Martin
2008Efficient shadow map filteringAnnen, Thomas
2008Applying the Engineering Statechart Formalism to the evaluation of soft real-time in operating systems : a use case tailored modeling and analysis techniqueKoenen-Dresp, Alexander
2008Superposition and decision procedures back and forthHillenbrand, Thomas
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 15221 bis 15240 von 19084

Suche einschränken

Volltext