Treffliste - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

4 treff

Sortering

Forsidebilde

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

TYPES 2002
Inngår i serie: Lecture notes in computer science (2646)
Bok Engelsk c2003

Ledig 1/1

Forsidebilde

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

WADT 2002
Inngår i serie: Lecture notes in computer science (2755)
Bok Engelsk c2003

Ledig 1/1

Forsidebilde

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
Inngår i serie: Lecture notes in computer science (2422)
Bok Engelsk c2002

Ledig 1/1

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

A.K. Schartau ... [et al.]
Inngår i serie: TemaNord (2007:610)
Bok Engelsk c2007

Ledig 3/3

Søk og bestill fra andre bibliotek: