Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

TYPES 2000
Inngår i serie: Lecture notes in computer science (2277)
Bok · Engelsk · c2002
Vis mer

Lykkeravnene

Durham, Paul
Romaner
Bok · Bokmål · 2015
Vis mer

Ingen ære blant tyver

Durham, Paul
Inngår i serie: Lykkeravnene (2)
Romaner
Bok · Bokmål · 2015
Vis mer

Lykkeravnene

Durham, Paul
Inngår i serie: Lykkeravnene (1)
Romaner
Bok · Bokmål · 2014
Vis mer

Ecstasy

Durham, Paul
Engelsk · 2022-11-04
Vis mer

Ecstasy : Extended Version

Durham, Paul
Engelsk · 2022-03-25
Vis mer

Ecstasy : Lab5 Remix

Durham, Paul
Engelsk · 2022-03-25
Vis mer

Ecstasy : Piston Damp Remix

Durham, Paul
Engelsk · 2022-03-25
Vis mer

Ecstasy : Single Edit

Durham, Paul
Engelsk · 2022-03-25
Vis mer