1Functional and constraint lo...
電子書 E-BOOK
作者：WFLP (Workshop)Frankfurt am Main, Germany)2018 :(26th :,SpringerLink (Online service),Silva, Josep.
出版資料:Cham : Springer International Publishing : 2019.
ISBN/ISSN:9783030162016,9783030162023
館藏量 (1) 館藏可借數量 (0)
2Foundations of Logic and Fun...
圖書 BOOK
作者：Levi, G.1942-(Giorgio),,Carlucci Aiello, L.1946-(Luigia),,Boscarol, M.1947-(Mauro),,Foundations of Logic and Functional Programming WorkshopTrento, Italy)(1986 :
出版資料:New York : Springer-Verlag, c1988.
ISBN/ISSN:0387191291
館藏量 (1) 館藏可借數量 (1)
3Trends in functional program...
電子書 E-BOOK
作者：SpringerLink (Online service),Hughes, John.,Van Horn, David.,International Symposium on Trends in Functional ProgrammingCollege Park, Md.)2016 :(17th :
出版資料:Cham : Imprint: Springer, 2019.
ISBN/ISSN:9783030148041,9783030148058
館藏量 (1) 館藏可借數量 (0)
4Trends in functional program...
電子書 E-BOOK
作者：Myreen, Magnus.,Palka, Michal.,International Symposium on Trends in Functional ProgrammingGothenburg, Sweden)2018 :(19th :,SpringerLink (Online service)
出版資料:Cham : Imprint: Springer, 2019.
ISBN/ISSN:9783030185053,9783030185060
館藏量 (1) 館藏可借數量 (0)
5Functional and logic program...
電子書 E-BOOK
作者：SpringerLink (Online service),Gallagher, John P.,Sulzmann, Martin.,Fuji International Symposium on Functional and Logic ProgrammingNagoya, Japan)2018 :(14th :
出版資料:Cham : Springer International Publishing : 2018.
ISBN/ISSN:9783319906867,9783319906850
館藏量 (1) 館藏可借數量 (0)
6Functional and constraint lo...
電子書 E-BOOK
作者：Hanus, Michael.,SpringerLink (Online service),WFLP (Workshop)Online)2020 :(28th :,Sacerdoti Coen, Claudio.
出版資料:Cham : Springer International Publishing : 2021.
ISBN/ISSN:9783030753320,9783030753337
館藏量 (1) 館藏可借數量 (0)
7Functional and logic program...
電子書 E-BOOK
作者：SpringerLink (Online service),Kiselyov, Oleg.,King, Andy.,Fuji International Symposium on Functional and Logic ProgrammingKochi-shi, Japan)2016 :(13th :
出版資料:Cham : Springer International Publishing : 2016.
ISBN/ISSN:9783319296036,9783319296043
館藏量 (1) 館藏可借數量 (0)
8Trends in functional program...
電子書 E-BOOK
作者：Serrano, Manuel.,International Symposium on Trends in Functional ProgrammingSophia Antipolis, France)2015 :(16th :,SpringerLink (Online service),Hage, Jurriaan.
出版資料:Cham : Springer International Publishing : 2016.
ISBN/ISSN:9783319391106,9783319391090
館藏量 (1) 館藏可借數量 (0)
9Trends in functional program...
電子書 E-BOOK
作者：International Symposium on Trends in Functional ProgrammingCanterbury, England)2017 :(18th :,Owens, Scott.,Wang, Meng.,SpringerLink (Online service)
出版資料:Cham : Springer International Publishing : 2018.
ISBN/ISSN:9783319897196,9783319897189
館藏量 (1) 館藏可借數量 (0)
10Languages and compilers for ...
電子書 E-BOOK
作者：Chapman, Barbara.,SpringerLink (Online service),Moreira, Jose.,LCPC (Workshop)Online)2020 :(33rd :
出版資料:Cham : Springer, 2022.
ISBN/ISSN:9783030959524,9783030959531
館藏量 (1) 館藏可借數量 (0)