Electronic Documents Search

Documents found: 4

Creators	Friedman Daniel P.; Byrd William E.; Kiselyov Oleg
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2005
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные — Программирование логическое; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267263

Creators	Friedman Daniel P.; Eastlund Carl
Other creators	Bibby Duane; Moore J. Strother; Felleisen Matthias
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2015
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Вычислительные машины электронные — Программы; Лисп (LISP); MIT Press eBooks Library
UDC	004.422.8; 004.438
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537

Creators	Friedman Daniel P.; Christiansen David Thrane
Other creators	Bibby Duane; Harper Robert; McBride Conor
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2018
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Functional programming (Computer science); Logic programming; Computer logic; Type theory; Вычислительные машины электронные — Программирование; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=8681597

Creators	Felleisen Matthias; Friedman Daniel P.
Other creators	Johnson Ralph E.; Dibby Duane
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2000
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Java, язык программирования; MIT Press eBooks Library
UDC	004.438
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267458