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

Giovanna Di Marzo Serugendo

6 cilt bulundu.

Cilt sonuçları

Computers2008 2nd IEEE International Conference on Self-adaptive and Self-organizing Systems Workshop (Sasow)G. Di Marzo

2008 2nd IEEE International Conference on Self-adaptive and Self-organizing Systems Workshop (Sasow)

G. Di Marzo · IEEE

343 sayfa · 2008

Computers

Computers2008 2nd IEEE International Conference on Self-adaptive and Self-organizing Systems Workshop, SasowBilinmeyen yazar

2008 2nd IEEE International Conference on Self-adaptive and Self-organizing Systems Workshop, Sasow

Bilinmeyen yazar · IEEE

343 sayfa · 2009-04-20

Computers

CiltStepwise Refinement of Formal Specifications Based on Logical FormulaeGiovanna Di Marzo Serugendo

Stepwise Refinement of Formal Specifications Based on Logical Formulae

Giovanna Di Marzo Serugendo · Yayınevi bilinmiyor

320 sayfa · 1999

Kategori yok

CiltMathematical Formalization of the Messenger ParadigmGiovanna A. Di Marzo Serugendo, Murhimanya Muhugusa, Christian Frédéric Tschudin

Mathematical Formalization of the Messenger Paradigm

Giovanna A. Di Marzo Serugendo, Murhimanya Muhugusa, Christian Frédéric Tschudin · Yayınevi bilinmiyor

46 sayfa · 1996

Kategori yok

CiltGiovanna RasarioGiovanna Rasario

Giovanna Rasario

Giovanna Rasario · Yayınevi bilinmiyor

Sayfa sayısı yok · 1993

Kategori yok

CiltACCESS (AlgebraiC Concurrent Events for System Specification)Giovanna A. Di Marzo Serugendo

ACCESS (AlgebraiC Concurrent Events for System Specification)

Giovanna A. Di Marzo Serugendo · Yayınevi bilinmiyor

81 sayfa · 1994

Kategori yok