Yazar
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau
Yazar
Durand-Lose, Jerome. editor.
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz
Yazar
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Boniol
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation
Yazar
Fiadeiro, José Luiz. editor.
Format:
Electronic Resources
Alıntı:
machines, neuralsymbolic integration, relational databases, and service-oriented computing.
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
machines and structural operational semantics. Programming Languages and Operational Semantics gives an
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis
Arama Sonuçlarını Sınırlandır
Daraltılmış: