登入

我的書房
館藏查詢
新書/主題書單
- 新到圖書
- 主題書單
指定參考書
Q&A

圖書館首頁
最新消息
圖書薦購系統
空間座位管理系統
館際合作(北聯大)
館際合作(NDDS)
新系統懶人包

首頁 > 館藏查詢 > 查詢結果

struct

facet

false

facetLimit

facetOrders

array
1	publishyear desc
2	subject asc

fqs

array [empty]

limbaId

output

(%subject%:Functional programming (Computer science) Congresses. )

rows

sorts

array
1	relevance:desc

start

後分類 X

目前查詢

歷史查詢

縮小檢索範圍

清除

進階查詢

起始以

限制條件：

在搜尋結果中查詢

清除

簡易查詢

出版年

至

分類法

書目性質

資料類型

語言

3 - 3393 頁，跳頁至確定

1 2 3 4 5

第 21–30 筆,共 33923 筆每頁顯示

全選

反向選取

加入書櫃

列印

E-mail

匯出

切換至條列顯示

21Introduction to dependent ty...

電子書 E-BOOK

作者：Sitnikovski, Boro.,SpringerLink (Online service)

出版資料:Berkeley, CA : Apress : 2023.

ISBN/ISSN:9781484292587,9781484292594

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

22Scaling OpenMP for exascale ...

電子書 E-BOOK

作者：Supinski, Bronis R. de.,IWOMP (Conference)Stony Brook, N.Y.)2017 :(13th :,SpringerLink (Online service)

出版資料:Cham : Springer International Publishing : 2017.

ISBN/ISSN:9783319655789,9783319655772

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

23Programming languages and sy...

電子書 E-BOOK

作者：European Symposium on ProgrammingPrague, Czech Republic)2019 :(28th :,ETAPS (Conference)Prague, Czech Republic)2019 :(22nd :,Caires, Luis.,SpringerLink (Online service)

出版資料:Cham : Imprint: Springer, 2019.

ISBN/ISSN:9783030171834,9783030171841

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

24Practical aspects of declara...

電子書 E-BOOK

作者：Reppy, John.,Gavanelli, Marco.,SpringerLink (Online service),PADL (Symposium)Saint Petersburg, Fla.)2016 :(18th :

出版資料:Cham : Springer International Publishing : 2016.

ISBN/ISSN:9783319282282,9783319282275

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

25Modelling to programsecond I...

電子書 E-BOOK

作者：M2P (Workshop)Lappeenranta, Finland)2020 :(2nd :,Dahanayake, Ajantha.,SpringerLink (Online service),Pastor, Oscar.,Thalheim, Bernhard.

出版資料:Cham : Imprint: Springer, 2021.

ISBN/ISSN:9783030726959,9783030726966

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

26Practical aspects of declara...

電子書 E-BOOK

作者：SpringerLink (Online service),Calimeri, Francesco.,Hamlen, Kevin.,PADL (Symposium)Los Angeles, Calif.)2018 :(20th :,Leone, Nicola.

出版資料:Cham : Springer International Publishing : 2018.

ISBN/ISSN:9783319733050,9783319733043

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

27A beginner's guide to S...

電子書 E-BOOK

作者：Hunt, John.,SpringerLink (Online service)

出版資料:Cham : Springer International Publishing : 2018.

ISBN/ISSN:9783319757711,9783319757704

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

28Quick Clojureeffective funct...

電子書 E-BOOK

作者：McDonnell, Mark.,SpringerLink (Online service)

出版資料:Berkeley, CA : Apress : 2017.

ISBN/ISSN:9781484229514,9781484229521

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

29Programming languages and sy...

電子書 E-BOOK

作者：Thiemann, Peter.,ETAPS (Conference)Eindhoven, Netherlands)2016 :(19th :,SpringerLink (Online service),European Symposium on ProgrammingEindhoven, Netherlands)2016 :(25th :

出版資料:Berlin, Heidelberg : Springer Berlin Heidelberg : 2016.

ISBN/ISSN:9783662494981,9783662494974

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

30Functional and object orient...

電子書 E-BOOK

作者：Gale Group.,Shoval, Peretz.

出版資料:Hershey, Pa. : Idea Group Publishing, c2007.

ISBN/ISSN:1599042029,1599042010,1599042037,9781599042039

館藏量 (1) 館藏可借數量 (0)

加入書籤詳細書目網路資源

全選

反向選取

加入書櫃

列印

E-mail

匯出

第 21–30 筆,共 33923 筆每頁顯示

3 - 3393 頁，跳頁至確定

1 2 3 4 5

Hidden Clicker

Copyright © 2012 National Taipei University Library 版權所有臺北大學圖書館(隱私權政策)
23741 新北市三峽區大學路 151 號　No.151, Daxue Rd., Sanxia Dist., New Taipei City 237, Taiwan (R.O.C.)
Tel：(02)8674-1111轉68351~68353　Fax：(02)8671-5903 Copyright © 2020 Claridy Solutions, Inc.

您是第 : 3111049 位瀏覽者

Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker Hidden Clicker

行動借閱證

圖書 BOOK
日文書 Japanese Book
韓文書 Korean Book
論文 Thesis
參考書
日文參考書
教師指定參考書
計劃用書
DVD
教學用視聽資料
藍光
影音光碟片 Video CD
雷射唱片 CD
CD-ROM
雜誌光碟
錄影帶 Video Casette
錄音帶 Audio Casette
地圖 Map
現期一般性期刊
期刊合訂本
電子書 E-BOOK
隨選視訊
電腦軟體
設備借用 Facility
電子書閱讀器
館合證21日
館合證30日
特殊文件
EJ

中文
英文
日文
韓文
法文
德文
義文
俄文
羅馬尼亞
多種語文
Akkadian
Albanian
Aleut
Algonquian languages
Altaic (Other)
Apache languages
Arabic
Aramaic
Arapaho
Araucanian
Arawak
Artificial (Other)
Assamese
Athapascan languages
Austronesian (Other)
Avaric
Avestan
Awadhi
Aymara
Azerbaijani
Aztec
Balinese
Baltic (Other)
Baluchi
Bambara
Bamileke languages
Banda
Bantu (Other)
Basa
Bashkir
Basque
Beja
Bemba
Bengali
Berber (Other)
Bhojpuri
Bihari
Bikol
Bini
Bislama
Braj
Breton
Buginese
Bulgarian
Buriat
Burmese
Byelorussian
Caddo
Carib
Catalan
Caucasian (Other)
Cebuano
Celtic (Other)
Central American Indian (Other)
Welsh
Wolof
Xhosa
Yakut
Yao
Yap
Yiddish
Yoruba
Zapotec
Zenaga
Zhuang
Zulu
Zuni
Tumbuka
Gayo
Tivi
Tlingit
Tonga (Nyasa)
Tonga (Tonga Islands)
Truk
Tsimshian
Tsonga
Tswana
Turkish
Turkish, Ottoman (1500 - 1928)
Turkmen
Tuvinian
Twi
Ugaritic
Uighur
Ukrainian
Umbundu
Undetermined
Urdu
Uzbek
Vai
Venda
Vietnamese
Volapuk
Votic
Wakashan languages
Walamo
Waray
Washo
Chagatai
Chamorro
Chechen
Cherokee
Cheyenne
Chibcha
Chinook jargon
Choctaw
Church Slavic
Chuvash
Coptic
Cornish
Corsican
Cree
Creek
Creoles and Pidgins (Other)
Creoles and Pidgins, English-based (Other)
Creoles and Pidgins, French-based (Other)
Creoles and Pidgins, Portuguese-based (Other)
Cushitic (Other)
Czech
Dakota
Danish
Delaware
Dinka
Divehi
Dogri
Dravidian (Other)
Duala
Dutch
Dutch, Middle (ca. 1050-1350)
Dyula
Dzongkha
Efik
Egyptian (Ancient)
Ekajuk
Elamite
English, Middle (ca. 1100-1500)
English, Old (ca. 450-1100)
Eskimo (Other)
Esperanto
Estonian
Ewe
Ewondo
Fang
Fanti
Faroese
Fijian
Finnish
Finno-Ugrian (Other)
Fon
French, Middle (ca. 1400-1600)
French, Old (842- ca. 1400)
Frisian
Fulah
Ga
Gaelic (Scots)
Gallegan
Ganda
Geez
Georgian
German, Middle High (ca. 1050-1500)
German, Old High (ca. 750-1050)
Germanic (Other)
Gilbertese
Gondi
Gothic
Grebo
Greek, Ancient (to 1453)
Greek, Modern (1453-)
Greenlandic
Guarani
Gujarati
Haida
Hausa
Hawaiian
Hebrew
Herero
Hiligaynon
Himachali
Hindi
Hiri Motu
Hungarian
Hupa
Iban
Icelandic
Igbo
Ijo
Iloko
Indic (Other)
Indo-European (Other)
Indonesian
Interlingua (International Auxiliary language Association)
Interlingue
Inuktitut
Inupiak
Iranian (Other)
Irish
Irish, Old (to 900)
Irish, Middle (900 - 1200)
Iroquoian languages
Javanese
Judeo-Arabic
Judeo-Persian
Kabyle
Kachin
Kamba
Kannada
Kanuri
Kara-Kalpak
Karen
Kashmiri
Kawi
Kazakh
Khasi
Khmer
Khoisan (Other)
Khotanese
Kikuyu
Kinyarwanda
Kirghiz
Komi
Kongo
Konkani
Kpelle
Kru
Kuanyama
Kumyk
Kurdish
Kurukh
Kusaie
Kutenai
Ladino
Lahnda
Lamba
Langue d'Oc (post 1500)
Lao
Latin
Latvian
Letzeburgesch
Lezghian
Lingala
Lithuanian
Lozi
Luba-Katanga
Luiseno
Lunda
Luo (Kenya and Tanzania)
Macedonian
Madurese
Magahi
Maithili
Makasar
Malagasy
Malay
Malayalam
Maltese
Mandingo
Manipuri
Manobo languages
Manx
Maori
Marathi
Mari
Marshall
Marwari
Masai
Mayan languages
Mende
Micmac
Minangkabau
Miscellaneous (Other)
Mohawk
Moldavian
Mon-Kmer (Other)
Mongo
Mongolian
Mossi
Munda languages
Nauru
Navajo
Ndebele, North
Ndebele, South
Ndongo
Nepali
Newari
Niger-Kordofanian (Other)
Nilo-Saharan (Other)
Niuean
Norse, Old
North American Indian (Other)
Norwegian
Norwegian (Nynorsk)
Nubian languages
Nyamwezi
Nyanja
Nyankole
Nyoro
Nzima
Ojibwa
Oriya
Oromo
Osage
Ossetic
Otomian languages
Pahlavi
Palauan
Pali
Pampanga
Pangasinan
Panjabi
Papiamento
Papuan-Australian (Other)
Persian
Persian, Old (ca 600 - 400 B.C.)
Phoenician
Polish
Ponape
Portuguese
Prakrit languages
Provencal, Old (to 1500)
Pushto
Quechua
Rhaeto-Romance
Rajasthani
Rarotongan
Romance (Other)
Romany
Rundi
Salishan languages
Samaritan Aramaic
Sami languages
Samoan
Sandawe
Sango
Sanskrit
Sardinian
Scots
Semitic (Other)
Serbo-Croatian
Serer
Shan
Shona
Sidamo
Siksika
Sindhi
Singhalese
Sino-Tibetan (Other)
Siouan languages
Slavic (Other)
Siswant
Slovak
Slovenian
Sogdian
Somali
Songhai
Sorbian languages
Sotho, Northern
Sotho, Southern
South American Indian (Other)
Spanish
Sukuma
Sumerian
Sudanese
Susu
Swahili
Swazi
Swedish
Syriac
Tagalog
Tahitian
Tajik
Tamashek
Tamil
Tatar
Telugu
Tereno
Thai
Tibetan
Tigre
Tigrinya
Timne
Amharic
Armenian
Selkup
Czech
Hrvatski
Serbian
Abkhazian
Achinese
Acoli
Adangme
Afar
Afrihili
Afrikaans
Afro-Asiatic (Other)
Akan