QR kód

LAMBDA-ISČISLENIJE. JEGO SINTAKSIS I SEMANTIKA /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Barendregt, H. P.
Další autoři:	Kuzicev, A. S. (Editor)
Médium:	Kniha
Jazyk:	ruština
Vydáno:	Moskva : Mir, 1985
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Lambda highlights

Sémantika programov /
Autor: Novitzká, Valerie
Vydáno: (2001)

Morfologija i sintaksis rusiňskogo jazyka = Morfológia a syntax rusínskeho jazyka ; vysokoškoľskyj učebnik /
Autor: Jabur, Vasiľ
Vydáno: (2015)

Sémantika kvalifikačných adjektív
Autor: Sokolová, Jana
Vydáno: (2003)

Operacionnoje isčislenije /
Autor: Ditkin, Vitalij Arsenjevič
Vydáno: (1975)

Subdifferenciaľnoje isčislenije /
Autor: Kusrajev, Anatolij Georgijevič
Vydáno: (1987)

Variacionnoje isčislenije /
Autor: Geľfand, Izraiľ Moisejevič 1913-
Vydáno: (1961)

Variacionnoje isčislenije /
Autor: Achijezer, Naum Iľjič
Vydáno: (1981)

Variacionnoje isčislenije /
Autor: Krasnov, Michail Leontjevič, a další
Vydáno: (1973)

LAMBDA CALCULUS EXTENDED WITH SEGMENTS /
Autor: Balsters, Harmannus
Vydáno: (1986)

Alpha, delta ha, lambda.
Vydáno: (2007)

Tepelnoizolačné tvárnice Ytong Lambda.
Vydáno: (2009)

DIFFERENCIAĽNOJE I INTEGRAĽNOJE ISČISLENIJE /
Autor: Bugrov, Jakov Stepanovič
Vydáno: (1984)

Differenciaľnoje i integraľnoje isčislenije /
Autor: Grauert, Hans, a další
Vydáno: (1971)

Intonácia a sémantika vety /
Autor: Bugárová, Marta, 1946-
Vydáno: (2001)

Differenciaľnoje i intergaľnoje isčislenije /
Autor: Banach, Stefan
Vydáno: (1972)

Variacionnoje isčislenije : zadači i primery s podrobnymi rešenijami /
Autor: Krasnov, Michail Leonťjevič, a další
Vydáno: (2002)

Semantika jazykov programmirovanija. Sbornik statej /
Autor: Marcotty, M.
Vydáno: (1980)

Turbotec lambda control, Taelgázosító kazán.
Vydáno: (2009)

Integraľnyje preobrazovanija i operacionnoje isčislenije /
Autor: Ditkin, Vitalij Arsenjevič
Vydáno: (1974)

Integraľnyje preobrazovanija i operacionnoje isčislenije /
Autor: Prudnikov, Anatolij Platonovič, a další
Vydáno: (1961)

Variacionnoje isčislenije i metody optimizacii /
Autor: Andrejeva, Jelena Arkaďjevna, a další
Vydáno: (2006)

Variacionnoje isčislenije1 /
Autor: Buslajev, Vladimir Saveľjevič
Vydáno: (1980)

Sémantika programovacích jazyků - atribuované gramatiky /
Autor: Chytil, Michal
Vydáno: (1984)

VNEŠNIJE DIFFERENCIAĽNYJE SISTEMY I VARIACIONNOJE ISČISLENIJE /
Autor: Griffiths, Phillip A.
Vydáno: (1986)

Differenciaľnoje i integraľnoje isčislenije v zadačach /
Autor: Rivkind, Jakov Iosifovič
Vydáno: (1971)

Variacionnoje isčislenije v primerach i zadačach /
Autor: Pantelejev, Andrej Vladimirovič
Vydáno: (2006)

Differenciaľnoje isčislenije, differenciaľnyje formy /
Autor: Cartan, Henri nar. 1904
Vydáno: (1971)

Sémantika v slovotvorbe slovenčiny a nemčiny /
Autor: Dobrík, Zdenko
Vydáno: (2010)

VREMJA I JEGO IZMERENIJE /
Autor: Zaveľskij, Fridrich Samuilovič
Vydáno: (1987)

Titan i jego splavy /
Autor: Zwicker, Ulrich
Vydáno: (1979)

Izobutilen i jego polimery /
Autor: Minsker, Karl Samojlovič
Vydáno: (1986)

Uran i jego splavy /
Autor: Sokurskij, Jurij Nikolajevič, a další
Vydáno: (1971)

Fosfor i jego sojedinenija /
Autor: Wazer, John R. van
Vydáno: (1962)

O processach K + N lambda (epsilon) + gama /
Autor: Lapidus, L. I., a další
Vydáno: (1961)

Alpha, Delta, Lambda. Gantry Coordinate Measuring Machines
Vydáno: (2011)

Tepelnoizolačné tvárnice YTONG LAMBDA. Vydanie 01/2007.
Vydáno: (2007)

Lambda matice v dynamice lineárních diskrétních soustav.
Autor: Rippl, Jiří
Vydáno: (1976)

Differenciaľnyje uravnenija v variacionnoje isčislenije /
Autor: Eľsgoľc, Lev Ernestovič
Vydáno: (1965)

Lambda-calculus and computer science theory : proceedings of the symposium heldiin Rome, March 25-27, 1975
Vydáno: (1975)