Biblioteksøk

Vis søkeskjema

6 treff

TYPES 2002

NRK2 2002, strategivalg og typeskjema

Norsk rikskringkasting
Bok Bokmål 2001

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

TYPES 2002
Bok Engelsk 2003

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

WADT 2002
Bok Engelsk 2003

Test i norsk for fremmedspråklige : høyere nivå : typesvar 2002

CD N 2002

NMD project report: Development and evaluation of common Nordic freshwater types 2002-2004

A.K. Schartau ... [et al.]
Bok Engelsk 2007

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2002

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål