正題名/作者 : Trends in functional programming/ edited by Manuel Serrano, Jurriaan Hage.
其他題名 : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
其他題名 : TFP 2015
其他作者 : Serrano, Manuel.
團體作者 : International Symposium on Trends in Functional Programming
出版者 : Cham :Springer International Publishing :2016.
面頁冊數 : vii, 157 p. :ill., digital ;24 cm.
附註 : 張俊霖捐款購置
標題 : Functional programming (Computer science) - Congresses. -
電子資源 : 線上閱讀(Springer)
ISBN : 9783319391106 (electronic bk.)
ISBN : 9783319391090 (paper)
LEADER 00947cmm 2200229 a 450
001 237055
005 20161025104708.0
008 160511s2016 gw s 0 eng d
020 $a9783319391106 (electronic bk.)
020 $a9783319391090 (paper)
024 7 $a10.1007/978-3-319-39110-6$2doi
035 $a00282102
041 0 $aeng
050 4$aQA76.62
082 04$a005.13$223
090 $aE-BOOK/005.13///UE005322
111 2 $aInternational Symposium on Trends in Functional Programming$n(16th :$d2015 :$cSophia Antipolis, France)$3421494
245 10$aTrends in functional programming$h[electronic resource] :$b16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /$cedited by Manuel Serrano, Jurriaan Hage.
246 3 $aTFP 2015
260 $aCham :$bSpringer International Publishing :$bImprint: Springer,$c2016.
300 $avii, 157 p. :$bill., digital ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v9547
500 $a張俊霖捐款購置
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aLogic design$xComputer programs$vCongresses.$3421498
650 0$aData structures (Computer science)$xCongresses.$3200508
650 14$aComputer Science.$3238508
650 24$aProgramming Techniques.$3403281
650 24$aProgramming Languages, Compilers, Interpreters.$3406592
650 24$aSoftware Engineering.$3402744
650 24$aLogics and Meanings of Programs.$3406591
650 24$aArtificial Intelligence (incl. Robotics)$3401781
650 24$aMathematical Logic and Formal Languages.$3404934
700 1 $aSerrano, Manuel.$3421495
700 1 $aHage, Jurriaan.$3421496
710 2 $aSpringerLink (Online service)$3374217
830 0$aLecture notes in computer science ;$v9547.$3421497
856 40$uhttps://erm.library.ntpu.edu.tw/login?url=http://dx.doi.org/10.1007/978-3-319-39110-6$z線上閱讀(Springer)