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

Yükleniyor

Okuduğun ciltleri kaydet, raflarını düzenle, iyi olanı paylaş.

Ciltler Listeler Günlük İstatistik Üyeler Üyelik

© 2026 Cilt

Yükleniyor

Yazar

Nabil Bastaki

1 cilt bulundu.

Cilt sonuçları

CiltFormal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki · Springer International Publishing AG

79 sayfa · 2021

Kategori yok