Export 6684 results:
The FEMDEQS Program System. Department of Mathematics, University of Oslo, 1989.
Formal Specification and Verification of SCI Cache Coherence In Norsk Informatikk Konferanse., 1989.
FRIL: Linguistic Support for Interoperable Information Systems In University of Tromsø, CSRR 02/89., 1989.
IIS: Topics and Issues In University of Tromsø., 1989.
Marital Break-Up Among Couples Raising Families by Artificial Insemination by Donor." Fertility and Sterility 51 (1989): 980-983,."
A Method for Smoothing Derivatives of Multilinear Finite Element Fields." Communications in Applied Numerical Methods 5 (1989): 275-281,."
Modelling Non-Rectangular Surfaces Using Box Splines In Mathematics of Surfaces III, Edited by D. Handscomb., 1989.
A Riemann Solver for a Two-Phase Multicomponent Process." SIAM Journal on Scientific and Statistical Computing 10, (1989)."
Trace Based Verification of Parallel Programs With Shared Variables In 22nd Annual Hawaii International Conference on System Sciences., 1989.
Aspects of Transaction Modelling In Proceedings EUTECO'88, Edited by R. Speth. Vienna, Austria,, 1988.
Bivariate Interpolation With Quadratic Box Splines." Math. Comp. 51 (1988): 219-230,."
B-Splines in Geometric Modelling, CAD/CAM and Mathematical Modelling In BRITE Workshop proceeding., 1988.
Communication Via Shared Conceptual Memory In Message handling Systems & Distributed Applications, Edited by E. Stefferud. North Holland,, 1988.
Coordinated Group Access to Replicated Data In Norsk Informatikk Konferanse (NIK'88). TAPIR,, 1988.
Database Concepts Described in an Object-Oriented Perspective In Proceedings of the European Conference on Object-Oriented Programming Oslo, Edited by S. Gjessing and K. Nygaard. Lecture Notes in Computer Science. -: Springer-Verlag, 1988.
European Conference on Object-Oriented Programming - ECOOP'88. Vol. 322. Springer, 1988.
Finite Elements and Iterative Methods for Compressible and Incompressible Thermoelasticity. Department of Mathematics, University of Oslo, 1988.
A Functional Approach to Information System Interoperability In Proceedings EUTECO'88, Edited by R. Speth. Vienna, Austria,, 1988.
Influence of the Startvector, Variational Formulation and Mesh Refinements on Iterative Equation Solvers. Department of Mathematics, University of Oslo, 1988.
An Introduction to Open Distributed Processing (ODP) In Presented at Open Systems seminar, Norsk Regnesentral, Oslo., 1988.
Invariants in Systems of Processes and Monitors." In Distributed Computing, edited by Barton, Dagless and Rein. North Holland, 1988."
A Numerical Comparison of Conjugate Gradient-Like Methods." Communications in Applied Numerical Methods 4 (1988): 793-798,."
Preconditioning of Sparse Non-Symmetric Linear Systems. Department of Mathematics, University of Oslo, 1988.
Prekondisjonering Av Symmetriske Likningssystem. Department of Informatics, University of Oslo, 1988.
Semantics and Verification of Monitors and Systems of Monitors and Processes." Distributed Computing 2, (1988)."