Yazar
Durand-Lose, Jerome. editor.
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz
View Other Search Results
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
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Yazar
Soare, Robert I. author.
Format:
Electronic Resources
Alıntı:
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine
Yazar
Alexandru, Andrei. author.
Format:
Electronic Resources
Alıntı:
and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show
10.
Yazar
Calude, Cristian S. editor.
Format:
Electronic Resources
Alıntı:
Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Yazar
Rojas, Ignacio. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010
Arama Sonuçlarını Sınırlandır
Daraltılmış: