Temat: machine theory - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "machine theory" wg kryterium: Temat

Wyświetlanie 1-10 z 128

Zaznacz

Skocz do pozycji: 1.

Tytuł:: On Languages of P Automata
Autorzy:: Csuhaj-Varjú, Erzsébet
Vaszil, György
Data publikacji:: 2020
Słowa kluczowe:: machine theory
language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Almost Periodic Configurations on Linear Cellular Automata
Autorzy:: Sutner, K.
Data publikacji:: 2003
Słowa kluczowe:: cellular automata
parallel processing
pattern recognition system
sequential machine theory
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Improvements in SAT-based Reachability Analysis for Timed Automata
Autorzy:: Zbrzezny, A.
Data publikacji:: 2004
Słowa kluczowe:: machine theory
mathematical formulas
robotics
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: SAT-based Reachability Checking for Timed Automata with Diagonal Constraints
Autorzy:: Zbrzezny, A.
Data publikacji:: 2005
Słowa kluczowe:: probabilistic automata
production scheduling
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The Number of Distinct Subpalindromes in Random Words
Autorzy:: Rubinchik, M.
Shur, A. M.
Data publikacji:: 2016
Słowa kluczowe:: palindrome
alphabet
number theory
machine theory
data structures; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Asynchronous Systems of Parallel Communicating Finite Automata
Autorzy:: Vollweiler, M.
Data publikacji:: 2015
Słowa kluczowe:: machine theory
finite state machine
robots
computer simulation
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Autorzy:: Cassez, Franck
Jensen, Peter Gjøl
Guldstrand Larsen, Kim
Data publikacji:: 2021
Słowa kluczowe:: machine theory
hybrid systems
Petri nets
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Tinput-Driven Pushdown, Counter, and Stack Automata
Autorzy:: Kutrib, M.
Malcher, A.
Wendlandt, M.
Data publikacji:: 2017
Słowa kluczowe:: machine theory
boolean functions
decidability
equivalence
finite state machine; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Adding Data Registers to Parameterized Networks with Broadcast
Autorzy:: Delzanno, G.
Sangnier, A.
Traverso, R.
Data publikacji:: 2016
Słowa kluczowe:: graph theory
machine theory
problem solving
computational complexity
register; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Common Framework to Recognize Two-dimensional Languages
Autorzy:: Anselmo, Marcella
Giammarresi, Dora
Madonia, Maria
Data publikacji:: 2020
Słowa kluczowe:: finite state machine
image processing
machine theory
transducers
two-dimensional model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 128

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "machine theory" wg kryterium: Temat