Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
Śmiałek, Michał. author.
Format:
Electronic Resources
Alıntı:
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice / Śmiałek
View Other Search Results
Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Herdt, Vladimir. author.
Format:
Electronic Resources
Alıntı:
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
van Benthem, Johan. editor.
Format:
Electronic Resources
Alıntı:
Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.
Yazar
Kofroň, Jan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop
Yazar
Greuel, Gert-Martin. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Ehrig, Hartmut. author.
Format:
Electronic Resources
Alıntı:
Graph and Model Transformation General Framework and Applications / Ehrig, Hartmut. author.
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017
Arama Sonuçlarını Sınırlandır
Daraltılmış: