Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

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

Publisher : country

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

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

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

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

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

Electronic Resource

Dynamic model-based clustering for spatio-temporal data

Authors : Paci, Lucia; Finazzi, Francesco; Paci, Lucia (ORCID:0000-0001-7403-2054)

Subjects: Bayesian analysi; Finite mixture model; Markov chain Monte Carlo

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

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