BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Torben Amtoft

5 cilt bulundu.

Cilt sonuçları

Type And Effect Systems: Behaviours For Concurrency

Type And Effect Systems: Behaviours For Concurrency

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson · World Scientific

268 sayfa · 1999-03-12

Computers

Johns saga

Torben Munksgaard · Lindhardt og Ringhof

128 sayfa · 2018-05-29

Fiction

CiltSharing of ComputationsAarhus Universitet. Regionale EDB-center, Torben Amtoft

Sharing of Computations

Aarhus Universitet. Regionale EDB-center, Torben Amtoft · Yayınevi bilinmiyor

263 sayfa · 1993

Kategori yok

Computer programsProperties of Unfolding-based Meta-level SystemsAarhus Universitet. Regionale EDB-center, T. A. Hansen

Properties of Unfolding-based Meta-level Systems

Aarhus Universitet. Regionale EDB-center, T. A. Hansen · Yayınevi bilinmiyor

36 sayfa · 1991

Computer programs

CiltType and Behaviour Reconstruction for Higher-order Concurrent ProgramsAarhus Universitet. Regionale EDB-center, Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Type and Behaviour Reconstruction for Higher-order Concurrent Programs

Aarhus Universitet. Regionale EDB-center, Torben Amtoft, Flemming Nielson, Hanne Riis Nielson · Yayınevi bilinmiyor

43 sayfa · 1995

Kategori yok