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

Chuchu Fan

3 cilt bulundu.

Cilt sonuçları

Software Verification

Software Verification

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltFormal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and ApplicationsChuchu Fan

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

Chuchu Fan · Wiley & Sons, Limited, John

231 sayfa · 2024

Kategori yok

CiltFormal Methods for Safe AutonomyChuchu Fan

Formal Methods for Safe Autonomy

Chuchu Fan · Association for Computing Machinery

Sayfa sayısı yok · 2024

Kategori yok