Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- DReAM: Dynamic Reconfigurable Architecture Modeling -- Dynamic Logic for Ensembles -- Modelling the
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
target planning of factory planning projects by means of combinatory logic -- GOLD: Global Organization
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the
Arama Sonuçlarını Sınırlandır
Daraltılmış: