Ցուցադրվում են
1 - 3
արդյունքները
3
Անցեք բովանդակությանը
UPFind
Գրքի պայուսակ:
0
նյութեր
(Լցված)
Լեզու
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Maaori
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Գտեք
Ընդլայնված
Էջը կվերաբեռնվի, երբ զտիչը հեռացվի:
Կիրառված զտիչներ:
SUBJECT:
Հեռացնել զտիչը
Lambda calculus
Էջը կվերաբեռնվի, երբ զտիչը հեռացվի:
Ցույց տալ զտիչները (1)
SUBJECT:
Հեռացնել զտիչը
Lambda calculus
Որոնման արդյունքները
Որոնման արդյունքները
Ցուցադրվում են
1 - 3
արդյունքները
3
Հստակեցնել արդյունքները
Տեսակավորել
Համապատասխանություն
Ամսաթիվը նվազող
Newest to Oldest
Oldest to Newest
Հեղինակ
Վերնագիր
Select Page
Էլ․ փոստ
Արտահանել
Տպել
Ավելացնել գրքի պայուսակում
Ընտրեք արդյունքի թիվը 1
1
An introduction to functional programming through lambda calculus
Michaelson, Greg
Հրապարակվել է 1989
Դասիչ:
Բեռնվում է…
Տեղակայված է:
Բեռնվում է…
Գիրք
Բեռնվում է…
Ավելացնել գրքի պայուսակում
Հեռացնել Գրքերի պայուսակից
Միայնակ գրառում
Ընտրեք արդյունքի թիվը 2
2
Lambda calculi a guide for computer scientists
Hankin, Chris
Հրապարակվել է 1994
Դասիչ:
Բեռնվում է…
Տեղակայված է:
Բեռնվում է…
Գիրք
Բեռնվում է…
Ավելացնել գրքի պայուսակում
Հեռացնել Գրքերի պայուսակից
Միայնակ գրառում
Ընտրեք արդյունքի թիվը 3
3
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Հրապարակվել է 2011
Դասիչ:
Բեռնվում է…
Տեղակայված է:
Բեռնվում է…
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Ավելացնել գրքի պայուսակում
Հեռացնել Գրքերի պայուսակից
Միայնակ գրառում
Select Page
Էլ․ փոստ
Արտահանել
Տպել
Ավելացնել գրքի պայուսակում
Որոնման գործիքներ:
Էլփոստով ուղարկեք այս փնտրումը
Հետ
Հստակեցնել արդյունքները
Էջը կվերբեռնվի, երբ զտիչը ընտրվի կամ բացառվի:
CAMPUS
Diliman
3 արդյունքներ
3
DATABASE
Union Catalog (Buklod)
3 արդյունքներ
3
UNIT LIBRARY
College of Engineering Library I
1 արդյունքներ
1
College of Engineering Library II
1 արդյունքներ
1
Main Library: Info. Services & Instruction Section
1 արդյունքներ
1
YEAR OF PUBLICATION
Սկսած:
Դեպի:
CLASSIFICATION
Q - Գիտություն
2 արդյունքներ
2
SUBJECT
Lambda calculus
Electronic books
1 արդյունքներ
1
Functional programming (Computer science)
1 արդյունքներ
1
AUTHOR
Hankin, Chris
1 արդյունքներ
1
International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia
1 արդյունքներ
1
Michaelson, Greg
1 արդյունքներ
1
Ong, Luke
1 արդյունքներ
1
SpringerLink (Online service)
1 արդյունքներ
1
RESOURCE TYPE
Գիրք
2 արդյունքներ
2
Electronic Resource
1 արդյունքներ
1
LANGUAGE
English
3 արդյունքներ
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman