Programmer's guide to the PROVER system : THORALF - a theorem prover

Kompendium Matematikk 1

Eskil Aasmul

Software Languages

Ralf Lammel

Service Logic

Professor Per Skalen

Kompendium matematikk 4

Kompendiumkomiteen

Mønsterbesvarelser 1. og 3. studieår 4. utgave

Stud.Jur.

Kompendium matematikk 3

Kompendiumkomiteen

PPU3210/3510D/PROF3025 Del 1 av 2: Pedagogikk, 1. semester

Mercer Neil & LIttleton et. al

Programming for Computations - Python

Hans Petter Langtangen

Kompendium TMA4105 Matematikk 2

Kompendium-Komitéen NTNU

Alfa - oppgaveløsninger

Øistein Bjørnestad

Theory book IT grunnkurs

Alf Inge Wang and Roger Midtstraum

Sigma R1

Øgrim

Matematikfilosofi

Ole Skovsmose, Ole Ravn

Let Over Lambda

Doug Hoyte

Prologos

Chr. Gorm Tortzen

Knudaheibrev

Arne Garborg

AMPL

Robert Fourer

TRAS-håndbok

Ord og begreper : norsk tesaurus

Johan Hammond Rosbach

Objektorienteret analyse og design

Lars Mathiassen

Projeksjonsteikning

Ib Omland

The Language of First-Order Logic

Jon Barwise

Prosjekt Analyse

Øyvind Bøhren

Havlære

Jan R. Sulebak

Prosjektanalyse : en innføring

Øyvind Bøhren

Sveisemetoder

Sverre Eriksen

Stauder

Siv Nilson

Veiledning i oppgaveløsning : temagruppe A og B

Øyvind Baune

Rollespil : en håndbog

Klaus Bertelsen

Språk, logikk og argumentasjonsteori : oppgavegjennomgåelser med teori i temagruppe A : examen philosophicum

Øyvind Baune

Grunnlag i digitalteknikk

Per Ottersen

Prolog midt i livet

Svein Erik Brodal

Grundsymboler : tal, bogstaver, geometriske figurer

Gotfred Mortensen

Thorbjørn Egners lesebøker : stillelesingsoppgåver. 2 : Gode vener

Thorbjørn Egner

Dansk Ordsprogsalmanak

Herluf Petersen

Kolbotnbrev

Arne Garborg

Tordenskjold

Thorleif Dahl

Bjørnsons dikterproblem

John Nome

Object-Oriented Programming With Simula (International Computer Science Series)

Bjorn Kirkerud