QR kód

Research topics in functional programming /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Turner, David A.
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Reading : Addison-Wesley Publishing, 1990
Vydání:	[1st ed.]
Témata:	výpočet lambdy > logická premenná > operačný systém > počítačový jazyk > sémantika
ISBN:	0201172364
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydáno: (2010)

Elements of functional programming /
Autor: Reade, Chris
Vydáno: (1993)

Functional programming and input/output /
Autor: Gordon, Andrew D., 1964-
Vydáno: (2008)

Formal semantics of programming languages /
Vydáno: (1972)

Three specialized computer architectures for functional program execution /
Autor: Vasell, Jonas
Vydáno: (1992)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydáno: (1996)

The anatomy of programming languages /
Autor: Fischer, Alice E.
Vydáno: (1993)

Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)

On-line computing : time-shared man-computer systems /
Autor: Karplus, Walter J.
Vydáno: (1967)

Logická analýza přirozeného jazyka /
Autor: Materna, Pavel
Vydáno: (1989)

Mistrovství v Microsoft SQL Serveru 6.5 /
Autor: Soukup, Ron
Vydáno: (1998)

Pascal programming structures. An introduction to systematic programming /
Autor: Cherry, George W.
Vydáno: (1980)

Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydáno: (2011)

Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)

Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
Autor: Špakovský, Viktor
Vydáno: (2008)

Problem-solving principles. Programming with Pascal /
Autor: Prather, Donald E.
Vydáno: (1983)

Learning to program with Visual Basic /
Autor: Mackeown, Patrick G.
Vydáno: (1999)

Seminár z výpočtovej techniky pre obchodné akadémie /
Autor: Csaplár, Ondrej
Vydáno: (1996)

Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydáno: (1997)

OS DEMOS.
Vydáno: (1985)

MS-DOS 6. Snadno a rychle /
Autor: Kořínek, Martin
Vydáno: (1993)

Pevné disky od A do Z /
Autor: Minasi, Mark
Vydáno: (1992)

Jak na počítač. Pracujeme ve Windows /
Autor: Hlavenka, Jiří 1964-
Vydáno: (2000)

Nástroje pro Windows /
Autor: Macek, Pavel
Vydáno: (1999)

UNIX systems for modern architectures. Symmetric multiprocessing and caching for kernel programmers /
Autor: Schimmel, Curt
Vydáno: (1994)

Funkce komplexní proměnné /
Autor: Fuks, B. A.
Vydáno: (1961)

Funkce komplexní proměnné /
Autor: Fuks, B. A.
Vydáno: (1953)

Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)

Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydáno: (1970)

Logika /
Autor: Bek, Roman
Vydáno: (1996)

MS-DOS 6.22 a Norton Commander 4.0 /
Autor: Kořínek, Martin
Vydáno: (1995)

Česká Windows 98 /
Autor: Minasi, Mark
Vydáno: (1999)

Česká Windows 98 v obrazech /
Autor: Steiner, Josef
Vydáno: (1999)

Jádro systému Linux : kompletní průvodce programátora /
Autor: Jelínek, Lukáš 1977-
Vydáno: (2008)

Metoda transformací logických formulí /
Autor: Rott, Hilbert
Vydáno: (1989)

Práca s tabuľkami. Tematický zošit pre stredné školy a ZŠ s triedami so zameraním na matematiku /
Autor: Lukáš, Stanislav
Vydáno: (2003)

Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : programovanie.
Autor: Blaho, Andrej 1957-
Vydáno: (2009)

JavaScript : podrobnoje rukovodstvo /
Autor: Flanagan, David
Vydáno: (2004)

Symposium on several complex variables : Utah, 1970 /
Vydáno: (1971)

Semiconcave functions, Hamilton-Jacobi equations and optimal control /
Autor: Cannarsa, Piermarco
Vydáno: (2004)