31Functional 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)
32Practical aspects of declara...
電子書 E-BOOK
作者：PADL (Symposium)New Orleans, La.)2020 :(22nd :,Komendantskaya, Ekaterina.,SpringerLink (Online service),Liu, Yanhong Annie.
出版資料:Cham : Imprint: Springer, 2020.
ISBN/ISSN:9783030391966,9783030391973
館藏量 (1) 館藏可借數量 (0)
33The design of innovation :le...
圖書 BOOK
作者：Goldberg, David E.1953-(David Edward),
出版資料:Boston : Kluwer Academic Publishers, c2002.
ISBN/ISSN:1402070985
館藏量 (1) 館藏可借數量 (1)
34Artificial intelligence in m...
電子書 E-BOOK
作者：Rebelo, Sérgio M.,EvoMUSART (Conference)Brno, Czech Republic)2023 :(12th :,Rodríguez-Fernández, Nereida.,Johnson, Colin.,SpringerLink (Online service),EvoStar (Conference)Brno, Czech Republic)(2023 :
出版資料:Cham : Imprint: Springer, 2023.
ISBN/ISSN:9783031299551,9783031299568
館藏量 (1) 館藏可借數量 (0)
35Programming languages and sy...
電子書 E-BOOK
作者：SpringerLink (Online service),APLAS (Symposium)Suzhou, China)2017 :(15th :,Chang, Bor-Yuh Evan.
出版資料:Cham : Springer International Publishing : 2017.
ISBN/ISSN:9783319712369,9783319712376
館藏量 (1) 館藏可借數量 (0)
36Languages and compilers for ...
電子書 E-BOOK
作者：Chandrasekaran, Sunita.,LCPC (Workshop)Online)2021 :(34th :,Li, Xiaoming.,SpringerLink (Online service)
出版資料:Cham : Springer, 2022.
ISBN/ISSN:9783030993726,9783030993719
館藏量 (1) 館藏可借數量 (0)
37Programming languages and sy...
電子書 E-BOOK
作者：Wies, Thomas.,European Symposium on ProgrammingParis, France)2023 :(32nd :,ETAPS (Conference)Paris, France)2023 :(26th :,SpringerLink (Online service)
出版資料:Cham : Springer Nature Switzerland : 2023.
ISBN/ISSN:9783031300431,9783031300448
館藏量 (1) 館藏可借數量 (0)
38Rules and reasoningInternati...
電子書 E-BOOK
作者：Costantini, Stefania.,International Joint Conference on Rules and ReasoningLondon, England)2017 :(1st :,SpringerLink (Online service)
出版資料:Cham : Imprint: Springer, 2017.
ISBN/ISSN:9783319612515,9783319612522
館藏量 (1) 館藏可借數量 (0)
39Functional 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)
40Scaling 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)