|
| 書刊名 | 作者/出版者 | 出版年 | 資料類別 | 館藏地(已外借/總數) | 索書號 | 相關連接 | | | | | | | 瀏覽次數 | | | | | | | | | | | |
USTING0018177 |
1
|
Proceedings of the 1st International Conference of New Energy : ICNE 2022, 1-2 Dec, Sarawak, Malaysia.
| Othman, Mahmod Bin./Springer, | 2023 | online resource |
| |
| Othman, Mahmod Bin. | Springer, | | | | Singapore : | 0 | Proceedings of the 1st International Conference of New Energy : ICNE 2022, 1-2 Dec, Sarawak, Malaysia. | 1 | 2023/6/27 下午 04:28:38 | | online resource | | | 9789819908592 | | | |
USTING0018198 |
2
|
Novel processing methods for plant-based health foods : extraction, encapsulation, and health benefits of bioactive compounds /
| Goyal, Megh R.,/Apple Academic Press ; | 2023 | online resource |
| |
| Goyal, Megh R., | Apple Academic Press ; | | | | Palm Bay, FL, USA ; | 0 | Novel processing methods for plant-based health foods : extraction, encapsulation, and health benefits of bioactive compounds / | 1 | 2023/7/5 下午 01:44:25 | | online resource | | | 9781003284109 | | | |
USTING0018348 |
3
|
巴拉圭史 [電子資源] : 南美心臟 = Paraguay /
| 何國世/弘雅三民圖書, | 2023 | 電子資源 |
| |
| 何國世 | 弘雅三民圖書, | | | | 臺北市 : | 0 | 巴拉圭史 [電子資源] : 南美心臟 = Paraguay / | 1 | 2023/7/12 下午 01:25:02 | | 電子資源 | | | 9789571457437 | | | |
USTING0019238 |
4
|
後現代主義與史學研究 [電子資源] = Postmodernism and historiography /
| 黃進興/弘雅三民圖書, | 2023 | 電子資源 |
| |
| 黃進興 | 弘雅三民圖書, | | | | 臺北市 : | 0 | 後現代主義與史學研究 [電子資源] = Postmodernism and historiography / | 1 | 2023/7/13 上午 09:19:14 | | 電子資源 | | | 9789571475608 | | | |
USTING0019461 |
5
|
米開朗基羅傳 [電子資源] /
| 羅蘭/時報文化, | 2023 | 電子資源 |
| |
| 羅蘭 | 時報文化, | | | | 臺北市 : | 0 | 米開朗基羅傳 [電子資源] / | 1 | 2023/7/13 上午 09:25:48 | | 電子資源 | | | 9786263531406 | | | |
USTING0020200 |
6
|
以葡萄乾為基質製備天然酵母培養液與酸麵糰及其微生物分析 = Preparation of natural yeast culture and sourdough with raisins as substrate and its microbial analysis /
| 陳芊樺 | 2023 | 電子資源 |
| |
| 陳芊樺 | | | | | | 0 | 以葡萄乾為基質製備天然酵母培養液與酸麵糰及其微生物分析 = Preparation of natural yeast culture and sourdough with raisins as substrate and its microbial analysis / | 1 | 2023/9/28 下午 02:54:24 | | 電子資源 | | | | | | |
USTING0020210 |
7
|
精神科護理人員照護酒癮患者之壓力與因應行爲 = Psychiatric Nurses’ Stress and Coping Behavior in Caring for Patients with Alcohol Addiction /
| 王培彥 | 2023 | 電子資源 |
| |
| 王培彥 | | | | | | 0 | 精神科護理人員照護酒癮患者之壓力與因應行爲 = Psychiatric Nurses’ Stress and Coping Behavior in Caring for Patients with Alcohol Addiction / | 1 | 2023/9/28 下午 02:54:30 | | 電子資源 | | | | | | |
USTING0020217 |
8
|
父母親經歷死產終止妊娠之經驗感受 = Parents’ Experiences of Termination of Pregnancy after Stillbirth /
| 張育禎 | 2023 | 電子資源 |
| |
| 張育禎 | | | | | | 0 | 父母親經歷死產終止妊娠之經驗感受 = Parents’ Experiences of Termination of Pregnancy after Stillbirth / | 1 | 2023/9/28 下午 02:54:35 | | 電子資源 | | | | | | |
USTING0020224 |
9
|
菇類廢棄物之產品研發 = Product Research and Development of Mushroom Waste /
| 黃勇龍 | 2023 | 電子資源 |
| |
| 黃勇龍 | | | | | | 0 | 菇類廢棄物之產品研發 = Product Research and Development of Mushroom Waste / | 1 | 2023/9/28 下午 02:54:39 | | 電子資源 | | | | | | |
USTING0020225 |
10
|
氧化石墨烯複合材料的製備與應用於吸附印刷製程的甲醛廢氣之效能探討 = Preparation of Graphene Oxide Composites and Assessment of their Adsorption Performance for Formaldehyde Emissions from Printing Processes /
| 翁弘諺 | 2023 | 電子資源 |
| |
| 翁弘諺 | | | | | | 0 | 氧化石墨烯複合材料的製備與應用於吸附印刷製程的甲醛廢氣之效能探討 = Preparation of Graphene Oxide Composites and Assessment of their Adsorption Performance for Formaldehyde Emissions from Printing Processes / | 1 | 2023/9/28 下午 02:54:40 | | 電子資源 | | | | | | |
USTING0020227 |
11
|
靜電紡絲技術製備TiO2/碳複合材料電極應用於光電化學系統處理有機污染物之研究 = Preparation of TiO2/carbon composite electrode by electrospinning technology and its application in photoelectrochemical system to treat organic pollutants /
| 温晨宇 | 2023 | 電子資源 |
| |
| 温晨宇 | | | | | | 0 | 靜電紡絲技術製備TiO2/碳複合材料電極應用於光電化學系統處理有機污染物之研究 = Preparation of TiO2/carbon composite electrode by electrospinning technology and its application in photoelectrochemical system to treat organic pollutants / | 1 | 2023/9/28 下午 02:54:41 | | 電子資源 | | | | | | |
USTING0020228 |
12
|
生物基茶皂素難燃環氧樹脂複合材料之製備及其性質研究 = Preparation and properties of bio-based tea saponin flame retardant epoxy composites /
| 陳秉澤 | 2023 | 電子資源 |
| |
| 陳秉澤 | | | | | | 0 | 生物基茶皂素難燃環氧樹脂複合材料之製備及其性質研究 = Preparation and properties of bio-based tea saponin flame retardant epoxy composites / | 1 | 2023/9/28 下午 02:54:42 | | 電子資源 | | | | | | |
USTING0020233 |
13
|
以澱粉製備綠色環保型生物基難燃環氧樹脂複合材料及其防火性能之研究 = Preparation of green and environmentally friendly bio-based flame retardant epoxy composite with starch and its fire performance /
| 江鎮廷 | 2023 | 電子資源 |
| |
| 江鎮廷 | | | | | | 0 | 以澱粉製備綠色環保型生物基難燃環氧樹脂複合材料及其防火性能之研究 = Preparation of green and environmentally friendly bio-based flame retardant epoxy composite with starch and its fire performance / | 1 | 2023/9/28 下午 02:54:45 | | 電子資源 | | | | | | |
USTING0020235 |
14
|
魚腥草其多醣體各劃分理化特性與抗氧化活性 = Physicochemical Characteristics and Antioxidant Activities Associated With The Polysaccharides of Houttuynia cordata /
| 林雅雯 | 2023 | 電子資源 |
| |
| 林雅雯 | | | | | | 1 | 魚腥草其多醣體各劃分理化特性與抗氧化活性 = Physicochemical Characteristics and Antioxidant Activities Associated With The Polysaccharides of Houttuynia cordata / | 1 | 2023/9/28 下午 02:54:47 | | 電子資源 | | | | | | |
USTING0021770 |
15
|
陪每天的自己聊聊 [電子資源] : 英國生命線個人情緒覺察手冊 /
| 可倫波斯/橡實文化出版 : | 2023 | 電子資源 |
| |
| 可倫波斯 | 橡實文化出版 : | | | | 臺北市 : | 2 | 陪每天的自己聊聊 [電子資源] : 英國生命線個人情緒覺察手冊 / | 1 | 2023/10/2 下午 12:05:55 | | 電子資源 | | | 9786267085646 | | | |
USTING0022312 |
16
|
Modern cybersecurity strategies for enterprises [electronic resource] : protect and secure your enterprise networks, digital business assets, and endpoint security with tested and proven methods /
| Mishra, Ashish./BPB Online, | 2023 | electronic resource |
| |
| Mishra, Ashish. | BPB Online, | | | | London : | 0 | Modern cybersecurity strategies for enterprises [electronic resource] : protect and secure your enterprise networks, digital business assets, and endpoint security with tested and proven methods / | 1 | 2023/10/23 上午 11:47:05 | | electronic resource | | | 9789355513182 | | | |
USTING0022987 |
17
|
Perspectives on coping strategies for menstrual and premenstrual distress [electronic resource] /
| Parimal, B. S.,/IGI Global, | 2023 | electronic resource |
| |
| Parimal, B. S., | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Perspectives on coping strategies for menstrual and premenstrual distress [electronic resource] / | 1 | 2023/11/2 上午 11:05:52 | | electronic resource | | | 9781668450895 | | | |
USTING0023018 |
18
|
Perspectives and strategies of family business resiliency in unprecedented times [electronic resource] /
| Siringoringo, Hotniar,/IGI Global, | 2023 | electronic resource |
| |
| Siringoringo, Hotniar, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Perspectives and strategies of family business resiliency in unprecedented times [electronic resource] / | 1 | 2023/11/2 上午 11:07:09 | | electronic resource | | | 9781668473962 | | | |
USTING0023078 |
19
|
Global LGBTQ+ concerns in a contemporary world [electronic resource] : politics, prejudice, and community /
| Rajput, Namita,/IGI Global, | 2023 | electronic resource |
| |
| Rajput, Namita, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Global LGBTQ+ concerns in a contemporary world [electronic resource] : politics, prejudice, and community / | 1 | 2023/11/2 上午 11:09:46 | | electronic resource | | | 9781668455708 | | | |
USTING0023112 |
20
|
Promoting organizational performance through 5G and agile marketing [electronic resource] /
| Santos, Jose Duarte,/IGI Global, | 2023 | electronic resource |
| |
| Santos, Jose Duarte, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Promoting organizational performance through 5G and agile marketing [electronic resource] / | 1 | 2023/11/2 上午 11:11:36 | | electronic resource | | | 9781668455258 | | | |
USTING0023187 |
21
|
Protecting user privacy in web search utilization [electronic resource] /
| Khan, Rafi Ullah,/IGI Global, | 2023 | electronic resource |
| |
| Khan, Rafi Ullah, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Protecting user privacy in web search utilization [electronic resource] / | 1 | 2023/11/2 上午 11:15:27 | | electronic resource | | | 9781668469163 | | | |
USTING0023274 |
22
|
Climate change, world consequences, and the sustainable development gals for 2030 [electronic resource] /
| Pego, Ana,/IGI Global, | 2023 | electronic resource |
| |
| Pego, Ana, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Climate change, world consequences, and the sustainable development gals for 2030 [electronic resource] / | 1 | 2023/11/2 上午 11:19:09 | | electronic resource | | | 9781668448311 | | | |
USTING0023307 |
23
|
Promoting consumer engagement through emotional branding and sensory marketing [electronic resource] /
| Gupta, Monika,/IGI Global, | 2023 | electronic resource |
| |
| Gupta, Monika, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Promoting consumer engagement through emotional branding and sensory marketing [electronic resource] / | 1 | 2023/11/2 上午 11:20:35 | | electronic resource | | | 9781668458990 | | | |
USTING0023310 |
24
|
Sustaining America's strategic advantage [electronic resource] /
| Hillison, Joel R./Praeger an imprint of ABC-CLIO, LLC, | 2023 | electronic resource |
| |
| Hillison, Joel R. | Praeger an imprint of ABC-CLIO, LLC, | | | | Santa Barbara, California : | 0 | Sustaining America's strategic advantage [electronic resource] / | 1 | 2023/11/2 上午 11:20:41 | | electronic resource | | | 9781440879937 | | | |
USTING0023312 |
25
|
Implications of industry 5.0 on environmental sustainability [electronic resource] /
| Sajid, Muhammad Jawad,/IGI Global, | 2023 | electronic resource |
| |
| Sajid, Muhammad Jawad, | IGI Global, | | | | Hershey, Pennsylvania : | 0 | Implications of industry 5.0 on environmental sustainability [electronic resource] / | 1 | 2023/11/2 上午 11:20:45 | | electronic resource | | | 9781668461150 | | | |
USTING0023373 |
26
|
Engineered nanomaterials for sustainable agricultural production, soil improvement and stress management [electronic resource] /
| Husen, Azamal./Academic Press, | 2023 | electronic resource |
| |
| Husen, Azamal. | Academic Press, | | | | London ; | 0 | Engineered nanomaterials for sustainable agricultural production, soil improvement and stress management [electronic resource] / | 1 | 2023/11/2 上午 11:49:29 | | electronic resource | | | 9780323914116 | | | |
USTING0023411 |
27
|
Plant receptor-like kinases [electronic resource] : role in development and stress /
| Upadhyay, Santosh Kumar./Academic Press, | 2023 | electronic resource |
| |
| Upadhyay, Santosh Kumar. | Academic Press, | | | | Amsterdam : | 0 | Plant receptor-like kinases [electronic resource] : role in development and stress / | 1 | 2023/11/2 上午 11:50:25 | | electronic resource | | | 9780323907170 | | | |
USTING0023754 |
28
|
Practical guide to materials characterization [electronic resource] : techniques and applications /
| Sultan, Khalid./Wiley-VCH, | 2023 | electronic resource |
| |
| Sultan, Khalid. | Wiley-VCH, | | | | Weinheim, Germany : | 0 | Practical guide to materials characterization [electronic resource] : techniques and applications / | 1 | 2023/11/8 下午 03:54:27 | | electronic resource | | | 9783527838820 | | | |
USTING0023821 |
29
|
Practice of business ethics [electronic resource] : case study of Johnson & Johnson /
| Takahashi, Hiroo,/World Scientific, | 2023 | electronic resource |
| |
| Takahashi, Hiroo, | World Scientific, | | | | Singapore : | 0 | Practice of business ethics [electronic resource] : case study of Johnson & Johnson / | 1 | 2023/11/8 下午 03:56:34 | | electronic resource | | | 9789811257261 | | | |
USTING0023885 |
30
|
Tourism recovery from COVID-19 [electronic resource] : prospects for over- and under-tourism regions /
| Trono, Anna./World Scientific, | 2023 | electronic resource |
| |
| Trono, Anna. | World Scientific, | | | | Singapore : | 0 | Tourism recovery from COVID-19 [electronic resource] : prospects for over- and under-tourism regions / | 1 | 2023/11/8 下午 03:59:00 | | electronic resource | | | 9789811260247 | | | |
USTING0024043 |
31
|
Frontiers in entropy across the disciplines [electronic resource] : panorama of entropy : theory, computation, and applications /
| Freeden, W./World Scientific, | 2023 | electronic resource |
| |
| Freeden, W. | World Scientific, | | | | Singapore : | 0 | Frontiers in entropy across the disciplines [electronic resource] : panorama of entropy : theory, computation, and applications / | 1 | 2023/11/8 下午 04:04:22 | | electronic resource | | | 9789811259401 | | | |
USTING0011356 |
32
|
AIOT與OpenCV實戰應用 [電子資源] : Python.樹莓派.物聯網與機器視覺 /
| 朱克剛/碁峰資訊, | 2022 | 電子資源 |
| |
| 朱克剛 | 碁峰資訊, | | | | 臺北市 : | 1 | AIOT與OpenCV實戰應用 [電子資源] : Python.樹莓派.物聯網與機器視覺 / | 1 | 2022/6/2 下午 01:44:19 | | 電子資源 | | | 9786263240193 | | | |
USTING0012379 |
33
|
極限返航 [電子資源] /
| 威爾/三采文化, | 2022 | 電子資源 |
| |
| 威爾 | 三采文化, | | | | 臺北市 : | 0 | 極限返航 [電子資源] / | 1 | 2022/8/4 下午 01:34:36 | | 電子資源 | | | 9789576587764 | | | |
USTING0012984 |
34
|
價格烽火效應 [電子資源] : 從金融風暴到後疫情時代, 引爆世界下一波混亂的訊號 /
| 羅素/方言文化, | 2022 | 電子資源 |
| |
| 羅素 | 方言文化, | | | | [臺北市] : | 0 | 價格烽火效應 [電子資源] : 從金融風暴到後疫情時代, 引爆世界下一波混亂的訊號 / | 1 | 2022/8/4 下午 01:47:26 | | 電子資源 | | | 9789865480684 | | | |
USTING0013815 |
35
|
發現高更 [電子資源] : 在孤獨中飛翔 /
| 鄭治桂/品林數位文化出版 : | 2022 | 電子資源 |
| |
| 鄭治桂 | 品林數位文化出版 : | | | | 新竹縣竹北市 : | 0 | 發現高更 [電子資源] : 在孤獨中飛翔 / | 1 | 2022/8/4 下午 02:05:32 | | 電子資源 | | | 9789865530525 | | | |
USTING0013816 |
36
|
感覺雷諾瓦 [電子資源] : 人生的艱難與美好 /
| 鄭治桂/品林數位文化出版 : | 2022 | 電子資源 |
| |
| 鄭治桂 | 品林數位文化出版 : | | | | 新竹縣竹北市 : | 0 | 感覺雷諾瓦 [電子資源] : 人生的艱難與美好 / | 1 | 2022/8/4 下午 02:05:34 | | 電子資源 | | | 9789865530549 | | | |
USTING0013852 |
37
|
承傳行踐 [電子資源] : 全方位管理學者的淬煉 = Passing the baton : becoming a renaissance management scholar /
| 陳明哲/元照, | 2022 | 電子資源 |
| |
| 陳明哲 | 元照, | | | | 臺北市 : | 0 | 承傳行踐 [電子資源] : 全方位管理學者的淬煉 = Passing the baton : becoming a renaissance management scholar / | 1 | 2022/8/4 下午 02:06:29 | | 電子資源 | | | 9789575116736 | | | |
USTING0014119 |
38
|
NLP大神RNN網路 [電子資源] : Python原始程式碼手把手帶你寫 /
| 李永華/深智數位, | 2022 | 電子資源 |
| |
| 李永華 | 深智數位, | | | | 臺北市 : | 6 | NLP大神RNN網路 [電子資源] : Python原始程式碼手把手帶你寫 / | 1 | 2022/8/4 下午 02:12:21 | | 電子資源 | | | 9789860776768 | | | |
USTING0015553 |
39
|
Sustainable development goals, climate change, and digitalization challenges in planning [electronic resource] /
| Castanho, Rui Alexandre./Engineering Science Reference, | 2022 | electronic resource |
| |
| Castanho, Rui Alexandre. | Engineering Science Reference, | | | | Hershey, PA : | 0 | Sustainable development goals, climate change, and digitalization challenges in planning [electronic resource] / | 1 | 2022/11/10 下午 02:25:05 | | electronic resource | | | 9781799884842 | | | |
USTING0015576 |
40
|
Policy and practice challenges for equality in education [electronic resource] /
| Neimann, Theresa D.,/IG I Global, | 2022 | electronic resource |
| |
| Neimann, Theresa D., | IG I Global, | | | | Hershey, PA : | 0 | Policy and practice challenges for equality in education [electronic resource] / | 1 | 2022/11/10 下午 02:25:46 | | electronic resource | | | 9781799873815 | | | |
USTING0015632 |
41
|
Policies, practices, and protocols for the implementation of technology into language learning [electronic resource] /
| El Shaban, Abir,/Information Science Reference, | 2022 | electronic resource |
| |
| El Shaban, Abir, | Information Science Reference, | | | | Hershey PA : | 0 | Policies, practices, and protocols for the implementation of technology into language learning [electronic resource] / | 1 | 2022/11/10 下午 02:27:19 | | electronic resource | | | 9781799882695 | | | |
USTING0015743 |
42
|
A handbook on counseling African American women [electronic resource] : psychological symptoms, treatments, and case studies /
| Shelton, Kimber./Praeger, | 2022 | electronic resource |
| |
| Shelton, Kimber. | Praeger, | | | | Santa Barbara, California : | 0 | A handbook on counseling African American women [electronic resource] : psychological symptoms, treatments, and case studies / | 1 | 2022/11/10 下午 02:30:08 | | electronic resource | | | 9781440875960 | | | |
USTING0015777 |
43
|
Physiology, genomics, and biotechnological applications of extremophiles [electronic resource] /
| Gunjal, Aparna B.,/Engineering Science Reference, | 2022 | electronic resource |
| |
| Gunjal, Aparna B., | Engineering Science Reference, | | | | Hershey, PA : | 0 | Physiology, genomics, and biotechnological applications of extremophiles [electronic resource] / | 1 | 2022/11/10 下午 02:30:58 | | electronic resource | | | 9781799891468 | | | |
USTING0015791 |
44
|
Prevention and management of soil erosion and torrential floods [electronic resource] /
| Milutinović, Slobodan,/Engineering Science Reference, | 2022 | electronic resource |
| |
| Milutinović, Slobodan, | Engineering Science Reference, | | | | Hershey, PA : | 0 | Prevention and management of soil erosion and torrential floods [electronic resource] / | 1 | 2022/11/10 下午 02:31:22 | | electronic resource | | | 9781799884613 | | | |
USTING0016003 |
45
|
Empowering municipal sustainability [electronic resource] : a guide for towns, cities, and citizens /
| Lajoux, Alexandra Reed./De Gruyter, | 2022 | electronic resource |
| |
| Lajoux, Alexandra Reed. | De Gruyter, | | | | Berlin : | 0 | Empowering municipal sustainability [electronic resource] : a guide for towns, cities, and citizens / | 1 | 2022/11/10 下午 03:06:51 | | electronic resource | | | 9783110689860 | | | |
USTING0016046 |
46
|
River restoration [electronic resource] : political, social, and economic perspectives /
| Morandi, Bertrand./Wiley Blackwell, | 2022 | electronic resource |
| |
| Morandi, Bertrand. | Wiley Blackwell, | | | | Hoboken, NJ : | 0 | River restoration [electronic resource] : political, social, and economic perspectives / | 1 | 2022/11/10 下午 03:08:14 | | electronic resource | | | 9781119410010 | | | |
USTING0016123 |
47
|
Knowledge innovation on design and culture [electronic resource] : proceedings of the 3rd IEEE International Conference on Knowledge Innovation and Invention 2020 (IEEE ICKII 2020), Kaohsiung, Taiwan,
| IEEE International Conference on Knowledge Innovation and Invention/World Scientific, | 2022 | electronic resource |
| |
| IEEE International Conference on Knowledge Innovation and Invention | World Scientific, | | | | Singapore : | 0 | Knowledge innovation on design and culture [electronic resource] : proceedings of the 3rd IEEE International Conference on Knowledge Innovation and Invention 2020 (IEEE ICKII 2020), Kaohsiung, Taiwan, | 1 | 2022/11/10 下午 03:10:44 | | electronic resource | | | 9789811238727 | | | |
USTING0016284 |
48
|
Physiology of salt stress in plants [electronic resource] : perception, signalling, omics and tolerance mechanism /
| Singh, Pratibha./John Wiley & Sons, | 2022 | electronic resource |
| |
| Singh, Pratibha. | John Wiley & Sons, | | | | Hoboken, NJ : | 0 | Physiology of salt stress in plants [electronic resource] : perception, signalling, omics and tolerance mechanism / | 1 | 2022/11/10 下午 03:15:56 | | electronic resource | | | 9781119700517 | | | |
USTING0016411 |
49
|
Insurance planning models [electronic resource] : price competition and regulation of financial stability /
| Malinovskii, Vsevolod K./World Scientific, | 2022 | electronic resource |
| |
| Malinovskii, Vsevolod K. | World Scientific, | | | | Singapore : | 0 | Insurance planning models [electronic resource] : price competition and regulation of financial stability / | 1 | 2022/11/10 下午 03:20:17 | | electronic resource | | | 9789811204661 | | | |
USTING0016442 |
50
|
Proof and computation II [electronic resource] : from proof theory and univalent mathematics to program extraction and verification /
| Mainzer, Klaus./World Scientific, | 2022 | electronic resource |
| |
| Mainzer, Klaus. | World Scientific, | | | | Singapore : | 0 | Proof and computation II [electronic resource] : from proof theory and univalent mathematics to program extraction and verification / | 1 | 2022/11/10 下午 03:21:16 | | electronic resource | | | 9789811236488 | | | |