Temat: logika systemów - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Prolegomena do studiów nad wojną, konfliktem i ładem międzynarodowym
Prolegomena to the Studies into the War, Conflict and International Order
Autorzy:: Komorowski, Krzysztof
Data publikacji:: 2016
Wydawca:: Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:: war
military art
geopolitical analysis
philosophical reflection
methodology of history
system logic
logic of defining
international order
peace
fight
conflict
logika systemów
metodologia historii
refleksja filozoficzna
analiza geopolityczna
logika definiowania
ład międzynarodowy
pokój
walka
konflikt
wojna
sztuka wojenna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Kształtowanie systemu transportu zbiorowego opartego na kolei metropolitalnej na obszarze Górnośląsko-Zagłębiowskiej Metropolii
Shaping the collective transport system based on the metropolitan rail on the area of Silesia Metropolis
Autorzy:: Karoń, Grzegorz
Janecki, Ryszard
Żochowska, Renata
Sobota, Aleksander
Kłos, Marcin Jacek
Soczówka, Piotr
Data publikacji:: 2019
Wydawca:: Politechnika Warszawska, Wydział Transportu
Tematy:: koncepcje kolei metropolitalnej
inżynieria systemów
model V
logika działań
concept of metropolitan railways
systems engineering
logic of tasks; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Synteza systemów cyfrowych w logice rewersyjnej
Synthesis of digital systems in reversible logic
Autorzy:: Dobrzański, M.
Pniewski, R.
Data publikacji:: 2016
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: synteza systemów cyfrowych
logika rewersyjna
bramka rewersyjna
bramka kwantowa
program QUCS
wydzielanie ciepła
straty energii
synthesis of digital system
reverse logic
reverse gate
quantum gate
QUCS program
heat
energy loss; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja