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

Pierre Wolper

3 cilt bulundu.

Cilt sonuçları

Introduction à la calculabilité

Introduction à la calculabilité

Pierre Wolper · Dunod

224 sayfa · 2001

Computable functions / Fonctions calculables / Fonctions récursives / Informatique / Calculabilité

Introduction à la calculabilité : Cours et exercices corrigés

Introduction à la calculabilité : Cours et exercices corrigés

Pierre Wolper · DUNOD

240 sayfa · 2006

Kategori yok

Computer Aided Verification

Computer Aided Verification

Pierre Wolper · Springer

451 sayfa · 1995

Kategori yok