Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Universita Degli Studi Di Genova

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Logic-based verification of the distributed dining philosophers protocol

Authors : Delzanno, Giorgio; Delzanno, Giorgio

Subjects: Theoretical Computer Science; Algebra and Number Theory; Information System

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Structure Preserving Preconditioners for Image Deblurring

Authors : Dell’Acqua, Pietro; Donatelli, Marco; ESTATICO, CLAUDIO ...

Subjects: Preconditioning; Regularization; Toeplitz matrice

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Adding Data Registers to Parameterized Networks with Broadcast

Authors : DELZANNO, GIORGIO; SANGNIER, ARNAUD; TRAVERSO, RICCARDO ...

Subjects: Theoretical Computer Science; Algebra and Number Theory; Information System

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي