Temat: abstract data types - 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ę "abstract data types" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A relation between unambiguous regular expressions and abstract data types
Autorzy:: Preoteasa, V.
Data publikacji:: 1999
Słowa kluczowe:: abstract data types
categorical model
unambiguous regular expressions
finite automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Designing a software transactional memory for peer-to-peer systems
Autorzy:: Paulovič, A
Lacko, P.
Data publikacji:: 2013
Słowa kluczowe:: distributed transactional memory
STM
peer-to-peer
eventual consistency
abstract data types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: First and Second Order Recursion on Abstract Data Types
Autorzy:: Xu, J.
Zucker, J.
Data publikacji:: 2005
Słowa kluczowe:: model of computation
many-sorted algebras
recursive schems
recursive procedures
fixed point
computation on abstract data types
abstract computability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Słowa kluczowe:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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