Temat: formal method - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Artykuł recenzyjny monografii Grzegorza Smyka Administracja publiczna Królestwa Polskiego w latach 1864–1915 Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, s. 456
The article reviewing the monograph written by Grzegorz Smyk on Public administration in the Kingdom of Poland in 1864–1915, Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, 456 p.
Autorzy:: Malec, Dorota
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: history of administration
the polish Kingdom
Russian law in 19th Century
formal-dogmatic method
historia administracji
Królestwo Polskie
prawo rosyjskie w XIX w.
metoda formalno-dogmatyczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The Interactive Method for Language Science and Some Salient Results
Autorzy:: Włodarczyk, Hélène
Włodarczyk, André
Data publikacji:: 2022-04-06
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: epistemology
language philosophy
semiotics
linguistics
information
data mining
formal concepts
interactive method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Pattern avoidance in partial words over a ternary alphabet
Autorzy:: Gągol, Adam
Data publikacji:: 2015
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: Formal languages
combinatorics on words
pattern avoidance
partial words
entropy compression
probabilistic method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Redpath on the Nature of Philosophy
Autorzy:: Delfino, Robert A.
Data publikacji:: 2016-03-30
Wydawca:: International Étienne Gilson Society
Tematy:: Aristotle
Thomas Aquinas
Peter Redpath
Armand Maurer
philosophy
science
wisdom
first principle
sense realism
common sense
cause
universals
abstraction
formal object
method
virtue
happiness
genus
metaphysics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Stal do zbrojenia mikropali i gwoździ gruntowych wykonywanych w technologii samowiercącej
Steel for the reinforcement of micropiles and soil nails made in self-drilling technology
Autorzy:: Maca, N.
Sierant, J.
Data publikacji:: 2016
Wydawca:: Nowoczesne Budownictwo Inżynieryjne
Tematy:: stal
wymagania techniczne
wymagania formalne
stal konstrukcyjna
technologia samowiercąca
ciągliwość
metoda Charpy'ego
steel
technical requirements
formal requirements
structural steel
self-drilling technology
ductility
Charpy method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

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ł

Szczegóły

Informacja