Home Advanced Search

Advanced Search - Page 1

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
  • PDF
  • English
  • Year: 2004
  • Author: Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
  • PDF
  • English
  • Year: 2004
  • Author: Olaf Owe, Stein Krogdahl, Tom Lyche (auth.), Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
Numerical Linear Algebra and Matrix Factorizations
  • PDF
  • English
  • Year: 2020
  • Author: Tom Lyche
Knot insertion and deletion algorithms for B-spline curves and surfaces
  • DJVU
  • English
  • Year: 1987
  • Author: Tom Lyche
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
Mathematical methods in computer aided geometric design 2
  • DJVU
  • English
  • Year: 1992
  • Author: Lyche, Tom; Schumaker, Larry L (eds.)
Mathematical Methods in Computer Aided Geometric Design
  • PDF
  • English
  • Year: 1989
  • Author: Tom Lyche, Larry L. Schumaker
Mathematical Methods in Computer Aided Geometric Design II
  • PDF
  • English
  • Year: 1992
  • Author: Tom Lyche, Larry L. Schumaker
ANNA A Language for Annotating Ada Programs
  • PDF
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
search