Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
1–50 of 18,827 hits
Sort by:
Sort by:
-
A power series method for computing singular solutions to nonlinear analytic systems
British Library Online Contents | 1992| -
A convexity-preserving C^2 parametric rational cubic interpolation
British Library Online Contents | 1992| -
A finite element method for approximating the time-harmonic Maxwell equations
British Library Online Contents | 1992| -
Finite difference discretization of the Kuramoto-Sivashinsky equation
British Library Online Contents | 1992| -
Multilevel iterative methods for mixed finite element discretizations of elliptic problems
British Library Online Contents | 1992| -
On a class of matrices which arise in the numerical solution of Euler equations
British Library Online Contents | 1992| -
Differential equations for the analytic singular value decomposition of a matrix
British Library Online Contents | 1992| -
Superconvergence analysis of approximate boundary-flux calculations
British Library Online Contents | 1992| -
Finite element approximation of viscoelastic fluid flow: Existence of approximate solutions and error bounds. I. Discontinuous constraints
British Library Online Contents | 1992| -
The frequency decomposition multi-grid method. II. Convergence analysis based on the additive Schwarz method
British Library Online Contents | 1992| -
Asymptotische Fehlerschranken fuer Rayleigh-Ritz-Approximationen selbstadjungierter Eigenwertaufgaben
British Library Online Contents | 1992| -
Evaluating the Frechet derivative of the matrix exponential
British Library Online Contents | 1992| -
Numerical analysis of the Cahn-Hilliard equation with a logarithmic free energy
British Library Online Contents | 1992| -
A breakdown-free Lanczos type algorithm for solving linear systems
British Library Online Contents | 1992| -
Asymptotics for the nth-degree Laguerre polynomial evaluated at n
British Library Online Contents | 1992| -
Tuning the mesh of a mixed method for the stream function. Vorticity formulation of the Navier-Stokes equations
British Library Online Contents | 1992| -
Molecular Hartree-Fock equations for iteration-variation calculations in momentum space
British Library Online Contents | 1992| -
Nonlinear reduction for solving deficient polynomial systems by continuation methods
British Library Online Contents | 1992| -
Convergence rates for the approximations of the solutions to algebraic Riccati Equations with unbounded coefficients: case of analytic semigroups
British Library Online Contents | 1992| -
A fast solver for the first biharmonic boundary value problem
British Library Online Contents | 1992| -
Analysis of mixed finite element methods on locally refined grids
British Library Online Contents | 1992| -
Galerkin-wavelet methods for two-point boundary value problems
British Library Online Contents | 1992| -
A parallel algorithm for discrete least squares rational approximation
British Library Online Contents | 1992| -
Time discretization of parabolic boundary integral equations
British Library Online Contents | 1992| -
The L.P.D.E.M., a mixed finite difference method for elliptic problems
British Library Online Contents | 1992| -
A Parallel Solution to the Approximate String Matching Problem
British Library Online Contents | 1992| -
Integration of Information Systems Using an Object-Oriented Approach
British Library Online Contents | 1992| -
Formal Specification of a Data Dictionary for an Extended ER Data Model
British Library Online Contents | 1992| -
Integrated Structured Analysis and Formal Specification Techniques
British Library Online Contents | 1992| -
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
British Library Online Contents | 1992| -
A Technique for Analyzing the Effects of Changes in Formal Specifications
British Library Online Contents | 1992| -
A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics
British Library Online Contents | 1992| -
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
British Library Online Contents | 1992| -
Automatic Translation of VDM Specifications into Standard ML Programs
British Library Online Contents | 1992| -
How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations
British Library Online Contents | 1992|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.