Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
-- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
particularly includes the following topics: reversible machines, reversible languages, design and verification
Yazar
Rozenberg, Grzegorz. editor.
Format:
Electronic Resources
Alıntı:
Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity
Yazar
Huang, Shujian. editor.
Format:
Electronic Resources
Alıntı:
Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
machines with incrementing errors -- Reachability Problems on Partially Lossy Queue Automata -- On the
Yazar
McQuillan, Ian. editor.
Format:
Electronic Resources
Alıntı:
physical computing -- OIM: Oscillator-based Ising Machines for Solving Combinatorial Optimisation Problems
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
in various computational models, such as Turing machines, pushdown automata, finite automata
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
the abstract computational machine, the categorial RDB machine, able to support all DB computations by
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Arama Sonuçlarını Sınırlandır
Daraltılmış: