Temat: FORMAL DESCRIPTION - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: The general contrastive description of the Lithuanian and Polish language. Selected issues
Autorzy:: Roszko R.
Tematy:: CONTRASTIVE DESCRIPTION (LITUANIAN-POLISH)
FORMAL DESCRIPTION
PHILOLOGHY & LINGUISTICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Принципи на формалното описание на българските изменяеми лексеми като компонент на нормативната граматика
Autorzy:: Вяра [Viara] Малджиева [Maldjieva]
Data publikacji:: 2018-12-24
Tematy:: formal description
Bulgarian inflected lexemes
normative grammar; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Принципи на формалното описание на българските изменяеми лексеми като компонент на нормативната граматика
Autorzy:: Малджиева [Maldjieva], Вяра [Viara]
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: formal description
Bulgarian inflected lexemes
normative grammar; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Някои типове съществителни имена в българския език с оглед на формалното им описание
Autorzy:: Илияна [Iliiana] Кунева [Kuneva]
Data publikacji:: 2018-12-24
Tematy:: nouns
inflection forms
formal description
normative grammar
Bulgarian language; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Някои типове съществителни имена в българския език с оглед на формалното им описание
Autorzy:: Кунева [Kuneva], Илияна [Iliiana]
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: nouns
inflection forms
formal description
normative grammar
Bulgarian language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Vygotsky’s Meta-theory of Development: Formal Description
Autorzy:: Yuri N. Karandashev
Data publikacji:: 2006-12-31
Tematy:: Vygotsky
development
meta-theory
meta-theory of development
formal description of development; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Vygotsky’s Meta-theory of Development: Formal Description
Autorzy:: Karandashev, Yuri N.
Data publikacji:: 2006-12-31
Wydawca:: Wydawnictwo Adam Marszałek
Tematy:: Vygotsky
development
meta-theory
meta-theory of development
formal description of development; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu
Autorzy:: Koliński, D.
Data publikacji:: 2012
Słowa kluczowe:: sterowanie ruchem kolejowym
system zależnościowy
formalizacja opisu
railway traffic control
dependence system
formal description; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2013
Słowa kluczowe:: sterowanie ruchem kolejowym
system zależnościowy
formalizacja opisu
railway traffic control
dependence system
formal description; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL
Autorzy:: Kawalec, P.
Rżysko, M.
Data publikacji:: 2013
Słowa kluczowe:: sterowanie ruchem kolejowym
system zależnościowy
formalizacja opisu
Active-HDL
railway traffic control
dependence system
formal description; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Just-enough-time signaling protocol: formal description using extended finite state machine (EFSM)
Autorzy:: Zaim, A. H.
Data publikacji:: 2003
Słowa kluczowe:: just-enough-time
JET
extended finite state machine
EFSM
formal protocol description
optical burst switches
OBS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Metodyka budowy komputerowych systemów srk
Methodology of construction of computer systems for atc
Autorzy:: Maciejewski, M.
Zabłocki, W.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:: ruch kolejowy
system
metoda
sterowanie
projektowanie
modelowanie
automat
specyfikacja systemu
opis formalny
cykl V
droga przebiegu
rail traffic
method
control
project
modeling
machine (automat)
specification for the system
formal description
cycle V
route of the Road; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Metodyka budowy komputerowych systemów srk
Autorzy:: Maciejewski, M.
Zabłocki, W.
Data publikacji:: 2011
Słowa kluczowe:: ruch kolejowy
system
metoda
sterowanie
projektowanie
modelowanie
automat
specyfikacja systemu
opis formalny
cykl V
droga przebiegu
rail traffic
method
control
project
modeling
machine (automat)
specification for the system
formal description
cycle V
route of the Road; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: A Critical Discussion Game for Prohibiting Fallacies
Autorzy:: Visser Jacky
Budzynska Katarzyna
Reed Chris
Data publikacji:: 2018-12-15
Tematy:: Argument Web
argumentation
critical discussion
Dialogue Game Description Language
fallacies
formal dialectics
pragma-dialectics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
Modeling of dynamic phenomena in spatial planning with the use of formal ontology
Autorzy:: Łukowicz, J.
Iwaniak, A.
Strzelecki, M.
Kaczmarek, I.
Data publikacji:: 2014
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Tematy:: ontologia
modelowanie
planowanie przestrzenne
Description Logic
ontologia formalna
model czasoprzestrzenny
ontology
modeling
spatial planning
description logic
formal ontology
spatio-temporal model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Entrer / entrar – différences et ressemblances dans leur emploi suivant l’approche orientée objets
Entrer / entrar – podobieństwa i różnice w ich użyciu według koncepcji zorientowanej obiektowo
Entrer/Entrar – Differences and Similarities in their Use According to Object Oriented Approach
Autorzy:: Aleksandra Żłobińska-Nowak
Tematy:: formal linguistic equivalents
lexicographical description
object oriented approach
międzyjęzykowe odpowiedniki formalne
opis leksykograficzny
koncepcja zorientowana obiektowo; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Entrer / entrar – différences et ressemblances dans leur emploi suivant l’approche orientée objets
Entrer/Entrar – Differences and Similarities in their Use According to Object Oriented Approach
Entrer / entrar – podobieństwa i różnice w ich użyciu według koncepcji zorientowanej obiektowo
Autorzy:: Żłobińska-Nowak, Aleksandra
Data publikacji:: 2014
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: międzyjęzykowe odpowiedniki formalne
opis leksykograficzny
koncepcja zorientowana obiektowo
formal linguistic equivalents
lexicographical description
object oriented approach; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
Autorzy:: Łukowicz, J.
Iwaniak, A.
Strzelecki, M.
Kaczmarek, I.
Data publikacji:: 2014
Słowa kluczowe:: ontologia
modelowanie
planowanie przestrzenne
logika opisowa
ontologia formalna
model czasoprzestrzenny
ontology
modeling
spatial planning
description logic
formal ontology
spatio-temporal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMAL DESCRIPTION" wg kryterium: Temat