7 sonuç bulundu
Tümünü Seç
0000000DEFAULTTR
Yazar
Derrick, John. author.
Format:
Electronic Resources
Alıntı:
Refinement Semantics, Languages and Applications / Derrick, John. author.
Yazar
Nipkow, Tobias. author.
Format:
Electronic Resources
Alıntı:
Concrete Semantics With Isabelle/HOL / Nipkow, Tobias. author.
View Other Search Results
Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization /
Yazar
Deng, Yuxin. author.
Format:
Electronic Resources
Alıntı:
Semantics of Probabilistic Processes An Operational Approach / Deng, Yuxin. author.
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Programming Languages and Operational Semantics A Concise Overview / Fernández, Maribel. author.
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
Semantics / Majkić, Zoran. author.
Yazar
Probst, Christian W. editor.
Format:
Electronic Resources
Alıntı:
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the
7 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: