CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Furio Honsell

5 cilt bulundu.

Cilt sonuçları

De viribus quantitatis. Facsimile ad uso professionale

De viribus quantitatis. Facsimile ad uso professionale

Luca Pacioli · Aboca Edizioni

256 sayfa · 2009

Mathematics

Oltre Trieste

Furio Honsell, Carlo Malinconico, Maurizio Maresca · Forum Edizioni

76 sayfa · 2006

Business & Economics

ComputersFoundations of Software Science and Computation StructuresFurio Honsell, Marino Miculan

Foundations of Software Science and Computation Structures

Furio Honsell, Marino Miculan · Springer

420 sayfa · 2001-03-21

Computers

Set theoryModels of Self-descriptive Set TheoriesMarco Forti, Furio Honsell

Models of Self-descriptive Set Theories

Marco Forti, Furio Honsell · Yayınevi bilinmiyor

56 sayfa · 1988

Set theory

Lambda calculusUsing Typed Lambda Calculus to Implement Formal Systems on a MachineArnon Avron, F. A. Honsell, Ian A. Mason

Using Typed Lambda Calculus to Implement Formal Systems on a Machine

Arnon Avron, F. A. Honsell, Ian A. Mason · Yayınevi bilinmiyor

37 sayfa · 1987

Lambda calculus