37 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
Pardalos, Panos. editor.
Format:
Electronic Resources
Alıntı:
Machine Learning, Optimization, and Big Data First International Workshop, MOD 2015, Taormina
Yazar
Kryszkiewicz, Marzena. editor.
Format:
Electronic Resources
Alıntı:
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism
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
Nguyen, Ngoc Thanh. editor.
Format:
Electronic Resources
Alıntı:
Machines -- On a Multi-Agent Distributed Asynchronous Intelligence-Sharing and Learning Framework.
10.
Yazar
Shi, Xiaodong. editor.
Format:
Electronic Resources
Alıntı:
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings /
Yazar
Baetens, Jan M. editor.
Format:
Electronic Resources
Alıntı:
A Gauge-Invariant Reversible Cellular Automaton -- Counter Machines and Distributed Automata
Yazar
Kunze, Matthias. author.
Format:
Electronic Resources
Alıntı:
concurrent systems and introduces finite automata, state machines and several different types of Petri nets
37 sonuç bulundu