Termination of curryfied rewrite systems

Service Logic

Professor Per Skalen

Software Languages

Ralf Lammel

Calculus 1

Robert Harris

Introduction to Java Programming, Brief Version, Tenth Edition

Tony S. Daniel

Differential Equations, Linear Algebra and it…

Kaori (Norwegian University of Science and Technology (NTNU)) Takamine

THEORY BOOK IT INTRO

Alf Inge

Selected chapters from software engineering

Dag Sjøberg

Reguleringsteknikk

Kåre Bjørvik,

Discrete Mathematics

Richard Johnsonbaugh

Theory book IT grunnkurs

Alf Inge Wang and Roger Midtstraum

Introduction to English Syntax

Rolf. Kreyer

Thomas’ Calculus

Maurice D.

Introduction to logic

Peer Harry Bjørkeng

Real-Time systems and programming languages

Alan Burns

Absolute C++

Walter Benjamin

Introduction to JAVA Programming

Y. Daniel

Literary Theory Vsi

Jonathan Culler

Varin

Terje Gansum

Knudaheibrev

Arne Garborg

Utfordreren

Terri Farley

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Introduction to computing systems - from bits…

Yale University) Baaij C.J.W. (J.S.D. candidate

Applikationer

Tove Fevang

Concepts in Programming Languages

John Abercrombie

Kjeld Stub

Kjeld Stub

Introduction to computing systems - from bits & gates to C & beyond

Yale N. Patt

Advanced Engineering Mathematics

Erwin Kreyszig

Algorithms in C\++

Robert Sedgewick

The Language of First-Order Logic

Jon Barwise

Dekormaling

Gerd Alfsen

Grunnlag i digitalteknikk

Per Ottersen

Kritisk juss

Brenning

Ragnvald Skrede

Berit Kvikk

Bjørn Lindblom

Demring

Kåre Holt

Dataterminologi

Olav B. Brusdal

Semantikk i teori og praksis

Odd Wormnæs

491

Lars Görling

Ord over grind : dikt

Halldis Moren Vesaas

Bjørnsons dikterproblem

John Nome