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

Nina Narodytska

2 cilt bulundu.

Cilt sonuçları

CiltAI VerificationGuy Avni, Mirco Giacobbe, Anna Lukina, Nina Narodytska

AI Verification

Guy Avni, Mirco Giacobbe, Anna Lukina, Nina Narodytska · Springer

Sayfa sayısı yok · 2024

Kategori yok

CiltSoftware Verification and Formal Methods for ML-Enabled Autonomous SystemsOmri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi · Springer International Publishing AG

Sayfa sayısı yok · 2023

Kategori yok