An introduction to functional programming through Lambda calculus /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Michaelson, Greg, 1953- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Mineola, New York : Dover Pubications, Inc., 2011
Vydání:Dover edition, first published
Edice:Dover books on mathematics
Témata:
funkcionální programování
teorie vyčíslitelnosti
computability theory
functional programming
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 01890nam a22004817i 4500
001 MUB01006370983
003 CZ BrMU
005 20160711103118.0
008 160707s2011 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2016-08-11 
020 |a 978-0-486-47883-8 
040 |a BOD001  |b cze  |e rda 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.42.046  |2 MRF 
080 |a 510.57  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Michaelson, Greg,  |d 1953-  |7 xx0031019  |4 aut 
245 1 3 |a An introduction to functional programming through Lambda calculus /  |c Greg Michaelson 
250 |a Dover edition, first published 
264 1 |a Mineola, New York :  |b Dover Pubications, Inc.,  |c 2011 
300 |a xv, 320 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Dover books on mathematics 
650 0 7 |a funkcionální programování  |7 ph572639  |2 czenas 
650 0 7 |a teorie vyčíslitelnosti  |7 ph678150  |2 czenas 
650 0 9 |a computability theory  |2 eczenas 
650 0 9 |a functional programming  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
830 0 |a Dover books on mathematics 
CAT |a CHLADILOVA  |b 02  |c 20160707  |l MUB01  |h 1024 
CAT |a HOLOUBKOVA  |b 02  |c 20160707  |l MUB01  |h 1515 
CAT |a PTICHA  |b 02  |c 20160711  |l MUB01  |h 1031 
CAT |c 20160811  |l MUB01  |h 1147 
CAT |c 20210614  |l MUB01  |h 1020 
CAT |c 20210614  |l MUB01  |h 2007 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1247 
LOW |a POSLANO DO SKCR  |b 2016-08-11 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2571607430  |4 Zakázka 2111  |8 20160707  |f 77  |f Dlouhodobá  |r 20160707  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j VYBER 

Podobné jednotky