QR kód

Teorija formaľnych sistem /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Smullyan, Raymond M. (Autor)
Další autoři:	Kosovskij, N. K. (Překladatel)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Moskva : Nauka, 1981
Edice:	rz1
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Teorija optičeskich sistem /
Autor: Begunov, Boris Nikolajevič
Vydáno: (1981)

Teorija adaptivnych sistem /
Autor: Sragovič, Vladimir Grigorjevič
Vydáno: (1976)

TEORIJA TECHNIČESKICH SISTEM /
Autor: Hubka, Vladimir
Vydáno: (1987)

TEORIJA DINAMIČESKICH SISTEM /
Autor: Stepaňjanc, Georgij Arkadjevič
Vydáno: (1985)

Teorija iearchičeskich mnogourovnenych sistem /
Autor: Mesarovič, M. D., a další
Vydáno: (1973)

Prikladnaja obščaja teorija sistem /
Autor: Gig, Džon van
Vydáno: (1981)

Prikladnaja obščaja teorija sistem.
Autor: Gig, Džon van
Vydáno: (1981)

Prikladnaja teorija vibrozaščitnych sistem /
Autor: Frolov, Konstantin Vasiľjevič, a další
Vydáno: (1980)

Teorija inerciaľnych sistem navigacii /
Autor: Bromberg, Pavel Vladimirovič
Vydáno: (1979)

TEORIJA SISTEM MNOGICH ČASTIC /
Autor: Bazarov, Ivan Pavlovič
Vydáno: (1984)

Teorija sudovych avtomatičeskich sistem /
Autor: Katchanov, Magomed Nazyrovič
Vydáno: (1985)

Teorija kolebanij mechaničeskich sistem /
Autor: Grobov, Valerian Aleksandrovič
Vydáno: (1982)

Teorija sistem s peremennoj strukturoj /
Autor: Jemeľjanov, Stanislav Vasiľjevič
Vydáno: (1970)

Kvantovaja teorija mnogočastičnych sistem /
Autor: Barašenkov, V. S., a další
Vydáno: (1970)

Kačestvennaja teorija impuľsnych sistem /
Autor: Halanay, A., a další
Vydáno: (1971)

Teorija linejnych sistem : metod prostranstva sostojanij /
Autor: Zadeh, Lotfi Asker 1921-, a další
Vydáno: (1970)

Teorija i ustrojstva sistem avtomatičeskogo upravlenija /
Autor: Abališvili, N. M.
Vydáno: (1985)

Teorija nelinejnych avtomatičeskich sistem : častotnyje metody /
Autor: Naumov, Boris Nikolajevič
Vydáno: (1972)

Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům /
Autor: Smullyan, Raymond
Vydáno: (2003)

Teorija aerogidrodinamičeskich sistem avtomatičeskogo upravlenija /
Autor: Zalmanson, Lev Abramovič
Vydáno: (1977)

Teorija korreljacionno-ekstremaľnych navigacionnych sistem /
Autor: Krasovskij, Aleksandr Arkaďjevič, a další
Vydáno: (1979)

Teorija statističeski optimaľnych sistem upravlenija /
Autor: Andrejev, Nikolaj Iľjič
Vydáno: (1980)

MATEMATIČESKAJA TEORIJA KONSTRUIROVANIJA SISTEM UPRAVLENIJA /
Autor: Afanasjev, Valerij Nikolajevič
Vydáno: (1989)

MATEMATIČESKAJA TEORIJA PROJEKTIROVANIJA VYČISLITEĽNYCH SISTEM /
Autor: Kapitonova, Julija Vladimirovna
Vydáno: (1988)

TEORIJA OPTIKO-ELEKTRONNYCH SLEDJAŠČICH SISTEM /
Autor: Astapov, Jurij Michajlovič
Vydáno: (1988)

LOGIČESKAJA TEORIJA NADEŽNOSTI SLOŽNYCH SISTEM /
Autor: Levin, Vitalij Iľjič
Vydáno: (1985)

Teorija diskretnych sistem avtomatičeskogo upravlenija /
Autor: Ivanov, Viktor Aleksandrovič
Vydáno: (1983)

Matematičeskaja teorija obučajemych opoznajuščich sistem /
Autor: Fomin, Vladimir Nikolajevič
Vydáno: (1976)

Logika prvého rádu /
Autor: Smullyan, Raymond M.
Vydáno: (1979)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Statističeskaja teorija molekuljarnych sistem : metod korreljativnych funkcij uslovnych raspredelenij /
Autor: Rott, Lazar Arturovič
Vydáno: (1979)

Prikladnaja teorija diskretnych adaptivnych sistem upravlenija /
Autor: Derevickij, Dmitrij Prokofjevič, a další
Vydáno: (1981)

Teorija linejnych optimaľnych mnogosvjaznych sistem upravlenija /
Autor: Januševskij, Rafail Tovijevič
Vydáno: (1973)

TEORIJA SISTEM. MATEMATIČESKIJE METODY I MODELIROVANIJE /
Autor: Willems, J. C.
Vydáno: (1989)

TEORIJA SETEJ PETRI I MODELIROVANIJE SISTEM /
Autor: Peterson, James Lyle
Vydáno: (1984)

STATISTIČESKAJA TEORIJA PODOBIJA. NADEŽNOSŤ TECHNIČESKICH SISTEM /
Autor: Severcev, Nikolaj Aleksejevič
Vydáno: (1986)

Statističeskaja mechanika i teorija dinamičeskich sistem /
Autor: Bogoljubov, Nikolaj Nikolajevič
Vydáno: (1989)

Teorija sistem i preobrazovanij v optike /
Autor: Papoulis, Athanasios
Vydáno: (1971)

Kačestvennaja teorija ustojčivosti dviženija dinamičeskich sistem /
Autor: Kalitin, Boris Sergejevič
Vydáno: (2002)

Algebraičeskaja teorija signalov i sistem : Bystroje mnogomernoje preobrazovanije Fur'je /
Autor: Labunec, Valerij Grigorjevič
Vydáno: (1989)